图论




一个由6个顶点和7条边组成的图


图论（英语：Graph theory）是组合数学的一个分支，和其他数学分支，如群论、矩阵论、拓扑学有着密切关系。图是图论的主要研究对象。图是由若干给定的顶点及连接两顶点的边所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物，连接两顶点的边则用于表示两个事物间具有这种关系。


图论起源于著名的柯尼斯堡七桥问题。该问题于1736年被欧拉解决，因此普遍认为欧拉是图论的创始人。[1]


图论的研究对象相当于一维的单纯复形[2]。




目录





  • 1 历史


  • 2 图论问题

    • 2.1 图的计数


    • 2.2 子图相关问题


    • 2.3 染色


    • 2.4 路径问题


    • 2.5 网络流与匹配


    • 2.6 覆盖问题



  • 3 重要的算法


  • 4 参见


  • 5 注释


  • 6 參考文獻


  • 7 外部連結

    • 7.1 線上圖書資料


    • 7.2 其他相關資料





历史




柯尼斯堡七桥问题


一般认为，欧拉于1736年出版的关于柯尼斯堡七桥问题的论文是图论领域的第一篇文章[3]。此问题被推广为著名的欧拉路问题，亦即一笔画问题。而此论文与范德蒙德（英语：Alexandre-Théophile Vandermonde）的一篇关于骑士周游问题的文章，则是继承了莱布尼茨提出的“位置分析”的方法。欧拉提出的关于凸多边形顶点数、棱数及面数之间的关系的欧拉公式与图论有密切联系，此后又被柯西等人[4][5]进一步研究推广，成了拓扑学的起源。1857年，哈密顿发明了“環遊世界遊戲（英语：icosian game）”（icosian game），与此相关的则是另一个广为人知的图论问题“哈密顿路径问题”。


西尔维斯特于1878年发表在《自然》上的一篇论文中首次提出“图”这一名词[6]。


欧拉的论文发表后一个多世纪，凯莱研究了在微分学中出现的一种数学分析的特殊形式，而这最终将他引向对一种特殊的被称为“树”的图的研究。由于有机化学中有许多树状结构的分子，这些研究对于理论化学有着重要意义，尤其是其中关于具有某一特定性质的图的计数问题。除凯莱的成果外，波利亚也于1935至1937年发表了一些成果，1959年，De Bruijn（英语：Nicolaas Govert de Bruijn）做了一些推广。这些研究成果奠定了图的计数理论的基础。凯莱将他关于树的研究成果与当时有关化合物的研究联系起来，而图论中有一部分术语正是来源于这种将数学与化学相联系的做法。


四色问题可谓是图论研究史上最著名也是产生成果最多的问题之一：“是否任何一幅画在平面上的地图都可以用四种颜色染色，使得任意两个相邻的区域不同色？”这一问题由Francis Guthrie（英语：Francis Guthrie）于1852年提出，而最早的文字记载则出现在德摩根于1852年写给哈密顿的一封信上。包括凯莱、肯普（英语：Alfred Kempe）等在内的许多人都曾给出过错误的证明。泰特（英语：Peter Guthrie Tait）（Peter Guthrie Tait）、希伍德（Percy John Heawood）、拉姆齐和Hadwige（英语：Hugo Hadwiger）（Hugo Hadwiger）对此问题的研究与推广引发了对嵌入具有不同亏格的曲面的图的着色问题的研究。一百多年后，四色问题仍未解决。1969年，Heinrich Heesch（英语：Heinrich Heesch）发表了一个用计算机解决此问题的方法。1976年，阿佩尔（Kenneth Appel）和沃夫冈·哈肯（Wolfgang Haken）借助计算机给出了一个证明，此方法按某些性质将所有地图分为1936类并利用计算机一一验证了它们可以用四种颜色染色。但此方法由于过于复杂，在当时未被广泛接受。


1860年之1930年间，若当、库拉托夫斯基和惠特尼从之前独立于图论发展的拓扑学中吸取大量内容进入图论，而现代代数方法的使用更让图论与拓扑走上共同发展的道路。其中应用代数较早者如物理学家基尔霍夫于1845年发表的基尔霍夫电路定律。


