×
朱莉·克里斯托夫；苏菲·杜威；Jean-Paul Doignon；吉尔斯·法斯本德；菲利普·格雷戈里；惠更斯，大卫；马丁·拉贝；Sourour Elloumi公司；梅洛特，哈德里安；韩德亚曼

图不变量之间的线性不等式：使用GraPHedron揭示最佳关系。 （英语） Zbl 1151.05334号

网络 52，第4期，287-298（2008）.
摘要：通过几何方法定义了有限多个图不变量中线性不等式的最优性。对于固定数量的图顶点，考虑不变量在选定的一类图上获取的所有值元组。然后形成多面体，它是所有这些元组的凸包。根据定义，最优线性不等式对应于这个多面体的面。它们在数量上是有限的，在逻辑上是独立的，并且精确地生成了这类图上所有有效的线性不等式。一些作者开发的计算机系统GraPHedron能够为“少量”顶点生成关于此类不等式的实验数据。它极大地有助于推测最优线性不等式，然后有望为任何数量的顶点证明最优线性不等式。本文研究了这类连通图的两个例子。首先，得到了稳定性数和边数的所有最优线性不等式。为此，一个问题是Ø.矿石[图论，AMS，Providence，R.I.（1962；Zbl 0105.35401号)]与图兰定理有关[P.Turán先生、材料Fiz。拉普克48，436–452（1941；Zbl 0026.26903号)]已解决。其次，针对最大度、不规则度和直径这三个不变量建立了几个最优不等式。

引用于10文件

MSC公司：

05C90年 图论的应用

关键词：

图不变量；多面体；最优线性不等式；图形体

引文：

Zbl 0105.35401号；Zbl 0026.26903号

软件：

GraPHedron公司；图形；自动图形X；鹦鹉螺；cdd（光盘）；涂鸦；INGRID公司；港口
PDF格式BibTeX公司 XML格式引用
\textit{J.Christophe}等人，Networks 52，No.4，287--298（2008；Zbl 1151.05334）
全文： 内政部 链接

参考文献：

