Treewidthlib公司

TreewidthLIB:Treewidth和相关图问题的算法基准。算法树在过去的理论研究中发挥了重要作用。最近,有人做了一些研究,将这个概念应用于实际和实验环境中来解决图形问题。在许多这样的设置中,需要生成足够小宽度且足够快的树分解的算法。为了比较这些算法的实现,最好有足够大的图集来计算它们的树宽度。TreewidthLIB旨在提供这样一组图:即一组图,可以用作比较计算树宽度、树分解的算法的基准,也可以用于解决与树宽度相关的问题的算法,如branchwidth或minimum fill-in。


zbMATH参考文献(13篇文章引用)

显示结果1到13,共13个。
按年份排序(引用)

  1. Coudert,David;Mazauric,Dorian;Nisse,Nicolas:计算路径宽度和定向路径宽度的分枝定界算法的实验评估(2016)
  2. Neha Lodha;Ordyniak,Sebastian;Szeider,Stefan:branchwidth的SAT方法(2016)
  3. Fafianie,Stefan;Bodlaender,Hans;Nederlof,Jesper:用代表集加速动态规划:Steiner树分解算法的实验评估(2015)
  4. Langer,Alexander;Reidl,Felix;Rossmanith,Peter;Sikdar,Somnath:树分解图上MSO模型检查的实用算法(2014)
  5. Fafianie,Stefan;Bodlaender,Hans L.;Nederlof,Jesper:用代表性集合加速动态规划。Steiner-Tree-on-Tree分解算法的实验评估(2013)
  6. Hvidevold,Eivind Magnus;Sharmin,Sadia;Telle,Jan Arne;Vatshelle,Martin:在稠密图上寻找动态规划的良好分解(2012)
  7. Bodlaender,Hans L.;Koster,Arie M.C.A.:Treewidth计算。二。下限(2011)
  8. Bodlaender,Hans L.;Koster,Arie M.C.A.:Treewidth计算。一: 上限(2010)
  9. Bodlaender,Hans L.;van Dijk,Thomas C.:反馈顶点集和循环割集的立方核(2010)
  10. Chein,Michel;Mugnier,Marie Laure:基于图形的知识表示。概念图的计算基础(2009)
  11. Samer,Marko;Veith,Helmut:将treewidth编码到SAT(2009年)
  12. Bodlaender,Hans L.;Grigoriev,Alexander;Koster,Arie M.C.A.:有荆棘的Treewidth下界(2008)
  13. Bodlaender,Hans L.;Koster,Arie M.C.A.:关于treewidth的最大基数搜索下限(2007)