Treewidthlib公司

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


zbMATH中的参考文献(参考文献13条)

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

  1. 库德特,大卫;玛扎尔克,道林;Nisse,Nicolas:计算路径宽度和定向路径宽度的分枝定界算法的实验评估(2016)
  2. 洛达,尼哈;奥迪尼亚克,塞巴斯蒂安;2016年斯威达机场(Szeidth SAT)
  3. 法菲妮,斯蒂芬;博德兰德,汉斯;Nederlof,Jesper:用代表集加速动态规划:Steiner-Tree-on-Tree分解算法的实验评估(2015)
  4. 亚历山大·兰格;雷德尔,费利克斯;罗斯曼尼斯,彼得;Sikdar,Somnath:树分解图上MSO模型检查的实用算法(2014)
  5. 法菲妮,斯蒂芬;博德兰德,汉斯L。;Jesper,Nederlof:用代表集加速动态规划。Steiner-Tree-on-Tree分解算法的实验评估(2013)
  6. 赫维德沃德,艾文·马格纳斯;莎敏,莎迪亚;泰尔,简·阿恩;Vatshelle,Martin:在稠密图上寻找动态规划的良好分解(2012)
  7. 博德兰德,汉斯L。;Koster,Arie M.C.A.:Treewidth计算。二。下限(2011)
  8. 博德兰德,汉斯L。;Koster,Arie M.C.A.:Treewidth计算。一: 上限(2010)
  9. 博德兰德,汉斯L。;van Dijk,Thomas C.:反馈顶点集和循环割集的三次核(2010)
  10. 陈,米歇尔;Mugnier,Marie Laure:基于图的知识表示。概念图的计算基础(2009)
  11. 萨默,马尔科;维思,赫尔穆特:将treewidth编码成SAT(2009)
  12. 博德兰德,汉斯L。;格里戈里耶夫,亚历山大;Koster,Arie M.C.A.:荆棘树下边界(2008)
  13. 博德兰德,汉斯L。;Koster,Arie M.C.A.:关于treewidth的最大基数搜索下限(2007)