■グラフの平面性と幾何学的安定性(その1)
グラフの幾何学的安定性は
[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 (正則)
となって矛盾は生じない.
===================================