×
穆斯塔法·奥奇奇；皮埃尔·汉森

极值图的可变邻域搜索。十三： 周长。（Rechercheávoisinage variable de grapes extraémaux.XIII:ali propos de la maille） （法语。英文摘要） Zbl 1132.05032号

RAIRO，运营。物件。 39，第4期，275-293（2005）.
概述：AutoGraphiX系统（AGX1、AGX2）除其他功能外，还允许图论中猜想的自动生成，以及最新版本中简单猜想的自动证明。为了说明这些函数和所获得的结果的类型，我们在本文中系统地研究了形式为\（\underline的猜想{b} _n（n）\leq g\oplus i\leq\上划线{b} _n（n）\)其中，\（g）表示图的周长（或最小圈的长度）\（g=（V，E）\），\（i）独立数、半径、直径、最小平均值或最大度之间的另一个不变量，\（下划线{b} _n（n）\)和\（\上一行{b} _n（n）\)（G）的（n）阶和（oplus）阶的最佳可能函数表示四个运算（+，-，times，/\，.\）中的一个，得到了48个这样的猜想：最简单的是自动证明的，其他是手工证明的。此外，还向读者提交了12个开放的和未经研究的猜想。

引用于1审查
引用于6文件

MSC公司：

05立方厘米35 图论中的极值问题
68吨15 定理证明（演绎、解析等）（MSC2010）
05C85号 图形算法（图形理论方面）

软件：

涂鸦；自动图形X；图形
PDF格式BibTeX公司 XML格式引用
\textit{M.Aouchiche}和\textit{P.Hansen}，RAIRO，Oper。第39号决议，第4275--293号（2005年；兹bl 1132.05032）
全文： 内政部 Numdam编号 欧洲DML

参考文献：

[1] M.Aouchiche、J.-M Bonnefoy、A.Fidahoussen、G.Caporossi、P.Hansen、L.Hiesse、J.Lacheré和A.Monhait，极值图的可变邻域搜索。14.AutoGraphiX 2系统。《全局优化：从理论到实现》，L.Liberti和N.Maculan编辑，Springer（2005）。Zbl 1100.90052号·Zbl 1100.90052号
[2] M.Aouchiche、G.Caporossi和P.Hansen，图不变量的自动比较。德国高等教育协会，G-2005-40，融洽技巧，HEC Montréal（2005），21页·Zbl 1274.05235号
[3] S.Belhaiza、N.M.M.de Abreu、P.Hansen和C.S.Oliveira，极值图的可变邻域搜索11。代数连通性的界限，由D.Avis、A.Hertz和O.Marcotte编辑，图论和组合优化，Dordrecht，Kluwer（2005）1-16。Zbl 1096.05027号·Zbl 1096.05027号
[4] R.C.Brigham和R.D.Dutton，图不变量之间关系的汇编。网络21（1991）421-455。Zbl 0743.05057号·Zbl 0743.05057号 ·doi:10.1002/net.3230210405
[5] G.Caporossi，D.Cvetkovic，I.Gutman和P.Hansen，极值图的可变邻域搜索。2.寻找具有极值能量的图。化学杂志。通知。计算。科学。39 ( 1999 ) 984 - 996 .
[6] G.Caporossi，I.Gutman和P.Hansen，极值图的可变邻域搜索。4.具有极值连接性指数的化学树。计算。化学。23 ( 1999 ) 469 - 477 .
[7] G.Caporossi和P.Hansen，极值图的可变邻域搜索。I.AutoGraphiX系统。离散数学。212 ( 2000 ) 29 - 44 . 兹伯利0947.90130·Zbl 0947.90130号 ·doi:10.1016/S0012-365X（99）00206-X
[8] G.Caporossi和P.Hansen，极值图的可变邻域搜索。V.自动查找猜测的三种方法。离散数学。276（2004）81-94。Zbl 1031.05068号·Zbl 1031.05068号 ·doi:10.1016/S0012-365X（03）00311-X
[9] F.R.K.Chung，《平均距离和独立数》。J.图论12（1988）229-235。Zbl 0644.05029号·Zbl 0644.05029号 ·doi:10.1002/jgt.3190120213
[10] D.Cvetković，S.Simić，G.Caporossi和P.Hansen，极值图的可变邻域搜索。三、 关于色约束树的最大特征值。线性多线性代数49（2001）143-160。Zbl 1003.05058号·Zbl 1003.05058号 ·doi:10.1080/030810810818690
[11] D.Cvetković和S.Simić，支持专家系统“图形”获得的图形理论结果——一项扩展调查。在[13]中。Zbl 1108.05061号·兹比尔1108.05061
[12] S.Fajtlowicz，《涂鸦猜想》。离散数学。72 ( 1988 ) 113 - 118 . Zbl 0711.68081号·Zbl 0711.68081号 ·doi:10.1016/0012-365X（88）90199-9
[13] 图形和发现。离散数学中的DIMACS系列。和《理论计算机科学》，由S.Fajtlowicz、P.Fowler、P.Hansen、M.Janowitz和F.Roberts编辑，普罗维登斯，AMS（2005）。MR 2193475 | Zbl 1087.05001·Zbl 1087.05001号
[14] I.Gutman、P.Hansen和H.Mélot，极值图的可变邻域搜索。10.化学树木不规则指数的比较。化学杂志。通知。计算。科学。（2005年，待发布）。MR 2143222号·Zbl 1274.05241号
[15] P.Hansen，《图论中的计算机》。《纽约图论笔记》43（2002）20-34。
[16] P.Hansen，在图论中，猜测是一个自动化的过程，距离、应该和可能有多远？在[13]中。Zbl 1097.68588号·Zbl 1097.68588号
[17] P.Hansen和H.Mélot，极值图的可变邻域搜索。6.分析连通性指数的界限。化学杂志。通知。计算。科学。43 ( 2003 ) 1 - 14 .
[18] P.Hansen和H.Mélot，极值图的可变邻域搜索。9.限定图的不规则性。在[13]中。Zbl 1095.05019号·Zbl 1095.05019号
[19] P.Hansen和N.Mladenović，可变邻域搜索：原理和应用。欧洲药典。第130（2001）号决议449-467。Zbl 0981.90063号·Zbl 0981.90063号 ·doi:10.1016/S0377-2217（00）00100-4
[20] N.Mladenović和P.Hansen，可变邻域搜索。计算。操作。第24号决议（1997）1097-1100。Zbl 0889.90119号·Zbl 0889.90119号 ·doi:10.1016/S0305-0548（97）00031-2
[21] E.A.Nordhaus和J.W.Gaddum，关于互补图。阿默尔。数学。《月刊》63（1956）175-177。Zbl 0070.18503号·Zbl 0070.18503号 ·doi:10.2307/2306658
[22] B.A.Smith，私人通信（2004）。
[23] P.Turán，Eine Extremalaufgabe aus der Graphentherie。（匈牙利）Mat.Fiz。拉普克48（1941）436-452。Zbl 0026.26903号·Zbl 0026.26903号
[24] 写在墙上。电子文件可从http://math.uh.edu/clarson（1999）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。