×

在专家系统“Graph”的支持下获得的图形理论结果——一项扩展调查。 (英语) Zbl 1108.05061号

Fajtlowicz,Siemion(编辑)等人,《图形与发现》。DIMACS工作组会议记录,来自图论和化学数据库的计算机生成猜想,2001年11月12日至16日,以及DIMACS公共事件,图论第42天,2001年10月10日,美国新泽西州皮斯卡塔韦。普罗维登斯,RI:美国数学学会(AMS)(ISBN 0-8218-3761-3/hbk)。DIMACS系统。离散数学和理论计算机科学系列69,39-70(2005)。
GRAPH是一个交互式软件包,于80年代在贝尔格莱德大学作为专家系统开发,旨在通过帮助提出、验证或反驳猜想来支持图论研究。
本文调查了92篇论文,主要是谱图理论,其结果是在graph的支持下获得的。呈现的结果分为以下几个部分:图表表。图的最大特征值。图的第二大特征值。最小特征值由\(-2\)限定的图。积分图。绘制角度。星星补语。图与其补集共享指定的属性。其他结果。组合优化。
关于整个系列,请参见[Zbl 1087.05001号].

MSC公司:

05元50分 图和线性代数(矩阵、特征值等)
05-04 与组合学有关的问题的软件、源代码等

软件:

图形
PDF格式BibTeX公司 XML格式引用