■紛らわしい式(グラフの平面性と幾何学的安定性)

 グラフの幾何学的安定性は

[1]1次元

  e≧v−1

[2]2次元

  e≧2v−3

[3]3次元関節下

  e≧3v−6

[4]n次元関節下

  e≧nv−n(n+1)/2

  nは次元数,n(n+1)/2はn次元単体の辺数

で表される.

 ちょっと紛らわしいのだが,平面グラフに対しては

  e≦3v−6

が成り立つ.

(証)各面は少なくとも3つの辺をもたなければならないから,

  2e≧3f

オイラーの公式に代入すると

  v−e+f=v−e+2e/3≧2 → e≦3v−6

===================================

【1】完全2部グラフK3,3の問題

[Q]ガス・水道・電気の3種類のライフラインを3軒の家に交差しないようにつなぐことはできるか?

[A]v=6,e=9,3v=2e

また,各面は少なくとも4つの辺をもたなければならないから,

  4f≦2e

より,

  v−e+f≦2e/3−e+e/2=e/6=1.5<2

となって矛盾.

 結局,K3.3とK5を含グラフはどうやっても平面グラフにはならず,失敗に終わる運命にある(クラトウスキーの定理).

[別解]もし,K3,3が平面的であるならば,v=6,e=9.

  f=2+e−v=5

また,各面は少なくとも4つの辺をもたなければならないから,

  20=4f≦2e=18

となって矛盾.

===================================

【2】完全グラフK5の問題

 もし,K5が平面的であるならば,v=5,e=10.

  f=2+e−v=7

また,各面は少なくとも3つの辺をもたなければならないから,

  21=3f≦2e=20

となって矛盾.

===================================

【3】トーラス面上のK3,3とK5

[1]もし,K3,3が平面的であるならば,v=6,e=9.

  f=e−v=3

また,各面は少なくとも4つの辺をもたなければならないから,

  12=4f≦2e=18

となって矛盾は生じない.

[1]もし,K5が平面的であるならば,v=5,e=10.

  f=e−v=5

また,各面は少なくとも3つの辺をもたなければならないから,

  15=3f≦2e=20

となって矛盾は生じない.

[Q]土地を5つの区域に分ける.どの区域も他の4つの区域と接していなければならない.道路を他の4つの区域に交差しないようにつなぐことはできるか?

[A]平面では実現不可能であるが,トーラス面では可能で,実際,これらのグラフは平面的としてトーラス面上に描くことができる.

===================================

【4】トーラス面上のK7

[1]もし,K6が平面的であるならば,v=6,e=15.

  f=e−v=9

また,各面は少なくとも3つの辺をもたなければならないから,

  27=3f≦2e=30

となって矛盾は生じない.

[2]もし,K7が平面的であるならば,v=7,e=21.

  f=e−v=14

また,各面は少なくとも3つの辺をもたなければならないから,

  42=3f≦2e=42  (正則)

となって矛盾は生じない.

[3]もし,K8が平面的であるならば,v=8,e=28.

  f=e−v=20

また,各面は少なくとも3つの辺をもたなければならないから,

  60=3f≦2e=56

となって矛盾.

===================================

【5】球面上のK4

 もし,K4が平面的であるならば,v=4,e=6.

  f=2+e−v=4

また,各面は少なくとも3つの辺をもたなければならないから,

  12=3f≦2e=12  (正則)

となって矛盾は生じない.

===================================