在图论中，完全图是一个简单的无向图，其中每一对不同的顶点都只有一条边相连。完全有向图是一个有向图，其中每一对不同的顶点都只有一对边相连（每个方向各一个）。

图论起源于欧拉在1736年解决七桥问题上做的工作，但是通过将顶点放在正多边形上来绘制完全图的尝试，早在13世纪拉蒙·柳利
的工作中就出现了。这种画法有时被称作**神秘玫瑰**。

性质
--

在n个顶点上的完全图被记作{\displaystyle K\_{n}}，有些文献认为这个记号中的字母K代表德文 *komplett*, 但是完全图的德文*vollständiger Graph*,并没有字母K，其他文献认为这个记号是为了纪念卡齐米日·库拉托夫斯基对图论的贡献。

{\displaystyle K\_{n}}有n(n-1)/2条边，并且是n-1正则图。所有的完全图都是它们本身的极大团。它们是极大连通的，因为唯一的**割点集(vertex cut)**是所有顶点的集合。完全图的补图是空图(empty graph)。

完全图的每一条边都被附上了定向之后形成的有向图被称作轮转(tournament)。

{\displaystyle K\_{n}}可以被分解成n个树{\displaystyle T\_{i}}，且{\displaystyle T\_{i}}有i个顶点。 Ringel猜想可以被表述为：完全图{\displaystyle K\_{2n+1}}能否被分解成一些完全相同的n阶树。 对于足够大的n，这个结论是成立的。

完全图的匹配数按照它们的阶数排列，由telephone numbers给出： 1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, 35696, 140152, 568504, 2390480, 10349536, 46206736, ... （OEIS數列A000085）。这些数字给出了在n阶图上Hosoya指数（英语：）的最大可能值。 在{\displaystyle K\_{n}}上的完美匹配(perfect matching)的个数为(n-1)!!。
对于阶数小于等于27阶的完全图来说，它们的交叉数是已知的，{\displaystyle K\_{28}}的交叉数是7233或者7234。阶数更大的交叉数由Rectilinear Crossing Number project在收集。{\displaystyle K\_{n}}的Rectilinear交叉数为：0, 0, 0, 0, 1, 3, 9, 19, 36, 62, 102, 153, 229, 324, 447, 603, 798, 1029, 1318, 1657, 2055, 2528, 3077, 3699, 4430, 5250, 6180, ... （OEIS數列A014540）。

几何和拓扑
-----

n阶完全图可以代表(n-1)-单纯形。几何上，{\displaystyle K\_{3}}构成了三角形，{\displaystyle K\_{4}}构成了四面体，依次类推。Császár polyhedron, 一个非凸的和环面同胚的多边形，可以由{\displaystyle K\_{7}}作为它的骨架skeleton。

{\displaystyle K\_{1}}到{\displaystyle K\_{4}}都是平面图，然而当{\displaystyle n\geqslant 5}时，在平面上绘制{\displaystyle K\_{n}}时总是会有交叉，另外，非平面图{\displaystyle K\_{5}}在刻画平面图的性质时起着重要的作用：根据Kuratowski's theorem，当且仅当一个图不包含{\displaystyle K\_{5}},以及完全二分图K\_{{3,3}}作为它的一部分时，这个图是平面图。根据Wagner's theorem，当且仅当一个图不包含{\displaystyle K\_{5}},以及完全二分图K\_{{3,3}}作为它的图子式时，这个图是平面图。
作为Petersen family的一部分, {\displaystyle K\_{6}}起到了一个了类似的作用，为了保证一个图的linkless embedding,它不能作为这个图的图子式出现。 更精确地说，Conway和Gordon 证明了每一个{\displaystyle K\_{6}}在3维空间中的嵌入都是intrinsically linked 的，且至少有一对linked的三角形。Conway和Gordon还证明了 任意{\displaystyle K\_{7}}在3维空间中的嵌入都包含了一个作为一个非平凡的扭结嵌入在空间里的哈密顿环。

例子
--

