石墨炉

石墨炉。极值图论中的交互式自动猜想。GraPHedron是一个猜想生成系统,旨在帮助(极值)图论的研究人员。graphydron是单词Graph和Polyhedron的缩写,因为它的主要原理是将图看作一个选定的不变量空间中的点,从而导出这些不变量之间的极值性质。本文详细介绍了GraPHedron。十几篇发表的论文包含了where在GraPHedron的帮助下首次推测出的结果。


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

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

  1. Absil,Romain;Camby,Eglantine;Hertz,Alain;Mélot,Hadrien:阶(n)和最大度(n-3)图的非等价着色数的一个尖锐下界(2018)
  2. 拉森,C.E.;Van Cleemput,N.:自动推测。三、 财产关系猜想(2017)
  3. Hertz,Alain;Mélot,Hadrien:计算图的非等价顶点着色数(2016)
  4. Hoppe,Travis;Petrone,Anna:从小图中发现整数序列(2016)
  5. 拉森,C.E.;Van Cleemput,N.:自动推测。一: Fajtrowicz的达尔马提亚启发式重温(2016)
  6. Smith Miles,Kate;Bowly,Simon:通过实例空间中的演化生成新的测试实例(2015)
  7. Smith Miles,Kate;Baatar,Davaatseren:探索图谱在图着色算法性能中的作用(2014)
  8. Smith Miles,Kate;Baatar,Davaatseren;Wreford,Brendan;Lewis,Rhyd:面向跨实例空间的算法性能的客观度量(2014)
  9. Bruyère,Véronique;Joret,Gwenaël;Mélot,Hadrien:具有给定稳定数和最小稳定集数的树(2012)
  10. Aouchiche,M.;Hansen,P.:光谱图论中自动猜想的综述(2010)
  11. Cardinal,Jean;Levy,Eythan:稠密图中的连通顶点覆盖(2010)
  12. Bruyère,Véronique;Mélot,Hadrien:Fibonacci指数和图的稳定性数:多面体研究(2009)
  13. Cardinal,Jean;Langerman,Stefan;Levy,Eythan:稠密图中边控制集的改进逼近界(2009)
  14. 克里斯托夫,朱莉;德维兹,索菲;多伊尼翁,让·保罗;法斯本德,吉勒;格雷戈尔,菲利普;惠更斯,大卫;拉布,马丁尼;埃鲁米,苏鲁尔;梅洛特,哈德良;亚曼,汉德:《图不变量之间的线性不等式:使用GraPHedron发现最佳关系》(2008)
  15. Mélot,Hadrien:刻面定义图不变量之间的不等式:系统Graphidron(2008)