图论中概率方法的引入，尤其是埃尔德什和Alfréd Rényi（英语：Alfréd Rényi）关于随机图连通的渐进概率的研究使得图论产生了新的分支随机图论。



图论问题



图的计数



子图相关问题


子图同构问题：给定两个图Gdisplaystyle GG和Hdisplaystyle Hdisplaystyle H，问Gdisplaystyle GG中是否存在一个子图与Hdisplaystyle Hdisplaystyle H同構。这是一个NP完全问题。



  • 哈密顿回路问题可视为一个子图同构问题，即给定一个ndisplaystyle nn个顶点的图，问是否存在一个子图与具有ndisplaystyle nn个顶点的圈同构。

一类相关的常见问题要求在给定图中寻找符合某些条件的最大子图，其中有很多是NP完全的，如：



  • 最大团问题：在给定图中寻找最大的团（NP完全）。

类似地，有些问题要求寻找符合某些条件的最大导出子图，如：



  • 最大独立集问题：在给定图中寻找最大的无边的导出子图，亦即独立集（NP完全）。

平面图判定：判定给定的图是否是平面图（此问题与子图的关系，参见库拉托夫斯基定理）


一个尚未解决的与子图相关的猜想，重构猜想（Reconstruction conjecture）：一个n阶图是否能够由其所有n-1阶导出子图唯一确定？



染色



  • 点色数（Chromatic number）


  • 边色数（Chromatic index）

  • 色多项式

许多问题与将图以特定方式染色有关，如：


  • 四色问题


  • 完美图问题（strong perfect graph theorem）

  • 列表染色问题，列表边染色问题

  • 曲面染色


路径问题


  • 柯尼斯堡七桥问题

  • 哈密顿回路问题

  • 最小生成树问题

  • 中国邮路问题

  • 最短路问题

  • 斯坦纳树


  • 旅行商问题（NP困难）


网络流与匹配



  • 最大流问题，最小割问题，最大流最小割定理

  • 最小费用最大流问题


  • 二分图及任意图上的最大匹配

  • 带权二分图的最大权匹配


覆盖问题


  • 最大团

  • 最大独立集

  • 最小覆盖集

  • 最小支配集


重要的算法



  • 戴克斯特拉算法(D.A)


  • 克鲁斯卡尔算法(K.A)


  • 普里姆算法(P.A)


  • 拓扑排序演算法(TSA)


  • 關鍵路徑演算法(CPA)


  • 广度优先搜索算法(BFS)


  • 深度优先搜索算法(DFS)


参见



  • 组合数学

  • 三間小屋問題‎‎


注释




  1. ^ 卜月华; 吴建专; 顾国华; 殷翔, 《图论及其应用》 第一版, 东南大学出版社: 1-2, 2007 


  2. ^ Alexander Grigor’yan, Yuri Muranov, Shing-Tung Yau, Graphs associated with simplicial complexes (PDF), 2012年9月 [2018-05-24] 


  3. ^ Biggs, N.; Lloyd, E.; Wilson, R., Graph Theory, 1736–1936, Oxford University Press, 1986 


  4. ^ Cauchy, A. L., Recherche sur les polyèdres - premier mémoire, Journal de l'École polytechnique, 1813,, 9 (Cahier 16): 66–86. 


  5. ^ L'Huillier, S.-A.-J., Mémoire sur la polyèdrométrie, Annales de Mathématiques, 1812–1813, 3: 169–189. 


  6. ^ Sylvester, James Joseph. Chemistry and Algebra. Nature. 1878, 17: 284. doi:10.1038/017284a0. 



參考文獻


