石墨炉

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


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

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

  1. 阿布西尔,罗曼;坎比,埃格兰廷;赫兹,阿兰;élot,Hadrien:阶(n)和最大度(n-3)图的非等价着色数的一个锐下界(2018)
  2. 拉森,C。E、 。;Van Cleemput,N.:自动推测。三、 财产关系猜想(2017)
  3. 赫兹,阿兰;élot,Hadrien:计算图的非等价顶点着色数(2016)
  4. 霍普,特拉维斯;Petrone,Anna:从小图中发现整数序列(2016)
  5. 拉森,拉森。E、 。;Van Cleemput,N.:自动推测。一: Fajtrowicz的达尔马提亚启发式重温(2016)
  6. 史密斯·迈尔斯,凯特;Bowly,Simon:通过在实例空间中进化来生成新的测试实例(2015)
  7. 史密斯·迈尔斯,凯特;Baatar,Davaatseren:探索图谱在图着色算法性能中的作用(2014)
  8. 史密斯·迈尔斯,凯特;巴塔,达瓦次仁;雷福德,布伦丹;Lewis,Rhyd:面向跨实例空间的算法性能的客观度量(2014)
  9. 布鲁伊ère,Vé浪人;乔雷特,格温娜ël;élot,Hadrien:具有给定稳定数和最小稳定集数的树(2012)
  10. 奥奇切,M。;Hansen,P.:光谱图论自动猜想综述(2010)
  11. 红衣主教,琼;Levy,Eythan:稠密图中的连通顶点覆盖(2010)
  12. 布鲁伊ère,Vé浪人;élot,Hadrien:Fibonacci指数和图的稳定性数:多面体研究(2009)
  13. 红衣主教,琼;兰格曼,斯特凡;Levy,Eythan:稠密图中边控制集的改进逼近界(2009)
  14. 克里斯托夫,朱莉;德维兹,索菲;多尼翁,让保罗;法斯本德,吉尔;Gr公司é甲状腺肿,菲利普;惠更斯,大卫;拉布é, 马丁尼;埃鲁米,苏鲁尔;é洛特,哈德良;Yaman,Hande:图不变量之间的线性不等式:使用GraPHedron发现最佳关系(2008)
  15. élot,Hadrien:刻面定义图不变量之间的不等式:系统Graphidron(2008)
  16. 布林克曼,G。;福勒,P。W、 :化学和图论应用的免费软件清单(2007年)