[1] Albertson，图的不规则性，Ars Combin 46 pp 219–（1997）·Zbl 0933.05073号
[2] Aouchiche，极值图的可变邻域搜索8。涂鸦变体105，Congr Numer 148第129页–（2001）·Zbl 0994.05078号
[3] Avis，凸包算法有多好？计算几何7第265页–（1997）·Zbl 0877.68119号
[4] Bell，关于图的不规则性的一个注记，线性代数应用161 pp 45–（1992）·Zbl 0776.05069号
[5] 伯杰，格雷夫斯（1983）
[6] Bollobás，图论（1979）·doi:10.1007/978-1-4612-9967-7
[7] Bougard，Turán定理与k连通图，J图论58 pp 1–（2008）·Zbl 1145.05026号
[8] 英格丽德·布里格姆：极值图理论研究的软件工具，Congr Numer 39 pp 337–（1983）·Zbl 0535.05001号
[9] Brigham，图不变量之间关系的汇编，网络15，第73页–（1985）·Zbl 0579.05059号
[10] Brigham，图不变量之间关系的汇编，《网络21》第421页–（1991）·Zbl 0743.05057号
[11] 英格丽德·布里格姆（Brigham，Ingrid:A graph invariant manipulator），《符号计算杂志》（J Symbolic Compute）第7卷第163页–（1989年）
[12] Caporossi，极值图的可变邻域搜索2。《寻找具有极值能量的图》，《化学与信息计算科学杂志》39页，984–（1999）·doi:10.1021/ci9801419
[13] Caporossi，极值图的可变邻域搜索4。具有极值连接性指数的化学树，Comput Chem 23第469页–（1999）
[14] Caporossi，极值图的可变邻域搜索1。Autographix系统，离散数学212第29页–（2000）·Zbl 0947.90130号
[15] Caporossi，极值图的可变邻域搜索5。自动查找猜想的三种方法，《离散数学》276第81页–（2004）·Zbl 1031.05068号
[16] Christof，PORTA-A多面体表示变换算法（1999）
[17] Collatz，Spektren endlicher Grafen，Abh Math Sem Univ Hamburg 21 pp 63–（1957）
[18] Cvetković，《用计算机讨论图论II：计算机提出的定理》，Publ Inst Math（Beograd）33，第29页–（1983）
[19] Cvetković，《用计算机讨论图论IV：知识组织和定理证明示例》，《第4版南斯拉夫Sem图论》第43页–（1983）
[20] Cvetković，用计算机讨论图论VI：借助计算机证明的定理，Cl Sci Math Natur Sci数学16 pp 51–（1988）·Zbl 0662.05058号
[21] Cvetković，《用计算机讨论图论I：图论算法的实现》，大学Beograd Publ Elektrotehn。Fak，Ser-Mat Fiz No 716-734第100页–（1981）
[22] Cvetković，《用计算机讨论图论III：人机理论建模》，公共数学研究所（Beograd）34 pp 37–（1983）·Zbl 0568.05053号
[23] Cvetković，专家系统“图形”支持下获得的图形理论结果，Bull Acade Serbe Sci Arts Cl Sci Math Natur 19 pp 19-（1994）
[24] Cvetković，极值图的可变邻域搜索3。关于色约束树的最大特征值，线性多线性代数2 pp 143–（2001）·Zbl 1003.05058号
[25] De la Vina，涂鸦猜想书目（2000）
[26] Fajtlowicz，写在墙上，一个定期更新的文件，可从
[27] Fajtlowicz，《涂鸦猜想II》，《Congr Numer 60》第187页–（1987）·Zbl 0713.05054号
[28] Fajtlowicz，《涂鸦猜想》，《离散数学》72第113页–（1988）·Zbl 0711.68081号
[29] Fajtlowicz，《关于涂鸦III的猜想》，《国会数字》66第23页–（1988年）·Zbl 0713.05055号
[30] Fajtlowicz，《关于涂鸦IV的推测》，《Congr Numer 70》第231页–（1990）·Zbl 0723.05112号
[31] Fajtlowicz，On suggestions of graffiti V，7th Int Quadrennial Conf Graph Theory 1 pp 367–（1995年）
[32] Fowler，《具有最大同膜间隙的多烯》，《化学物理快报》342第105页–（2001年）
[33] 福田，cdd/cdd+参考手册，网页。cdd版本0.61，cdd+版本0.76（1999）
[34] Gitler，图不变量的边界，ArXir Mathematics e-prints math/0510387
[35] Gutman，极值图的可变邻域搜索10。化学树木不规则指数的比较，J Chem Inf Model 45第222页–（2005）
[36] Gutman，极值图的可变邻域搜索12。关于图中有界度方差的注记，MATCH Comm Math Comput Chem 54 pp 221–（2005）·Zbl 1274.05241号
[37] Hansen，Bornes et algorithmes pour les stables d'un grape，图论研究（Proc.Colloq.，Cerisy，1980）（法语）第39–（1980）页
[38] Hansen，离散数学和理论计算机科学DIMACS系列69页189–（2005）
[39] 汉森，代数图论中的计算机与发现，线性代数应用356 pp 211–（2002）·Zbl 1015.05087号 ·doi:10.1016/S0024-3795（02）00386-5
[40] Hansen，极值图的可变邻域搜索6。连通性指数的分析边界，《化学信息计算科学杂志》43第1页–（2003）·doi:10.1021/ci010133j
[41] Hansen，离散数学和理论计算机科学DIMACS系列69 pp 253–（2005）
[42] Harant，关于图的顺序和大小的独立数，Disc Math 232第131页–（2001）·Zbl 1030.05091号
[43] B.McKay，《Nauty用户指南》（1.5版），技术报告TR-CS-90-02（1990），澳大利亚国立大学计算机科学系。
[44] Mélot，Facet定义图不变量之间的不等式：GraPHedron系统，离散应用数学·Zbl 1152.05380号
[45] 矿石38（1962）
[46] Turán，Eine Extremalaufgabe aus der Graphenthenie，Mat Fiz Lapok 48 pp 436–（1941）
[47] 齐格勒，数学研究生课文152（1995）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。