.mw-parser-output .refbeginfont-size:90%;margin-bottom:0.5em.mw-parser-output .refbegin-hanging-indents>ullist-style-type:none;margin-left:0.mw-parser-output .refbegin-hanging-indents>ul>li,.mw-parser-output .refbegin-hanging-indents>dl>ddmargin-left:0;padding-left:3.2em;text-indent:-3.2em;list-style:none.mw-parser-output .refbegin-100font-size:100%


  • Berge, Claude, Théorie des graphes et ses applications, Collection Universitaire de Mathématiques II, Paris: Dunod, 1958 . English edition, Wiley 1961; Methuen & Co, New York 1962; Russian, Moscow 1961; Spanish, Mexico 1962; Roumanian, Bucharest 1969; Chinese, Shanghai 1963; Second printing of the 1962 first English edition, Dover, New York 2001.


  • Biggs, N.; Lloyd, E.; Wilson, R., Graph Theory, 1736–1936, Oxford University Press, 1986 .


  • Bondy, J.A.; Murty, U.S.R., Graph Theory, Springer, 2008, ISBN 978-1-84628-969-9 .


  • Bondy, Riordan, O.M, Mathematical results on scale-free random graphs in "Handbook of Graphs and Networks" (S. Bornholdt and H.G. Schuster (eds)), Wiley VCH, Weinheim, 1st ed., 2003 .


  • Chartrand, Gary, Introductory Graph Theory, Dover, 1985, ISBN 0-486-24775-9 .


  • Gibbons, Alan, Algorithmic Graph Theory, Cambridge University Press, 1985 .


  • Reuven Cohen, Shlomo Havlin, Complex Networks: Structure, Robustness and Function, Cambridge University Press, 2010 


  • Golumbic, Martin, Algorithmic Graph Theory and Perfect Graphs, Academic Press, 1980 .


  • Harary, Frank, Graph Theory, Reading, MA: Addison-Wesley, 1969 .


  • Harary, Frank; Palmer, Edgar M., Graphical Enumeration, New York, NY: Academic Press, 1973 .


  • Mahadev, N.V.R.; Peled, Uri N., Threshold Graphs and Related Topics, North-Holland, 1995 .


  • Mark Newman, Networks: An Introduction, Oxford University Press, 2010 .



外部連結



線上圖書資料



  • Graph Theory with Applications (1976) by Bondy and Murty


  • Phase Transitions in Combinatorial Optimization Problems, Section 3: Introduction to Graphs (2006) by Hartmann and Weigt


  • Digraphs: Theory Algorithms and Applications 2007 by Jorgen Bang-Jensen and Gregory Gutin

  • Graph Theory, by Reinhard Diestel


其他相關資料



  • Hazewinkel, Michiel (编), Graph theory, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 

  • Graph theory tutorial

  • A searchable database of small connected graphs

  • Image gallery: graphs

  • Concise, annotated list of graph theory resources for researchers


  • rocs — a graph theory IDE

  • Graph Theory Software



  • 查

  • 论

  • 编


图论术语

图








