图形

“图”专家系统支持下的图论结果——一个扩展综述。GRAPH是一个交互式软件包,80年代在贝尔格莱德大学作为一个专家系统开发,旨在通过帮助提出、验证或反驳猜想来支持图论研究。本文综述了92篇论文,主要是在谱图论的支持下得到的结果。研究结果分为以下几个部分:图表。图的最大特征值。图的第二大特征值。最小特征值为$-2$的图。积分图。图形角度。星互补。图与其补数共享指定的属性。其他结果。组合优化。


zbMATH参考文献(参考 23篇文章

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 艾希纳,马丁(编辑);哈洛兰,M.伊丽莎白(编辑);奥尼尔,菲利普D.(编辑):传染病研究的设计和分析。2018年2月18日-24日(2018年)研讨会摘要
  2. Kanatchikov,Igor V.:量子Yang-Mills理论中的薛定谔波泛函(2018)
  3. Furtula,Boris;Gutman,Ivan:12阶边界能量图(2017)
  4. 拉森,C.E.;Van Cleemput,N.:自动推测。三、 财产关系猜想(2017)
  5. 拉森,C.E.;Van Cleemput,N.:自动推测。一: 启发式(费达利茨2016)
  6. Aouchiche,Mustapha;Caporossi,Gilles;Hansen,Pierre:用自动签名研究的图特征值的开放问题(2013)
  7. Aouchiche,M.;Hansen,P.:光谱图论中自动猜想的综述(2010)
  8. Aouchiche,M.;Bell,F.K.;Cvetković,D.;Hansen,P.;Rowlinson,P.;Simić,S.K.;Stevanović,D.:极值图的可变邻域搜索。16关于图的最大特征值的一些猜想(2008)
  9. 克里斯托夫,朱莉;德维兹,索菲;多伊尼翁,让·保罗;法斯本德,吉勒;格雷戈尔,菲利普;惠更斯,大卫;拉布,马丁尼;埃鲁米,苏鲁尔;梅洛特,哈德良;亚曼,汉德:《图不变量之间的线性不等式:使用GraPHedron发现最佳关系》(2008)
  10. Mélot,Hadrien:刻面定义图不变量之间的不等式:系统Graphidron(2008)
  11. de Abreu,Nair Maria Maia:图的代数连通性的新旧结果(2007)
  12. Stevanović,Dragan;de Abreu,Nair M.M.;de Freitas,Maria A.A.;Del Vecchio,Renata:行走和正则积分图(2007)
  13. Brankov,V.;Hansen,P.;Stevanović,D.:图的最大拉普拉斯特征值上界的自动猜想(2006)
  14. Aouchiche,Mustapha;Hansen,Pierre:极值图的变邻域搜索。十三: 周长(2005)
  15. Cvetković,Dragoš;Simić,Slobodan:专家系统“Graph”支持下获得的图论结果——扩展调查(2005年)
  16. Fajtowicz,Siemion(编辑);Fowler,Patrick W.(编辑);Hansen,Pierre(编辑);Janowitz,Melvin F.(编辑);Roberts,Fred S.(编辑):图形与发现。DIMACS工作组会议记录,图论和化学数据库的计算机生成猜想,2001年11月12日至16日,以及DIMACS公共事件,图论日42,2001年11月10日,美国新泽西州皮斯卡塔韦(2005年)
  17. Bell,Francis K.;Simić,Slobodan K.:(-2)的星补是路径或循环的图(2004)
  18. 卡波罗西,吉尔;汉森,皮埃尔:极值图的变邻域搜索。五: 自动寻找猜想的三种方法(2004)
  19. 汉森,皮埃尔;梅洛特,哈德良:计算机与代数图论的发现(2002)
  20. 瓦拉迪米尔斯洛奇索引(2000年)