计算几何 算法与应用 第三版 一个不是显然的小结论的证明

为了避免遗忘 写文章记录一个小结论的证明过程

《计算几何 算法与应用》第三版 Mark de Berg

Otfried Cheong Marc van Kreveld Mark Overmars著 邓俊辉译 清华大学出版社 p252页提到一个小结论 $2ne>=3nf$

这个结论不是显然的 但证明也不难 证明如下

考虑平面上由一系列多边形彼此拼接形成的区域R,R由这些多边形组成，设这些多边形为Li i<=i<=n Li之间是完全拼接的即Li的边是两个多边形的公共边，或不是公共边，且若两边如果有交集则交集只能是一点，且该点必须是这两条边的端点，另外两边可以没有交集

$Li$的边数记为$Li.edgenum$ 设包围整个R最外侧的边(即$Li$ $1<=i<=n$ 所有的边中只与其中一个多边形关联的边)构成的多边形为$Lo$ $Lo.edgenum$ 是$Lo$的边数

我们断言 ${\sum }_{i=1}^{n}Li.edgenum+L_o.edgenum=2\ast n_e$ $n_e$为所有$Li$的边的并集$Ue$中的总边数

事实上考虑任意一条边$e$,$e$属于$Ue$并且$e$不是$Lo$的边，于是恰和两个多边形Ld1, Ld2关联，显然由于在对所有$Li$中非Ld1, Ld2的多边形的边数求和时,由于这些多边形并不关联$e$,所以对这些多边形边数的求和不会计入$e$,而对Ld1 Ld2的边数求和时恰被计入两次，因此对所有$Li$的边数求和只会把$e$计入两次，由$e$的任意性可知对所有$Li$的边数求和每一个$e$都恰好被计入两次，另外不难发现$Lo$的每一条边恰被计入一次 而每一个$e$和$Lo$中的所有边恰为$Ue$因此

设所有$e$的总数为$Nume$ 于是我们有$2\ast Nume+L_o.edgenum={\sum }_{i=1}^{n}Li.edgenum$

从而$2\ast Nume+2\ast L_o.edgenum={\sum }_{i=1}^{n}Li.edgenum+L_o.edgenum$

而由于每一个$e$和$Lo$中的所有边恰为$Ue$因此$Nume+L_o.edgenum=n_e$ 结合上式即得 ${\sum }_{i=1}^{n}Li.edgenum+L_o.edgenum=2\ast n_e$

另外 $Li.edgenum>=3$ $L_o.edgenum>=3$ 因此由上式知 $2\ast n_e>=3\ast (n+1)$

由开头所提教材中f的定义, $f$即为每一个$Li$和$Lo$,$nf$即为所有$Li$,和$Lo$的总数即为$n+1$因此由上式 $2\ast n_e>=3\ast n_f$

证毕