種類

  • 有向图

  • 无向图

  • 有向无环图

  • 二分图

  • 多分圖

  • 连通图

  • 完全图

  • 标定图

  • 超图

  • 多重图

  • 平面图

  • 伪图

  • 正则图

  • 树

  • 赋权图

  • 轮图

  • 線圖

    • 結構

    • 节点

    • 顶点

    • 边

    • 有向边

    • 加权边

    • 回路

    • 弦

    • 環

    • 桥

    • 子图

    • 團

    • 補圖

    属性

    • 边连通

    • 围长

    • 重数

    • 阶

    • 尺寸

    • 顶点连通









    • 查

    • 论

    • 编


    数学领域

    注释：数学的领域也可根据“MSC分类标准”或“中国学科分类国家标准”进行分类。
    领域

    • 数理逻辑

    • 集合论

    • 范畴论


    • 代数
      • 初等

      • 线性

      • 多重线性

      • 抽象


    • 数论


    • 分析/微积分学


    • 微分方程/动态系统

    • 数学物理

    • 数理统计


    • 几何
      • 离散

      • 代数

      • 解析

      • 微分

      • 有限


    • 拓扑

    • 动力系统

    • 组合

    • 泛函分析

    • 博弈论

    • 信息论

    • 图论

    • 数学教育

    • 数理逻辑

    • 数学物理

    • 数值分析

    • 最优化

    • 序理论

    • 数学哲学

    • 娛樂數學

    • 计算

    • 概率

    • 表示

    • 统计

    • 三角

    分支

    • 纯粹数学

    • 应用数学

    • 离散数学

    • 计算数学

    • 元数学



    • 分类分类


    • 主题主题


    • 共享资源页面共享资源


    • 专题专题



    规范控制

    • GND: 4113782-6

    • LCCN: sh85056471

    • NDL: 00562641


    -

    Popular posts from this blog

    【情報】本週珍珠商品重點：煉金時裝 + 艾港勞工宿舍！！

    Image
    (function(w,d,s,l,i))(window,document,'script','dataLayer','GTM-KDKMGT'); (function(d, s, id) var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/zh_TW/all.js#xfbml=1&appId=668497826514848"; fjs.parentNode.insertBefore(js, fjs); (document, 'script', 'facebook-jssdk')); var hotKeywords = ["u4e16u754cu738b","u4ebau53c3","u4ebau8518","u99ac","u65b0u624b","u8cbfu6613","u885du88dd","u8077u696d","u91e3u9b5a","u5de1u6797u8005","u6c34u6676","u5de1u6797","u758au5c64","u5361u666e","u6d77u602a"]; var useOldSearch = 0; var googlecseLoad = function() var cx = '001994533065495648396:c3salsx3fty'; var gcse = document.createElement('script'); gcse.type = 'text/javascript'; gcse.asyn
    Read more

    京昆高速公路

    Image
    坐标： 35°01′30″N 109°57′59″E  /  35.0249599°N 109.9665°E  / 35.0249599; 109.9665 国家高速G5 北京－昆明高速公路 路線簡稱 京昆高速 起點 北京 終點 云南昆明 建设规划 規劃總里程 2716公里 参见 中华人民共和国高速公路 中国国家高速公路网 北京－昆明高速公路 ，简称 京昆高速 （中国国家高速公路网编号 G5 ），北起北京，南抵云南昆明，途经北京、河北、山西、陕西、四川、云南6省市区，贯穿南北东西，全长约2716公里。 [1] 途经主要地区有北京－保定－石家庄－阳泉－太原－晋中－临汾－运城－渭南－西安－汉中－广元－绵阳－德阳－成都－雅安－凉山州－攀枝花－楚雄州－昆明。 目录 1 路段 2 各省过境节点与过境里程 3 沿线出入口及服务区 4 来源 5 参见 路段 中华人民共和国交通运输部已启动全国高速公路统一命名和编号工作，纳入国道主干线的高速公路将逐步使用新名称替换旧名称，下面列出其具体走向的旧名，以资参考。 北京段：全通。 河北段：京界—石家庄曲阳桥段已通，曲阳桥—山西段石太二通道已通。 山西段：全通。 陕西段：全通。 四川段：全通。 云南段：全通。 各省过境节点与过境里程 京昆高速公路过境里程 （公里） [2] 省级行政区 过境里程数 起点 起点里程数 终点（省界点） 终点里程数 北京 60 北京 0 京冀界 60 河北 274.766 冀京界 60 井陉（冀晋界） 334.766 山西 503.458 旧关（晋冀界） 335 禹门口（晋陕界） 838.458 陕西 624.451 禹门口（陕晋界） 839 棋盘关（陕川界） 1463.451 四川 1038.205 棋盘关（川陕界） 1464 永仁方山（川滇界） 2502.205 云南 213 四川田房（滇川界） 2503 昆明 2716 途径省份 里程 起点地名 终点地名 北京 40.000 北京 京冀界 河北 30.000 冀京界 涞水 135.566 涞水 保定石家庄交界 61.200 保定石家庄交界 鹿泉 48.000 鹿泉 井陉(冀晋界) 山西 141.460 旧关(晋冀界) 武宿(东山枢纽) 16.000 武宿(东山枢纽) 罗城(枢纽) 33.165 罗城(枢纽) 夏家营(义望枢纽) 23
    Read more

    【攻略】陳戈-謝勒汗智慧的古書 (完成)

    Image
    (function(w,d,s,l,i);w[l].push('gtm.start': new Date().getTime(),event:'gtm.js');var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= '//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); )(window,document,'script','dataLayer','GTM-KDKMGT'); (function(d, s, id) var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js.id = id; js.src = "//connect.facebook.net/zh_TW/all.js#xfbml=1&appId=668497826514848"; fjs.parentNode.insertBefore(js, fjs); (document, 'script', 'facebook-jssdk')); var hotKeywords = ["u4e16u754cu738b","u4ebau53c3","u99ac","u4ebau8518","u65b0u624b","u885du88dd","u8cbfu6613","u5de1u6797u8005","u8077u696d","u5de1u6797","u91e3u9b5a","
    Read more