| *K*1: 0 | *K*2: 1 | *K*3: 3 | *K*4: 6 |
| --- | --- | --- | --- |
|  |  |  |  |
| *K*5: 10 | *K*6: 15 | *K*7: 21 | *K*8: 28 |
|  |  |  |  |
| *K*9: 36 | *K*10: 45 | *K*11: 55 | *K*12: 66 |
|  |  |  |  |

另见
--

* Fully connected network：全连接网络
* 完全二分图，一种特殊的二分图，其中每个节点都和另一个部分的所有节点相连。

参考文献
----

1. ↑  Knuth, Donald E. Wilson, Robin; Watkins, John J. (编), Oxford University Press: 7–37, 2013  [2020-10-04], ISBN 978-0191630620, （原始内容存档于2020-07-29） .
2. ↑  Gries, David; Schneider, Fred B. Springer-Verlag: 436, 1993  [2020-10-04], ISBN 0387941150, （原始内容存档于2014-01-02） .
3. ↑  Pirnot, Thomas L. Addison Wesley: 154, 2000, ISBN 9780201308150 .
4. ↑  Joos, Felix; Kim, Jaehoon; Kühn, Daniela; Osthus, Deryk.  (PDF). Journal of the European Mathematical Society. 2019-08-05, **21** (12): 3573–3647  [2020-10-04]. ISSN 1435-9855. doi:10.4171/JEMS/909. （原始内容存档 (PDF)于2020-03-09） （英语）.
5. ↑  Ringel, G.. Proceedings of the Symposium Smolenice. 1963.
6. ↑  Montgomery, Richard; Pokrovskiy, Alexey; Sudakov, Benny.. 2020-01-08. arXiv:2001.02665 可免费查阅 [math.CO].
7. ↑  Hartnett, Kevin.. Quanta Magazine.  [2020-02-20]. （原始内容存档于2020-02-20） （英语）.
8. ↑  Tichy, Robert F.; Wagner, Stephan,  (PDF), Journal of Computational Biology, 2005, **12** (7): 1004–1013  [2020-10-04], PMID 16201918, doi:10.1089/cmb.2005.12.1004, （原始内容存档 (PDF)于2017-09-21） .
9. ↑  Oswin Aichholzer..  [2020-10-04]. （原始内容存档于2007-04-30）.
10. ↑  Robertson, Neil; Seymour, P. D.; Thomas, Robin, Bulletin of the American Mathematical Society, 1993, **28** (1): 84–89, MR 1164063, arXiv:math/9301216 可免费查阅, doi:10.1090/S0273-0979-1993-00335-5 .
11. ↑  Conway, J. H.; Cameron Gordon.. J. Graph Th. 1983, **7** (4): 445–453. doi:10.1002/jgt.3190070410.

外部链接
----

|  |  |
| --- | --- |
|  | 维基共享资源中相关的多媒体资源：**完全圖** |

* 埃里克·韦斯坦因.. MathWorld.

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
图论 |
| --- |
|  |
| 图 | 

|  |  |
| --- | --- |
| 種類 | 
* 有向图
* 无向图
* 有向无环图
* 二分图
* 多分圖
* 连通图
* 完全图
* 圖標號
* 超图
* 多重图
* 平面图
* 伪图
* 正则图
* 树
* 赋权图
* 轮图
* 線圖

 |
|  |
| 結構 | 
* 节点
* 边
* 回路
* 自環
* 弦
* 環
* 桥
* 子图
* 團
* 補圖

 |
|  |
| 属性 | 
* 边连通
* 围长
* 重数
* 階
* 尺寸
* 顶点连通
* 圖不變量

 |
|  |
| 二元運算 | 
* 圖乘積
* 圖運算

 |
|  |
| 映射、關係 | 
* 圖同態
* 圖同構
* 圖同胚
* 圖子式

 |

 |
|  |
| 定理 | 

|  |  |
| --- | --- |
| 染色 | 
* 四色
* 布鲁克斯

 |
|  |
| 平面性 | 
* 库拉托夫斯基
* 交叉數不等式

 |
|  |
| 極值（英语：） | 
* 圖蘭
* 艾狄胥-斯通
* 霍爾

 |

 |

 |