8.6 欧拉图论公式

  欧拉图论公式的内容：一个连通的可平面化图，设点数为n，边数为e，那么面或者区域的数量$f=e-n+2$。
  要了解这个公式，首先得知道什么是可平面化图。可平面化图，指的是画在平面上边不相交的图。区域是由边围成的。但要注意边界外还有个无限区域，如下图的4就是个无限区域infinite region（图片来自印度科学院《Graph Theory with Algorithms and its Applications》）：

  下面我将用数学归纳法给出证明：
  数学归纳法是先证明n=1成立再证明n>1的场景能一直递推到n=1的情况。我们以区域的数量f为我们要递推的变量。
  首先证明f=1的情况，在f=1的场景下，也就是只有一个区域，那么只能是无限区域，这种场景只能是树。树有n个点和n-1条边。那么
$$e-n+2=n-1-n+2=1$$
  f=1时欧拉图论公式。再成立再考虑f>1的情况。f>1时，图不可能是树。那么图一定有个环。我们删除环的一个边，如下图（图片来自印度科学院《Graph Theory with Algorithms and its Applications》）：

  删除边之前的图为G，删除了边d之后的图为G-d。
  G-d减少了一条边，也正好减少了一个区域，所以是e-1条边和f-1个区域。假设$f=e-n+2$成立，那么G-d区域的数量是e-1-n+2=e-n+1。而G的区域数量是e-n+2，恰好减少了1个区域，递推成立。所以可以一直通过删除环的边递推到成为一棵树的场景。Q.E.D.（证明完毕）