×

图论中有趣的猜想有哪些形式? (英语) Zbl 1102.68093号

Fajtlowicz,Siemion(编辑)等人,《图形与发现》。DIMACS工作组会议记录,来自图论和化学数据库的计算机生成猜想,2001年11月12日至16日,以及DIMACS公共事件,图论第42天,2001年10月10日,美国新泽西州皮斯卡塔韦。普罗维登斯,RI:美国数学学会(AMS)(ISBN 0-8218-3761-3/hbk)。DIMACS系统。离散数学和理论计算机科学系列69,231-251(2005)。
摘要:图论中的猜想有多种形式,涉及图不变量、图类、子图、子图和前提和/或结论中的其他概念。为了在计算机辅助或自动化系统中发现有趣的猜想,人们提出了各种抽象准则。从观察著名定理(和其他定理)最初是猜想开始,如果只是在获得它们的人的脑海中,我们会回顾它们的形式。在这种情况下,我们也给出了在计算机的帮助下或通过计算机获得的这种形式的猜想的例子。似乎有许多形式尚未探索,因此图论中的计算机辅助和自动化猜想尽管取得了许多成功,但基本上还是处于起步阶段。
关于整个系列,请参见[Zbl 1087.05001号].

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
68T05型 人工智能中的学习和自适应系统
05-04 与组合学有关的问题的软件、源代码等
PDF格式BibTeX公司 XML格式引用