×
梅洛特，哈德里安

定义图不变量之间不等式的方面：系统图面。 （英语） 兹比尔1152.05380

离散应用程序。数学。 156，第10期，1875-1891（2008）.
摘要：我们提出了一个新的计算机系统，称为GraPHedron，它使用多面体方法帮助用户发现图论中的最佳猜想。我们定义了什么应该是最优猜想，并提出了一个允许识别它们的形式化框架。这里，带节点的图被视为欧氏空间中的点，其坐标是一组图不变量的值。这些点的凸包对应于一组有限的线性不等式。这些为\（n）的几个值计算的不等式可以自动或交互地推广。它们作为猜想，可以通过几何论证被认为是最优的。
我们描述了该系统的工作原理，并给出了连通图的直径和边数之间的所有最佳关系，作为示例。文中还提到了其他应用和结果，并描述了目前可以用GraPHedron得到的猜想的形式。

引用于22文件

MSC公司：

05C90年 图论的应用
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

图表;猜想;计算机辅助系统;GraPHedron公司

软件：

cdd（光盘）;通用管理程序;多晶的;涂鸦;鹦鹉螺;图形;自动图形X;GraPHedron公司
PDF格式BibTeX公司 XML格式引用
\textit{H.Mélot}，离散应用程序。数学。156，第10号，1875--1891（2008；Zbl 1152.05380）
全文： 内政部

参考文献：

