1. 交叉数不等式
定义图 的交叉数 为将图 画在平面上时边的交叉点的最小数目. 我们想知道的是, 给定一个有很多边的图, 它的交叉数至少有多大?
定理 1.1 (交叉数不等式 Ajtai, Chvátal, Newborn 和 Szemerédi(1982); Leighton (1984)). 如果 是满足 的图, 则存在常数 使 .
证明. 对于任何至少有一个圈的连通平面图, 我们有 , 其中 表示图的面 (也称作区域) . 每个面与至少三个边相邻且每个边与最多两个面相邻, 两次计数我们可以得到该不等式. 应用 Euler 公式 1, 我们得到 . 因此, 对任意平面图 (包括那些非连通或没有圈的平面图) 一定有 . 所以, 如果 则有 .
假设图 满足 . 我们可以通过删除每条造成交叉的边来得到平面图, 因此我们有 . 所以对于任意图 , 我们有(1.1)为了证明所需的不等式, 我们借助概率方法. 令 是一待定的实数, 是一个以概率 随机 (i.i.d.) 保留 的每个顶点得到的图. 根据 (1.1) 我们知道对于任意的 一定有 . 因此, 如果我们两边取期望, 不等式仍成立: 因为当且仅当保留边的两个端点时边仍存在, 所以有 . 类似地我们有 . 同样的想法, 我们得到不等式 (两条边的四个顶点都保留时交叉点才保留, 大于号是因为会出现顶点重复的情况) . 因此我们有最后我们通过设置 得到我们想要的不等式. 具体来说, 取 满足 . 根据条件 , 这是可以做到的.
1. | ^ Euler 公式: 设 是连通的平面图, 分别是其顶点数、边数和面数, 则 |