|
|
顶点覆盖
让 是有限集子集的集合 . 子集 属于 满足每个成员的 被称为顶点覆盖，或者命中集合。
图的顶点覆盖 也可以简单地认为是一套 顶点的 这样的每一个边缘 至少有一个成员 作为端点。顶点集因此，一个图总是一个顶点覆盖。给定图的最小可能顶点覆盖 被称为最小顶点覆盖（SkIENA 1990，P 218），其大小称为顶点覆盖数，表示 . 顶点覆盖，用红色着色表示，上面显示了一些图。在一个完成K-部分图顶点覆盖至少包含顶点 阶段。
一组顶点是顶点覆盖。敌我识别它的补语构成了一个独立顶点集（SKIENA 1990，P 218）。图中顶点覆盖和独立顶点集的计数是相同的。
一个具有给定图的最小可能顶点数的顶点覆盖称为最小顶点覆盖. 一最小顶点覆盖图中可以找到沃尔夫拉姆语言使用查找文本覆盖[G]
图表可以在钨语言查看它是否是给定图的顶点覆盖顶点覆盖[G·对于许多命名图，可以预先计算顶点覆盖。图形数据[图表，“顶点覆盖”]
图的一些族的顶点覆盖计数总结在下表中。
| 图族 | 奥伊斯 | 顶点覆盖数 | 反棱镜图为 | 亿万 | x，x，10, 21, 46，98, 211, 453，973, 2090，… |  毕肖普图 | A201862 | x，9, 70, 729，9918, 167281，… |  黑Bishop图 | 亿万 | x，x，x，27, 114, 409，2066，… |  -折叠立方体图 | 亿万 | x，3, 5, 31，393，… | 栅格图  为 | A000 6506 | x，7, 63, 1234，55447, 5598861，… | 栅格图  为 | 亿万 | x，35, 70633，… |  -半立方立方体图 | 亿万 | 2, 3, 5，13, 57，… |  -河内图 | 亿万 | 4、52, 108144、… | 超立方体图  | A027 624 | 3, 7, 35，743, 254475, 19768832143，… |  金氏图 | A06334 | x，5, 35, 314，6427，… |  奈特图 | A141243 | x，16, 94, 1365，55213，… |  -米比乌斯梯 | A182143 | x，x，15, 33, 83，197, 479, 1153，2787，… |  -Mycelelks-图 | 亿万 | 2, 3, 11，103, 7407，… | 奇数图  | 亿万 | 2, 4, 76，… | 棱镜图  为 | A051927 | x，x，13, 35, 81，199, 477, 1155，2785，… |  皇后图 | 亿万 | 2、5, 18, 87、462、… |  罗克图 | A000 720 | 2, 7, 34，209, 1546, 13327，130922，… |  -Sielpi-Ski-筛图 | 亿万 | 4, 14, 440，… |  -三角图 | 亿万 | x，2, 4, 10，26, 76, 232，764，… |  -网络图为 | 亿万 | x，x，68, 304, 1232，5168, 21408，… |  怀特毕肖普图 | 亿万 | x，x，x，27, 87, 409，1657，… |
图中的许多族都有简单的封闭形式来计算顶点覆盖，如下表所示。在这里， 是一个斐波那契数， 是一个卢卡斯数， 是一个拉盖尔多项式， 是黄金比率和 ， ， 根是 .
|
|
![2 ^（-n）[（7SqRT（21））^ n+（7 +qRT（21））^ n]](/images/equations/VertexCover/Inline59.gif)
![1/2 [（1-SqRT（2））^（n+1）+（1 +qRT（2））^（n+1）]](/images/equations/VertexCover/Inline66.gif)
