拉森，C.E。;Van Cleemput，北卡罗来纳州。 自动推测。I：法杰特洛维奇的达尔马提亚启发式重新审视。 （英语） Zbl 1344.68208号 Artif公司。智力。 231, 17-38 (2016). 摘要：我们讨论了Fajtlowicz的达尔马提亚猜想启发式的新实现和新实验。我们的程序对数学对象的实数不变量之间的关系进行了猜测。报告了矩阵理论、数论和图论中的猜想，以及使用猜想自动进行游戏的实验。该程序的使用方式可以通过设计来推进数学研究。这些实验表明，在设计能够执行各种需要智能的任务的机器时，自动猜测是一种有用的能力。 引用于2评论引用于3文件 MSC公司： 第68页第15页 定理证明（演绎、解析等）（MSC2010） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：自动推测;自动推测;数学发现;自动化科学发现;达尔马提亚启发式 软件：GraPHedron公司;自动图形X;图形;INGRID公司;GrInvIn公司;SageMath软件;涂鸦;鹦鹉螺;人力资源 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Larson}和\textit{N.Van Cleemput}，Artif。智力。231、17-38（2016年；Zbl 1344.68208） 全文： 内政部 参考文献： [1] Fajtlowicz，S.，《涂鸦猜想》。五、 （图论、组合数学和算法，第1、2卷。图论，组合数学，算法，卷。1992年，密歇根州卡拉马祖市，第1、2页。图论，组合数学，算法，卷。1, 2. 图论，组合数学，算法，卷。密歇根州卡拉马祖市1、2号，1992年，Wiley-Intersci。出版物。（1995），威利：威利纽约），367-376·兹比尔0843.05065 [2] DeLaVina，E.，《涂鸦.pc:涂鸦的变体》，DIMACS Ser。谨慎。数学。西奥。计算。科学。，69, 71 (2005) ·邮编1094.05053 [3] 图灵，A.，《智能机械》（The Essential Turing，2004），第395-432页 [4] 西蒙，H.A。；Newell，A.，《启发式问题解决：运筹学的下一个进展》，Oper。第6、1、1-10号决议（1958年）·Zbl 1414.90022号 [5] McCune，W.，《罗宾斯问题的解决方案》，J.Autom。原因。，19, 3, 263-276 (1997) ·Zbl 0883.06011号 [6] Wang，H.，走向机械数学，IBM J.Res.Dev.，4，2-22（1960）·Zbl 0097.00404号 [7] Fajtlowicz，S.，《涂鸦猜想》，（第一届日本图论与应用会议论文集。第一届日本图论与应用大会论文集，Hakone，1986年，第72卷（1988）），113-118·Zbl 0711.68081号 [8] Fajtlowicz，S.，《涂鸦猜想》。三、 （第十九届东南组合数学、图论和计算会议。第十九届西南组合数学、图理论和计算会议，巴吞鲁日，洛杉矶，1988年。第十九届东南组合数学、图论和计算会议。第十九届东南组合数学、图论和计算会议，巴吞鲁日，洛杉矶，1988年，国会。数字。，第66卷（1988年），23-32·Zbl 0713.05055号 [9] Fajtlowicz，S.，《涂鸦猜想》。二、 （第十八届东南组合数学、图论和计算国际会议。第十八届西南组合数学、图论和计算会议，佛罗里达州博卡拉顿，1987年。第十八届东南组合数学、图论和计算国际会议。第十八届东南组合数学、图论和计算国际会议，佛罗里达州博卡拉顿，1987年，国会。数字。，第60卷（1987）），189-197·Zbl 0713.05054号 [10] Fajtlowicz，S.，《涂鸦猜想》。IV、 （第二十届东南组合学、图论和计算会议论文集。第二十届东南组合学、图论和计算会议论文集，佛罗里达州博卡拉顿，1989年，第70卷（1990年），231-240·Zbl 0723.05112号 [11] 西普拉，B.A.，《科学》中的巫师学徒，2444906770（1989） [12] DeLaVina，E.，《涂鸦发展的一些历史》，（Graphs and Discovery.Graphs and-Discovery，DIMACS Ser.Discret.Math.Theor.Compute.Sci.，第69卷（2005年），Amer。数学。Soc.：美国。数学。Soc.Providence，RI），81-118·Zbl 1096.05049号 [13] Larson，C.E.，《自动化数学猜想研究综述》，（图与发现。图与发现，DIMACS Ser.Discret.Math.Theor.Compute Sci.，第69卷（2005年），Amer。数学。Soc.：美国。数学。佛罗里达州普罗维登斯Soc.Providence），297-318·Zbl 1097.68630号 [14] Lenat，D.B.，《发现的普遍性》，Artif。智力。，9, 3, 257-285 (1977) [15] Lenat，D.B.，《自动化科学理论形成：使用am程序Mach的案例研究》。智力。，9251-286（1979年） [16] Lenat，D.B.，《启发式的本质》，Artif。智力。，19, 2, 189-249 (1982) [17] Davis，R。；Lenat，D.B.，《人工智能中基于知识的系统》（1982），McGraw-Hill国际图书公司·Zbl 0479.68093号 [18] 爱泼斯坦，S.L.，《关于数学定理的发现》（IJCAI（1987）），194-197年 [19] 爱泼斯坦，S.L.，《学习与发现：一个系统对数学知识的搜索》，计算。智力。，4, 1, 42-53 (1988) [20] 科尔顿，S。；A.邦迪。；Walsh，T.，《纯数学中的自动概念形成》，（《第16届国际人工智能联合会议论文集》，《第16次国际人工智能联席会议论文集，IJCAI'99》，第2卷（1999年），Morgan Kaufmann出版社），786-791 [21] Colton，S.，《可重构数字——机器发明》，J.Integer Seq。，2, 99.1, 2 (1999) ·Zbl 1036.11540号 [22] 科尔顿，S.，《纯粹数学中的自动理论形成》（2002），施普林格：施普林格-海德堡·Zbl 1219.68141号 [23] Colton，S.，《使用HR、Otter和Maple，J.Symb在数论中进行自动猜测》。计算。，39，593-615（2005年）·Zbl 1126.68100号 [24] 卡波罗西，G。；Hansen，P.，极值图的可变邻域搜索：1签名系统，离散数学。，212, 1, 29-44 (2000) ·Zbl 0947.90130号 [25] 卡波罗西，G。；Hansen，P.，极值图的可变邻域搜索。5.三种自动查找猜想的方法，离散数学。，276，1，81-94（2004年）·Zbl 1031.05068号 [26] Aouchiche，M。；卡波罗西，G。；Hansen，P。；Laffay，M.，《自传：调查》，电子。注意离散数学。，22, 515-520 (2005) ·Zbl 1200.05002号 [27] Mélot，H.，Facet定义图不变量之间的不等式：系统图面，离散应用。数学。，156, 10, 1875-1891 (2008) ·Zbl 1152.05380号 [28] 克里斯托夫，J。；Dewez，S。；Doignon，J.-P。；法斯本德，G。；格雷戈里，P。；惠更斯，D。；拉贝，M。；埃洛米，S。；梅洛特，H。；Yaman，H.，图不变量之间的线性不等式：使用图面体揭示最佳关系，网络，52，4，287-298（2008）·Zbl 1151.05334号 [29] Cvetković，D。；Gutman，I.，《计算机系统图形：化学图论中的有用工具》，J.Compute。化学。，7, 5, 640-644 (1986) [30] Brigham，R。；Dutton，R.，INGRID：极值图理论研究的软件工具，Congr。数字。，39, 337-352 (1983) ·Zbl 0535.05001号 [31] 杜顿，R.D。；Brigham，R.C。；Gomez，F.，INGRID：图不变量操纵器，J.Symb。计算。，7, 2, 163-177 (1989) ·兹伯利0662.05017 [32] 巴盖，R。；香博格，V。；Ż伊特科夫，J.M。；Chou，S.-C.，平面几何中的自动定理生成，（智能系统方法论（1993），Springer），415-424 [33] 巴盖，R。；香博格，V。；Zytkow，J.M。；Chou，S.-C.，《几何定理的发现：避免同构情况描述》，（第五届国际计算与信息会议论文集。第五届计算与信息国际会议论文集，ICCI’93（1993），IEEE），354-358 [34] 威尔夫，H.S。；Zeilberger，D.，《走向计算机身份证明》，布尔。美国数学。Soc.，23，1，77-83（1990）·Zbl 0718.05010号 [35] Borwein，J.M。；Bailey，D.H.，《实验数学：21世纪的合理推理》（2004），AK Peters:AK Peters Natick，MA·Zbl 1083.00001号 [36] Chung，F.R.K.，平均距离和独立数，图论，12，2，229-235（1988）·Zbl 0644.05029号 [37] Erdős，P。；萨克斯，M。；SóS，V.T.，图中最大诱导树，J.Comb。理论，Ser。B、 41、1、61-79（1986）·Zbl 0603.05023号 [38] Fajtlowicz，S.，半径临界图的特征，图论，12，4，529-532（1988）·Zbl 0713.05037号 [39] 法瓦隆，O。；Mahéo，M。；Saclé，J.-F.，关于图的剩余，图论，15，1，39-64（1991）·Zbl 0751.05075号 [40] 杰罗尔德·R·格里格斯。；Kleitman，Daniel J.，《独立与Havel-Hakimi剩余》，离散数学。，127，1-3，209-212（1994），图论与应用（Hakone，1990）·Zbl 0805.05082号 [41] Hansen，P。；赫兹，A。；基拉尼，R。；奥马尔科特。；Schindl，D.，平均距离和最大诱导森林，J.图论，60，1，31-54（2009）·Zbl 1182.05049号 [42] 洛戈塞蒂，D。；科克塞特，H.S.M.，《对两年制学院几何之王H.S.M.Coxeter的采访》。数学。J.，11，1，2-19（1980） [43] 福勒，P.W。；Manolopoulos，D.E.，《富勒烯地图集》（1995），克拉伦登出版社：牛津克拉伦登出版公司 [44] 福勒，P.W。；罗杰斯，K.M。；Fajtlowicz，S。；Hansen，P。；Caporossi，G.，《关于富勒烯图的事实和猜想：蛙跳、圆柱和Ramanujan富勒烯》，（代数组合学和应用，代数组合学与应用，Gößweinstein，1999（2001），Springer:Springer Berlin），134-146·Zbl 0966.92031号 [45] Fajtlowicz，S。；Larson，C.E.，富勒烯稳定性预测的图论独立性，化学。物理。莱特。，377, 5-6, 485-490 (2003) [46] 斯特瓦诺维奇，D。；Caporossi，G.，《关于富勒烯的（1，2）光谱扩散》，（图与发现，图与发现），DIMACS Ser.Discret.Math.Theor.Compute.Sci.，第69卷（2005年），Amer。数学。Soc.：美国。数学。Soc.Providence，RI），365-370·兹比尔1097.05028 [47] Daugherty，S.M.，富勒烯的独立集和闭壳独立集（2010），AAINR66829 [48] Mallion，R.B。；Rouvray，D.H.，《库尔森-鲁什布鲁克配对定理的黄金禧年》，J.Math。化学。，5, 1, 1-21 (1990) [49] Peeters，A.，GrInvIn-一个用于图论教育和研究的软件框架（2008），根特大学论文（博士） [50] Peeters，A。；科尔萨特，K。；布林克曼，G。；Van Cleemput，N。；Fack，V.，GrInvIn，简而言之，J.Math。化学。，45, 2, 471-477 (2009) ·兹比尔1194.92095 [51] 霍恩，R.A。；Johnson，C.R.，《矩阵分析》（2012），剑桥大学出版社 [52] 哈代，G.H。；Wright，E.M.，《数字理论导论》（1979），牛津大学出版社·Zbl 0423.10001号 [53] Richstein，J.，《验证哥德巴赫猜想》，数学。计算。，70, 236, 1745-1749 (2001) ·Zbl 0989.11050号 [54] 克兰德尔，R.E。；Pomerance，C.，《素数：计算视角》，第182卷（2005），Springer·Zbl 1088.11001号 [55] Rosser，B.，一些素数函数的显式界，美国数学杂志。，63, 1, 211-232 (1941) [56] Rosser，J.B。；Schoenfeld，L.，一些素数函数的近似公式，Ill.J.数学。，6, 6-9 (1962) [57] 海恩斯，T.W。；Hedetniemi，S.T。；Slater，P.J.，《图的支配基础》，Monogr。文本b。纯应用程序。数学。，第208卷（1998年），Marcel Dekker公司：Marcel Dekker公司，纽约·Zbl 0890.05002号 [58] 韦斯特，D.B.，《图论导论》（2001），普伦蒂斯·霍尔 [59] Pepper，R.，关于图的湮没数，最新进展应用。数学。计算。信息科学。，1, 217-220 (2009) [60] 拉森，C.E。；Pepper，R.，具有相等独立性和湮灭数的图，电子。J.库姆。，18, 1 (2011) ·Zbl 1238.05198号 [62] 迈克尔·R·加里。；Johnson，David S.，《计算机与难处理性》，（《NP完全性理论指南》，《NP完全性理论指南》，数学科学丛书（1979年），W.H.弗里曼公司：W.H.弗里曼公司，加利福尼亚州旧金山）·Zbl 0411.68039号 [63] Larson，C.E.，关于关键独立性降低的注释，布尔。仪表梳。申请。，51, 34-46 (2007) ·Zbl 1135.05051号 [64] Larson，C.E.，《临界独立数和独立性分解》，欧洲期刊Comb。，32, 2, 294-300 (2011) ·Zbl 1230.05226号 [65] 德拉维纳，E。；Larson，C.E.，计算临界独立数和相关集的并行算法，Ars Math。康斯坦普。（2015），出版中 [66] 安吉尔·E。；坎皮戈托，R。；Laforest，C.，图的独立数的新下界，离散应用。数学。，161, 6, 847-852 (2013) ·兹比尔1262.05114 [67] Lovász，L.，关于图的香农容量，IEEE Trans。《信息论》，25，1，1-7（1979）·Zbl 0395.94021号 [68] Knuth，Donald E.，三明治定理，电子。J.库姆。，第1条，第1页（1994年），第48页（电子版）·Zbl 0810.05065号 [69] Lovász，L.，《半定规划和组合优化》，（算法和组合数学的最新进展，算法和组合学的最新发展，CMS Books Math./Ouvrages Math.SMC，第11卷（2003），Springer:Springer New York），137-194·Zbl 1040.90032号 [70] 里德，R.C。；Wilson，R.J.，《图形地图集》，第21卷（1998年），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0908.05001号 [71] 博洛巴斯，贝拉，随机图，剑桥高级数学研究所。，第73卷（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0979.05003号 [72] Gale，D.，《美国数学》（Am.Math），一个有趣的Nim型游戏。周一。，876-879 (1974) ·Zbl 0295.90045号 [73] 德拉维纳，E。；胡椒，R。；Waller，W.，《独立性、半径和哈密顿路径》，MATCH Commun。数学。计算。化学。，58, 2, 481-510 (2007) ·Zbl 1141.05042号 [74] Gould，R.J.，更新哈密顿问题——一项调查，J.图论，15，2，121-157（1991）·Zbl 0746.05039号 [75] Gould，R.J.，《哈密顿问题的进展——综述》，图梳。，19, 1, 7-52 (2003) ·Zbl 1024.05057号 [76] Deming，R.W.，图的独立数——Koenig-Egervary定理的扩展，离散数学。，27，1，23-33（1979年）·Zbl 0404.05034号 [77] Sterboul，F.，横截数等于匹配数的图的特征，J.Comb。理论，Ser。B、 27、2、228-229（1979）·Zbl 0415.05032号 [78] Lovász，L.，匹配覆盖图的耳分解，组合数学，3，1，105-117（1983）·Zbl 0516.05047号 [79] Bourjolly，J.-M。；Pulleyblank，W.R.，König-Egerváry图，2-双临界图和分数匹配，离散应用。数学。，24, 1, 63-82 (1989) ·Zbl 0684.05036号 [80] Hardy，G.H.，《数学家的道歉》（1940），大学出版社·兹比尔0025.19301 [81] 科尔顿，S。；邦迪，A。；Walsh，T.，《关于自动数学发现中的兴趣概念》，《国际期刊·嗯——计算》。螺柱，53、3、351-375（2000）·Zbl 1011.68621号 [82] 兰格利，P。；西蒙，H.A。；Bradshaw，G.L。；Zytkow，J.M.，《科学发现：创造性过程的计算探索》（1987年），麻省理工学院出版社：麻省理学院出版社剑桥 [83] Wang，H.，《计算机定理证明与人工智能》（计算、逻辑、哲学（1990），Springer），63-75 [84] Stein，W.，Sage：开源数学软件（版本2.10.2），The Sage group（2008） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。