皮埃尔·汉森；梅洛特，哈德里安 代数图论中的计算机和发现。 （英语） Zbl 1015.05087号 线性代数应用。 356，编号1-3，211-230（2002）. 摘要：我们调查了计算机系统，这些系统有助于获得代数图论中的自动猜测和反驳，有时还会提供这些猜测和反驳。 引用于4文件 MSC公司： 05C85号 图形算法（图形理论方面） 关键词：猜想；反驳；代数图论 软件：葡萄；达芬奇；涂鸦；格拉帕；鹦鹉螺；自动图形X；图形；间隙；MOLGEN公司；图形库；Matlab公司；INGRID公司；数学软件；LEDA公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Hansen}和\textit{H.Mélot}，线性代数应用。356，编号1--3，211-230（2002；Zbl 1015.05087） 全文： 内政部 参考文献： [1] M.Aouchiche，G.Caporossi，P.Hansen，极值图的可变邻域搜索8，涂鸦变体105，国会数字。148 (2001) 129-144; M.Aouchiche，G.Caporossi，P.Hansen，极值图的可变邻域搜索8，涂鸦变体105，国会数字。148 (2001) 129-144 ·Zbl 0994.05078号 [2] 阿佩尔，K。；每个平面图都是四色的。第一部分排放，伊利诺伊州数学杂志。，21, 429-490 (1977) ·Zbl 0387.0509号 [3] 阿佩尔，K。；每个平面图都是四色的。第二部分。可简化性，伊利诺伊州数学杂志。，21, 491-567 (1977) ·Zbl 0387.05010号 [4] 阿佩尔，K。；哈肯，W.，每个平面图都是四色的，康特姆。数学。，98, 1-741 (1989) ·Zbl 0681.05027号 [5] 阿基米德J Gray在《世纪大拍卖》中引用的机械定理证明方法，数学。情报员，21，12-15（1999）·兹比尔1052.01502 [6] 巴厘岛，K.T。；Cvetković，D。；勒波维奇，M。；Simić，S.K.，Beograd大学出版社，总共有150个连通积分图，最多10个顶点。埃利克特罗恩。法克。序列号。材料，1095-105（1999）·Zbl 1008.05099号 [7] K.T.Baliñska，M.Kupczyk，S.K.Simić，K.T.Zwierzyñski，关于生成11个顶点上的所有积分图，波兹南科技大学计算机科学中心技术代表469，1999/2000；K.T.Baliñska，M.Kupczyk，S.K.Simić，K.T.Zwierzyñski，关于生成11个顶点上的所有积分图，波兹南科技大学计算机科学中心技术代表469，1999/2000 [8] K.T.Baliñska，M.Kupczyk，K.T.Zwierzyñski，生成积分图的方法，技术报告457，波兹南科技大学计算机科学中心，1997；K.T.Baliñska，M.Kupczyk，K.T.Zwierzyñski，生成积分图的方法，技术报告457，波兹南科技大学计算机科学中心，1997年 [9] K.T.Baliñska，M.Lepović，S.K.Simić，最大度为四的非正则二部积分图。第二部分：计算机搜索，准备中；K.T.Baliñska，M.Lepović，S.K.Simić，最大度为四的非正则二部积分图。第二部分：准备中的计算机搜索 [10] 巴厘岛，K.T。；Simić，S.K.，最大度为四的非正则二部积分图。第一部分：基本属性，离散数学。，236, 13-24 (2001) ·Zbl 0995.05095号 [11] 赤脚，C.A。；恩廷格，R.C。；Mullhaupt，A.P.，图论中基于归纳法的计算机证明-卡片屋？，数学。计算。建模，17，11，17-23（1993）·Zbl 0800.68630号 [12] 新南威尔士州巴尔古提。；Mocenigo，J.M。；Wenke，L.，《Grappa:Java中的GRAPh包》，《计算机课堂讲稿》。科学。，1353, 336-343 (1997) [13] 贝扎德，M。；Chartrand，G。；莱斯尼亚克·福斯特（Lesniak-Foster，L.），《图和有向图》（Graphs and Digraphs）（1979年），普林德勒、韦伯（Weber）和施密特（Schmidt:Prindle，Weber&Schmidt Boston）·Zbl 0403.05027号 [14] Berque，D。；西葫芦，R。；Goldberg，M。；Rivenburgh，R.，功率集符号计算的SetPlayer系统，J.符号计算。，14, 645-662 (1992) ·Zbl 0768.68065号 [15] Berry，J.W.，用LINK改进离散数学和算法课程，SIGCSE公告（ACM计算机科学教育特别兴趣小组），29，14-20（1997） [16] Berry，J.W.，链接：一个用于图形和超图实验的软件系统，SIAM离散数学。时事通讯2，7（1997） [17] Berry，J.W。；N.院长。；Goldberg，M.K。；Shannon，G.E。；Skiena，S.，《用LINK绘制图形和操作》，《计算机课堂讲稿》。科学。，1353, 425-437 (1997) [18] Berry，J.W。；N.院长。；Goldberg，M.K。；Shannon，G.E。；Skiena，S.，LINK:图形计算系统，软件实践与经验（1999） [19] 布鲁斯特，T.L。；Dinneen，M.J。；Faber，V.，《涂鸦猜想的计算攻击：新反例和证明》，《离散数学》。，147, 35-55 (1994) ·Zbl 0838.05098号 [20] Brigham，R.C。；Dutton，R.D.，Ingrid:极值图理论研究的软件工具，Congr。数字。，39, 337-352 (1983) ·Zbl 0535.05001号 [21] Brigham，R.C。；Dutton，R.D.，《图不变量之间关系的汇编》，《网络》，第15期，第73-107页（1985年）·Zbl 0579.05059号 [22] Brigham，R.C。；Dutton，R.D.，《图不变量之间关系的汇编》，《网络》，21，补遗1，421-455（1991）·Zbl 0743.05057号 [23] Brigham，R.C。；杜顿，R.D。；Gomez，F.，INGRID：图形不变量操纵器，J.符号计算。，163-177年7月（1989年）·Zbl 0662.05017号 [24] Brinkmann，G.，三次图的快速生成，图论，23139-149（1996）·Zbl 0858.05093号 [25] Brinkmann，G.，《结构生成程序中的同构拒绝》，（Hansen，P.；Fowler，P.，Zheng，M.，《离散数学化学》，离散数学和理论计算机科学DIMACS系列，第51卷（2000年），AMS:AMS Providence，RI），25-38·Zbl 0963.05126号 [26] 布林克曼，G。；Dress，A.W.M，富勒烯的构造性计数，J.算法，23，345-358（1997） [27] CaGe公司。化学和抽象环境。可从主页获取：http://www.mathematik.uni-bielefeld.de/～CaGe/；CaGe公司。化学和抽象环境。可从主页获取：http://www.mathematik.uni-bielefeld.de/~CaGe公司/ [28] Capobianco，M。；Molluzzo，J.C.，图论中的例子和反例（1978），北荷兰：北荷兰纽约·Zbl 0369.05021号 [29] 卡波罗西，G。；Cvetkovic，D。；古特曼，I。；Hansen，P.，极值图的可变邻域搜索2。寻找具有极值能量的图，J.Chem。Inf.Comp.公司。科学。，39, 984-996 (1999) [30] 卡波罗西，G。；Dobrynin，A.A。；Hansen，P。；Gutman，I.，带回文Hosoya多项式的树，图论注释NY，37，10-16（1999） [31] P.W.Fowler，P.Hansen，G.Caporossi，A.Soncini，具有最大HOMO-LUMO间隙的多烯（极值图的可变邻域搜索7），化学。物理。莱特。342 (2001) 105-112; P.W.Fowler，P.Hansen，G.Caporossi，A.Soncini，具有最大HOMO-LUMO间隙的多烯（极值图的可变邻域搜索7），化学。物理。莱特。342 (2001) 105-112 [32] 卡波罗西，G。；古特曼，I。；Hansen，P.，极值图的可变邻域搜索4。具有极值连接性指数的化学树，计算。化学。，23, 469-477 (1999) [33] G.Caporossi，P.Hansen，极值图的可变邻域搜索5。自动查找猜想的三种方法，离散数学。（出庭）；G.Caporossi，P.Hansen，极值图的可变邻域搜索5。自动查找猜想的三种方法，离散数学。（出现）·Zbl 1031.05068号 [34] G.Caporossi，P.Hansen，《寻找多项式时间中的关系》，载《第十六届国际人工智能联合会议论文集》，第2卷，斯德哥尔摩，1999年；G.Caporossi，P.Hansen，《寻找多项式时间中的关系》，载《第十六届国际人工智能联合会议论文集》，第2卷，斯德哥尔摩，1999年 [35] 卡波罗西，G。；Hansen，P.，极值图的可变邻域1。系统AutoGraphiX，离散数学。，212, 29-44 (2000) ·Zbl 0947.90130号 [36] Carbonneaux，Y。；拉博德，J.-M；Madani，M.，Cabri-graphs:图论研究和教学的工具，（《计算机科学讲义》，第1027卷（1995年），施普林格：施普林格-柏林），123-127 [37] Chartrand，G。；Kronk，H.V。；Wall，C.E.，图的点荫度，Isr。数学杂志。，169-175年6月（1968年）·Zbl 0164.54201号 [38] Chinn，P.Z.，图论中的Disovery方法教学，离散数学。，55, 375-384 (1993) [39] Chung，F.，平均距离不大于独立数，《图论》，12229-235（1988）·Zbl 0644.05029号 [40] Chvátal，V.，最小无三角4-色4-正则图，J.Combin.理论，993-94（1970）·兹比尔0193.53101 [41] M.Conder，半自动定理证明。计算机对纯数学研究的影响，第一届亚洲数学技术会议，新加坡，1995年12月；M.Conder，半自动化定理证明。计算机对纯数学研究的影响，第一届亚洲数学技术会议，新加坡，1995年12月 [42] Conder，M.，5-弧传递三次图的无限族，Ars Combin.，25A，95-108（1988）·Zbl 0685.05024号 [43] Conder，M.，《令人惊讶的同构》，《J.代数》，129494-501（1990）·Zbl 0692.20020号 [44] Conder，M.，超立方体的无六边形子图，图论，17，477-479（1993）·Zbl 0780.05022号 [45] 康德，M。；Lorimer，P.，配价为3的对称图的自同构群，J.组合理论。B、 47、60-72（1989）·Zbl 0682.05036号 [46] Cook，R.J.，（Chartrand，G.；Alavi，Y.；Goldsmith，D.L.；Lesniak-Foster，L.；Lick，D.R.，《图的理论和应用》，第四届图的理论与应用国际会议论文集，（西密歇根大学，密歇根州卡拉马祖，1980年5月6日至9日）（1981年），威利：威利纽约），610·邮编：0459.00006 [47] Cvetković，D.，图的色数和谱，Publ。Inst.数学。（贝尔格莱德），第14、28、25-38页（1972年）·Zbl 0271.05111号 [48] Cvetković，D.，用计算机讨论图论，II：计算机提出的定理，Publ。Inst.数学。（贝尔格莱德），33，47，29-33（1983）·Zbl 0522.05068号 [49] Cvetković，D.，用计算机讨论图论，IV：知识组织和定理证明示例，（第四届南斯拉夫图论研讨会论文集，Novi Sad（1983）），43-68·Zbl 0533.05058号 [50] Cvetković，D.，用计算机讨论图论，VI：借助计算机证明的定理，Cl.Sci。数学。自然。，科学。数学。，T.XCVII，16，51-70（1988）·Zbl 0662.05058号 [51] Cvetković，D。；杜布，M。；古特曼，I。；Torgasev，A.，图谱理论的最新结果，Ann.离散数学。，36, 1-306 (1988) ·Zbl 0634.05054号 [52] Cvetković，D。；杜布，M。；Sachs，H.，《图形的光谱》（1995），约翰·安布罗修斯·巴思：约翰·安布罗西斯·巴思·海德堡·Zbl 0824.05046号 [53] Cvetković，D。；Kraus，L.，“图论”——用于图论领域知识分类和扩展的专家系统，用户手册（1983），Elektrotehn。假的：Elektrotehn。假贝尔格莱德 [54] Cvetković，D。；克劳斯，L。；Simić，S.，（《用计算机讨论图论》，I：图论算法的实现，塞尔马特·菲兹第716-734号（1981），贝格拉德大学出版社。埃利克特罗恩。传真：贝尔格莱德大学出版社。埃利克特罗恩。Fak Beograd），100-104 [55] Cvetković，D。；Pevac，I.，用计算机讨论图论III：人机定理证明，Publ。Inst.数学。（贝尔格莱德），34，48，37-47（1983）·Zbl 0568.05053号 [56] Cvetković，D。；Pevac，I.，图论中的人机定理证明，人工智能，35，1-23（1988）·Zbl 0646.68107号 [57] Cvetković，D。；Simić，S.，专家系统“Graph”支持下获得的图论结果，Cl.Sci。数学。自然。，科学。数学。，T.CVII，19，19-41（1994） [58] Cvetković，D。；西米奇，S。；卡波罗西，G。；Hansen，P.，极值图的可变邻域搜索3。关于色约束树的最大特征值，线性和多线性代数，2143-160（2001）·Zbl 1003.05058号 [59] N.院长。；Liu，Y.，《K-12教育的离散数学软件》（Franzblau，D.S.；Roberts，F.S.；Rosenstein，J.G.，《学校中的离散数学：产生影响》，《学校离散数学：影响》，DIMACS系列，第36卷（1997），AMS:AMS Providence，RI） [60] E.德拉维纳，格拉菲蒂猜想参考书目。可从以下位置获得http://cms.dt.uh.edu/faculty/delavinae/research/wowref.htm; E.德拉维纳，格拉菲蒂猜想参考书目。可从以下位置获得http://cms.dt.uh.edu/faculty/delavinae/research/wowref.htm [61] 迪巴蒂斯塔，G。；伊德斯，P。；R.塔马西亚。；Tollis，I.G.，《绘制图形的算法：注释书目》，《计算》。几何学：理论应用。，4, 5, 235-282 (1994) ·Zbl 0804.68001号 [62] 迪巴蒂斯塔，G。；伊德斯，P。；R.塔马西亚。；Tollis，I.G.，《图形绘制：图形可视化算法》（1999），Prentice Hall:Prentice Hall Englewood Cliffs，NJ·Zbl 1057.68653号 [63] 伊德斯，P。；Sugiyama，K.，如何绘制有向图？，J.通知。过程，13，4，424-434（1990）·Zbl 0764.68114号 [64] 爱德华兹，C.S。；Elphick，C.H.，图的团和色数的下界，离散应用。数学。，5, 51-64 (1983) ·Zbl 0535.05029号 [65] 爱泼斯坦，S.L.，《关于数学定理的发现》，（摘自：第十届国际人工智能联合会议论文集，意大利米兰（1987）），194-197年 [66] 爱泼斯坦，S.L.，《学习与发现：一个系统对数学知识的搜索》，计算。情报，442-53（1988） [67] 爱泼斯坦，S.L。；Sridharan，N.S.，《数学发现的知识表示：图论中的三个实验》，J.Appl。情报，1,7-33（1991）·Zbl 0768.68198号 [68] S.Fajtlowicz，《写在墙上》，定期更新文件，可从http://www.math.uh.edu/clarson/访问；S.Fajtlowicz，《写在墙上》，定期更新文件，可从http://www.math.uh.edu/clarson访问/ [69] Fajtlowicz，S.，《涂鸦II猜想》，国会。数字。，60, 187-197 (1987) ·Zbl 0713.05054号 [70] Fajtlowicz，S.，《涂鸦猜想》，离散数学。，72, 113-118 (1988) ·兹比尔0711.68081 [71] Fajtlowicz，S.，《涂鸦III猜想》，国会。数字。，66, 23-32 (1988) ·Zbl 0713.05055号 [72] Fajtlowicz，S.，《涂鸦IV猜想》，国会议员。数字。，70, 231-240 (1990) ·Zbl 0723.05112号 [73] Fajtlowicz，S.，《涂鸦的猜想-V》，（in：第七届国际图论四年期会议，第1卷（1995）），367-376·Zbl 0843.05065号 [74] Faradzev，I.A.，组合对象的构造性枚举，（Problèmes Combinatoires et Théorie des Graphes Colloque international CNRS 260（1978）），131-135·Zbl 0412.05006号 [75] Faradzev，I.A.，（具有给定度序列的非同构图的生成（俄语），瑙卡，莫斯科。具有给定度序列的非同构图的生成（俄语），瑙卡，莫斯科，组合数学中的算法研究（1978），11-19·Zbl 0469.05055号 [76] 法拉泽夫，I.A。；Klin，M.H.，相干组态计算的计算机软件包，（in：ISSAC-91会议录，波恩（1991），ACM出版社：纽约ACM出版社），219-223·兹比尔0925.20006 [77] Faradzev，I.A。；Klin，M.H。；Muzychuck，M.E.，图的元环和自同构群，（in：组合对象代数理论研究，Dordrecht。in：组合对象代数理论研究，Dordrecht，数学及其应用，第84卷（1994），Kluwer学术出版社：Kluwer学术出版社，Dordrecht），1-152·Zbl 0795.05073号 [78] O.Favaron。；Mahéo，M。；Saclé，J.-F，涂鸦猜想的一些结果。一、 阿尔斯·库姆，29，90-106（1990）·Zbl 0743.05061号 [79] O.Favaron。；Mahéo，M。；Saclé，J.-F，关于图的剩余，图论，15，39-64（1991）·Zbl 0751.05075号 [80] O.Favaron。；Mahéo，M。；Saclé，J.-F，图的一些特征值性质（涂鸦猜想II），离散。数学。，111, 197-220 (1993) ·Zbl 0785.05065号 [81] 菲奥里尼，S。；Wilson，R.J.，《关于图的色指数II》，（in：组合数学（Proc.British Combinatorial Conf.）（威尔士大学，Aberystwyth）。in：组合数学（Proc.British Combinatorial Conf.）（威尔士大学，Aberystwyth），伦敦数学学会讲座笔记系列，第13卷（1973，1974），剑桥大学出版社：剑桥大学出版社伦敦），37-51·Zbl 0297.05110号 [82] 弗里奇，M。；沃纳，M.，《交互式图形可视化系统的演示》，达芬奇（计算机科学讲稿，第894卷（1994年），施普林格：施普林格柏林），266-269 [83] 间隙。小组、算法和编程。可从主页获取：网址：//www。groups.dcs.st-andrews.ac.uk/gap/；间隙。小组、算法和编程。可从主页获取：网址：//www。groups.dcs.st-andrews.ac.uk/gap公司/ [84] 格雷戈里，C。；Latka，B.，《基础良好的准序中的最小反链及其在锦标赛中的应用》，J.Combin。B、 80、258-276（2000）·Zbl 1025.06001号 [85] 格兰德，R。；Kerber，A。；劳厄，R.，MOLGEN:ein Computeralgebra-System füR die Konstruktion molekularer-Graphen，Commun。数学。《化学竞赛》，27，87-131（1992）·Zbl 0770.92025号 [86] Gutman，I.，《苯系烃的总π电子能》，当前专题。化学。，162, 29-63 (1992) [87] 古特曼，I。；Cyvin，S.，《苯系烃理论导论》（1989年），施普林格出版社：柏林施普林格·Zbl 0722.05056号 [88] 古特曼，I。；Hou，Y.，能量最大的二部单圈图，Commun。数学。公司。化学。，43, 17-28 (2001) ·Zbl 1029.05100号 [89] P.Hansen，H.Mélot，极值图的可变邻域搜索6。分析连接性指数的界限，J.Chem。通知。计算。科学。（出现）；P.Hansen，H.Mélot，极值图的可变邻域搜索6。连接性指数的分析界限，J.Chem。通知。计算。科学。（出现） [90] P.Hansen，H.Mélot，D.Stevanović，积分完全分裂图，Les Cahiers du GERAD，G-01-43，已提交；P.Hansen，H.Mélot，D.Stevanović，积分完全分裂图，Les Cahiers du GERAD，G-01-43，提交 [91] Hansen，P。；Mladenović，N.，《可变邻域搜索：原理和应用》，欧洲期刊Oper。决议，130，449-467（2001）·Zbl 0981.90063号 [92] Hansen，P。；Zheng，M.L.，图的阶、大小和稳定数的Sharp界，网络，2399-102（1993）·Zbl 0781.05030号 [93] Harary，F。；Palmer，E.M.，《图形枚举》（1973），学术出版社：纽约学术出版社·Zbl 0266.05108号 [94] Himsolt，M.，GraphEd:图形算法实现的图形平台，（计算机科学讲义，第894卷（1994），Springer:Springer-Berlin），182-193 [95] Himsolt，M.，The graphlet system，（North，S.，Graph Drawing.Graph Drafting，计算机科学讲稿，第1190卷（1996），Springer:Springer Berlin），233-240 [96] Knuth，D.，《斯坦福图形库：组合计算平台》（The Stanford Graphbase：A Platform for Combinatorial Computing）（1993年），艾迪森·韦斯利：艾迪生·韦斯利阅读，马萨诸塞州·Zbl 0806.68121号 [97] Latka，B.，齐次有向图的有限约束类，J.符号逻辑，59，1，124-139（1994）·Zbl 0795.03043号 [98] Lee，L.-Q；Siek，J.G。；Lumsdaine，A.，通用图形组件库，ACM SIGPLAN通知，34，399-414（1999） [99] Lick，D.R.，一类点划分数，（in：图论的最新趋势（Proc.Conf.New York 1970）。in：《图论的最新趋势》（Proc.Conf.New York 1970），数学课堂讲稿，第186卷（1971），施普林格：施普林格-柏林），185-190·Zbl 0213.50705号 [100] Lovász，L.，《组合问题和练习》（1979年），北荷兰人：北荷兰纽约·Zbl 0439.05001号 [101] Lovász，L。；Pelikan，J.，关于树的特征值，周期。数学。匈牙利。，175-182年3月（1973年）·Zbl 0247.05108号 [102] MathWorks公司Matlab:技术计算语言；MathWorks公司Matlab:技术计算语言 [103] B.D.McKay，Nauty用户指南（1.5版）。技术报告。TR-CS-90-02，澳大利亚国立大学计算机科学系，1990年；B.D.McKay，Nauty用户指南（1.5版）。技术报告。TR-CS-90-02，澳大利亚国立大学计算机科学系，1990年 [104] McKay，B.D.，无同构穷举生成，J.Algorithms，26，306-324（1998）·Zbl 0894.68107号 [105] Mehlhorn，K。；Nähger，S.，Leda：组合和几何计算平台，Commun。ACM，38，1，96-102（1995） [106] M.Mevenkamp，N.Dean，C.Monma，NETPAD用户指南和参考指南，Bellcore，1990年；M.Mevenkamp，N.Dean，C.Monma，NETPAD用户指南和参考指南，Bellcore，1990 [107] Newberry，P.F.，《可扩展图编辑器的设计》（《计算机科学讲义》，第704卷（1993年），施普林格出版社：施普林格柏林）·Zbl 0785.68090号 [108] Piwakowski，K。；Radziszowski，S.P。；乌尔班斯基，S.，福克曼数的计算（F_e（3,3；5）），图论杂志，32，41-49（1999）·Zbl 0935.05041号 [109] 波利亚，G。；里德，R.C。；组合，R.C.，《群的计数》（1987），施普林格：施普林格柏林 [110] Praeger，C.E。；Soicher，L.H.，零星群的低秩表示和图，（澳大利亚数学学会系列讲座，第8卷（1997），剑桥大学出版社：剑桥大学出版社）·Zbl 0860.20014号 [111] F.Pujol，Etude de suggestures en the theéorie des grapes。P.Hansen指导下的实习报告（GERAD），1998年；F.Pujol，Etude de suggestures en the theéorie des grapes。P.Hansen（GERAD）指导下的实习报告，1998年 [112] Radosavljević，Z。；Simić，S.，仅有13个具有最大顶点度4的连通非正则非二部积分图，（Tosić，R.；Acketa，D.；Petrović，V.，《图论》，第六届南斯拉夫图论研讨会论文集，杜布罗夫尼克，1985年4月18日至19日（1987），诺维萨德大学，数学研究所：诺维萨得大学，诺维萨德数学研究所），183-187·Zbl 0613.05027号 [113] Radosavljević，Z。；Simić，S.，最大度为四的非正则非二部积分图，J.Comb。信息系统。科学。，20, 1-4, 9-26 (1995) ·Zbl 0872.05037号 [114] Radziszowski，S.P.，小拉姆齐数。动态调查1，Electr。J.Combina.（1994），1998年更新 [115] Randić，M.，《分子分支的表征》，《美国化学杂志》。Soc.，97，6609-6615（1975） [116] 读，R.C.，每个人都是赢家，安。离散数学。，2, 107-120 (1978) ·Zbl 0392.05001号 [117] Read，R.C.，《计算机在图论中的一些应用》，（Beineke，L.W.；Wilson，R.J.，《图论专题选集》（1978），学术出版社：纽约伦敦学术出版社，417-444·Zbl 0089.18301号 [118] 罗伯逊，N。；桑德斯，D。；西摩，P。；托马斯，R.，四色定理，J.组合理论。B、 70，2-44（1997年）·兹伯利0883.05056 [119] Rowlinson，P.，关于某些外平面图的索引，Ars Combin，29C，271-275（1990） [120] Sander，G.，《通过VCG工具进行图形布局》（计算机科学讲义，第894卷（1994），Springer Verlag），194-205年 [121] G.Shannon，L.Meeden，D.Friedman，SchemeGraph:用于操作图形的面向对象环境，软件和文档，1990年；G.Shannon，L.Meeden，D.Friedman，SchemeGraph:用于操作图形的面向对象环境，软件和文档，1990年 [122] Simić，S.，关于单圈图的最大特征值，Publ。Inst.数学。（贝尔格莱德），42，56，13-19（1987）·Zbl 0641.05040号 [123] Simić，S.，关于图的最大特征值的一些结果，Ars Combin，24A，211-219（1987）·Zbl 0671.05051号 [124] Skiena，S.，《实现离散数学：组合数学和图论与数学》（1990），Addison-Wesley：Addison-Whesley Reading，MA·Zbl 0786.05004号 [125] Soicher，L.H.，《GRAPE:用图和群进行计算的系统》，（Finkelstein，L.；Kantor，W.M.，《群和计算》，《群与计算》，离散数学和理论计算机科学DIMACS系列，第11卷（1993），AMS:AMS纽约），287-291·兹比尔08303.05071 [126] Soicher，L.H.，《三种新的距离规则图》，《欧洲联合杂志》，第14期，第501-505页（1993年）·Zbl 0794.05135号 [127] Stanley，R.P.，带（e）边图的谱半径的界，线性代数应用。，87, 267-269 (1987) ·Zbl 0617.05045号 [128] D.Stevanović，图和积分图的一些构成（塞尔维亚语），尼什大学博士论文，2000年；D.Stevanović，图和积分图的一些构成（塞尔维亚语），尼什大学博士论文，2000年 [129] 织女星。操作离散数学结构的系统，可从Project Homepage:网址：http://vega.ijp.si/; 织女星。操作离散数学结构的系统，可从Project Homepage:网址：http://vega.ijp.si/ [130] Wolfram，Research Inc.Mathematica Language and Software，Wolfram Research Inc；Wolfram，Research Inc.数学语言和软件，Wolfram Research Inc 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。