[1] Aouchiche，M。；卡波罗西，G。；Hansen，P.，极值图的可变邻域搜索8。涂鸦105变奏曲，国会。数字。，148, 129-144 (2001) ·Zbl 0994.05078号
[2] 阿维斯，D。；Bremner，D。；Seidel，R.，凸包算法有多好，计算。地理。，7, 265-301 (1997) ·Zbl 0877.68119号
[3] Berge，C.，Graphes et Hypergrapes（1983），《高铁维拉斯：高铁维拉巴黎》·Zbl 0213.25702号
[4] 卡波罗西，G。；Cvetković，D。；古特曼，I。；Hansen，P.，极值图的可变邻域搜索2。寻找具有极值能量的图，J.Chem。通知。计算。科学。，39, 984-996 (1999)
[5] 卡波罗西，G。；古特曼，I。；Hansen，P.，极值图的可变邻域搜索4。具有极值连接性指数的化学树，计算。化学。，23, 469-477 (1999)
[6] 卡波罗西，G。；Hansen，P.，极值图的变邻域搜索1。AutoGraphiX系统，离散数学。，212, 29-44 (2000) ·Zbl 0947.90130号
[7] 卡波罗西，G。；Hansen，P.，极值图的可变邻域搜索5。自动查找猜想的三种方法，离散数学。，276，81-94（2004年）·Zbl 1031.05068号
[8] J.Cardinal，M.Labbé，S.Langerman，E.Levy，H.Mélot，最大匹配启发式的严密分析，in：计算与组合数学：第11届国际年会，COCOON 2005，中国昆明，计算机科学讲义，第3595卷，柏林斯普林格，2005，第701-709页。；J.Cardinal，M.Labbé，S.Langerman，E.Levy，H.Mélot，《最大匹配启发式的严密分析》，载《计算与组合数学：第11届国际年会》，COCOON 2005，中国昆明，《计算机科学讲义》，第3595卷，柏林斯普林格出版社，2005年，第701-709页·Zbl 1128.68398号
[9] J.Cardinal，S.Langerman，E.Levy，稠密图中边支配集的改进近似界。in：近似与在线算法研讨会论文集，计算机科学讲稿，第4368卷，施普林格，柏林，2006年，第108-120页。；J.Cardinal，S.Langerman，E.Levy，稠密图中边支配集的改进近似界。摘自：《近似与在线算法研讨会论文集》，《计算机科学讲稿》，第4368卷，施普林格，柏林，2006年，第108-120页·Zbl 1129.90363号
[10] J.Christophe，S.Dewez，J.-P.Doignon，S.Elloumi，G.Fasbender，P.Grégoire，D.Huygens，M.Labbé，H.Mélot，H.Yaman，图不变量之间的线性不等式：使用GraPHedron揭示最佳关系，提交出版。；J.Christophe，S.Dewez，J.-P.Doignon，S.Elloumi，G.Fasbender，P.Grégoire，D.Huygens，M.Labbé，H.Mélot，H.Yaman，图不变量之间的线性不等式：使用GraPHedron揭示最佳关系，提交出版·Zbl 1151.05334号
[11] Cvetković，D.，用计算机讨论图论，II：计算机提出的定理，Publ。Inst.数学。（贝尔格莱德），33，47，29-33（1983）·Zbl 0522.05068号
[12] Cvetković，D.，用计算机讨论图论，IV：知识组织和定理证明示例，（第四届南斯拉夫图论研讨会论文集，Novi Sad（1983）），43-68·Zbl 0533.05058号
[13] Cvetković，D.，用计算机讨论图论，VI：借助计算机证明定理，Cl.Sci。数学。自然。，科学。数学。T.，XCVII，16，51-70（1988）·Zbl 0662.05058号
[14] Cvetković，D。；克劳斯，L。；Simić，S.，用计算机讨论图论，I：图论算法的实现，贝尔格莱德大学出版社。埃利克特罗恩。Fak，爵士。材料Fiz。编号：716-734100-104（1981）
[15] Cvetković，D。；佩瓦克，I.，用计算机讨论图论，III：人机定理证明，出版物。Inst.数学。（贝尔格莱德），34，48，37-47（1983）·兹伯利0568.05053
[16] Cvetković，D。；Simić，S.，在专家系统“图形”的支持下获得的图形理论结果，Bull。阿卡德。塞尔维亚科学。艺术与科学。数学。自然。，19, 19-41 (1994)
[17] Cvetković，D。；西米奇，S。；卡波罗西，G。；Hansen，P.，极值图的可变邻域搜索3。关于色约束树的最大特征值，线性和多线性代数，2143-160（2001）·Zbl 1003.05058号
[18] E.德拉维纳，格拉菲蒂猜想参考书目。在\（\langle；\）上提供http://cms.dt.uh.edu/faculty/delavinae/research/wowref.htm\（\rangle；\），2000年。；E.德拉维纳，格拉菲蒂猜想参考书目。在\（\langle；\）上提供http://cms.dt.uh.edu/faculty/delavinae/research/wowref.htm（\rangle；），2000年。
[19] Diestel，R.，图论（2000），Springer:Springer Berlin·Zbl 0945.05002号
[20] S.Fajtlowicz，写在墙上。定期更新的文件，可从\（\langle；\）访问http://www.math.uh.edu网站/\（\sim；\）clarson/\（\rangle；\。；S.Fajtlowicz，写在墙上。定期更新的文件，可从\（\langle；\）访问http://www.math.uh.edu网站/\（\sim；\）clarson/\（\rangle；\。
[21] Fajtlowicz，S.，《关于涂鸦II的猜想》，国会议员。数字。，60, 187-197 (1987) ·Zbl 0713.05054号
[22] Fajtlowicz，S.，《涂鸦猜想》，离散数学。，72, 113-118 (1988) ·Zbl 0711.68081号
[23] Fajtlowicz，S.，《关于涂鸦III的猜想》，国会议员。数字。，66, 23-32 (1988) ·Zbl 0713.05055号
[24] Fajtlowicz，S.，《关于涂鸦IV的猜想》，国会议员。数字。，70, 231-240 (1990) ·Zbl 0723.05112号
[25] Fajtlowicz，S.，《关于涂鸦的猜想-V》（第七届国际图论四年一度会议，第1卷（1995年）），367-376·Zbl 0843.05065号
[26] Fajtlowicz，S。；Waller，W.A.，《关于涂鸦的两个猜想》，Congr。数字。，55, 51-56 (1986) ·Zbl 0639.05040号
[27] 福勒，P.W。；Hansen，P。；卡波罗西，G。；Soncini，A.，具有最大HOMO-LUMO间隙的多烯。（极值图的可变邻域搜索7），化学。物理学。莱特。，342, 105-112 (2001)
[28] K.Fukuda，cdd/cdd+参考手册。cdd ver.061，cdd+ver.076，1999年，在线阅读网址：http://www.cs.mcgill.ca/\（\sim；\）福田/soft/cddman/cddman.html。；K.Fukuda，cdd/cdd+参考手册。cdd ver.061，cdd+ver.076，1999年，在线阅读网址：http://www.cs.mcgill.ca/\（\sim；\）福田/soft/cddman/cddman.html\（\rangle；\，）。
[29] Garey，M.R。；Johnson，D.S.，《计算机与难治性》。NP完全性理论指南（1979），弗里曼与公司：弗里曼与公司纽约·Zbl 0411.68039号
[30] Gawrilow，E。；Joswig，M.，《Polymake:分析凸多面体的框架》（Kalai，G.；Ziegler，G.M.，polytopes-Combinaterics and Computation（2000），Birkhäuser:Birkháuser Basel），43-74·Zbl 0960.68182号
[31] Gawrilow，E。；Joswig，M.，《Polymake:计算几何中模块化软件设计的方法》，（第17届计算几何年度研讨会论文集（2001年6月3日至5日），ACM:ACM Medford，MA），222-231·Zbl 1375.68136号
[32] 通用汽车公司。GNU多精度算术库，主页：\（\langle；\）http://www.swox.com/gmp/\（\rangle；\）。；GMP。GNU多精度算术库，主页：\（\langle；\）http://www.swox.com/gmp/\（\rangle；\）。
[33] 格拉菲德隆。位于\（\langle；\）的门户网站http://www.graphedron.net网站\（\rangle；\）。；格拉菲德隆。Web门户位于\（\langle；\）http://www.graphedron.net网站\（\rangle；\）。
[34] 古特曼，I。；Hansen，P。；Mélot，H.，极值图的可变邻域搜索10。《化学树木不规则指数的比较》，J.Chem。通知。建模，45，222-230（2005）
[35] Hansen，P.，在图论中，猜想应该、现在和将来自动化到什么程度？，（Fajtlowicz，S.；etal.，Graphs and Discovery，DIMACS Series in Discrete Mathematics and Theory Computer Science，vol.69（2005），美国数学学会：美国数学学会普罗维登斯），189-230·Zbl 1097.68588号
[36] Hansen，P。；Aouchiche，M。；卡波罗西，G。；梅洛特，H。；Stevanović，D.，图论中有趣的猜想有哪些形式？，（Fajtlowicz，S.；etal.，Graphs and Discovery，DIMACS Series in Discrete Mathematics and Theory Computer Science，vol.69（2005），美国数学学会：美国数学学会普罗维登斯），231-252·Zbl 1102.68093号
[37] P.Hansen，M.Labbé，H.Mélot，GraPHedron中猜想的自动化，2006年，准备中。；P.Hansen，M.Labbé，H.Mélot，GraPHedron猜想自动化，2006年，正在编写中。
[38] Hansen，P。；Mélot，H.，代数图论中的计算机与发现，线性代数应用。，356, 211-230 (2002) ·Zbl 1015.05087号
[39] 汉森，P。；Mélot，H.，极值图的可变邻域搜索6。分析连接性指数的界限，J.Chem。通知。计算。科学。，43, 1-14 (2003)
[40] Hansen，P。；Mélot，H.，极值图的可变邻域搜索9。界定图的不规则性，（Fajtlowicz，S.；etal.，Graphs and Discovery，DIMACS Series in Discrete Mathematics and Theory Computer Science，vol.69（2005），美国数学学会：美国数学学会普罗维登斯），253-264·兹比尔1095.05019
[41] Hansen，P。；梅洛特，H。；Gutman，I.，极值图的可变邻域搜索12。关于图中有界度方差的注记，MATCH Comm.Math。计算。化学。，54, 221-232 (2005) ·Zbl 1274.05241号
[42] B.D.McKay，《淘气用户指南》（1.5版），澳大利亚国立大学计算机科学系技术报告，1990年。；B.D.McKay，《Nauty用户指南》（1.5版），技术报告，澳大利亚国立大学计算机科学系，1990年。
[43] H.Mélot，《图论中的自动和计算机辅助猜想》，孟山海厄大学博士论文，2006年。；H.Mélot，《图论中的自动和计算机辅助猜想》，孟山海厄大学博士论文，2006年。
[44] Ore，O.，《图论》，美国数学学会学术讨论会出版物，第三十八卷（1962），美国数学协会：美国数学协会普罗维登斯，RI·Zbl 0105.35401号
[45] Turán，P.，Eine Extremalaufgabe aus der Graphentherie，Mat.Fiz。拉普克，48，436-452（1941）·JFM 67.0732.03号文件
[46] 齐格勒，G.M.，《关于多域的讲座》（1998年），《施普林格：施普林格柏林》·Zbl 0898.52006号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。