グラフ理論の有名な未解決問題である再構成予想について紹介します.
ここから先で考えるグラフはすべて,ラベルなし単純無向グラフです.すなわち,単純無向グラフの同型類について考えます.今後,ラベルなし単純無向グラフを単にグラフと呼ぶことにします.同型類について詳しく知りたい方は参考文献の3番を参照してください.
再構成問題(reconstruction problem)
グラフ に対して,多重集合 を デッキ(deck) と呼び, と表します.ただし, は から頂点 を削除したグラフを表し,多重集合は同型なグラフも重複して含むものとします.また,デッキの要素を カード(card) と呼びます.
Q. 次のデッキの元のグラフは何でしょう?
* 3番目と5番目のグラフは同型ですがデッキは多重集合なので両方含みます
上の例ではデッキが与えられたときに元のグラフを一意に復元できましたが,どんなグラフに対してもデッキから一意に復元ができるでしょうか.
入力:グラフ のデッキ ( は分からない)
出力: (の同型類)を一意に再構成できるか
グラフがデッキから一意に再構成できるとき,そのグラフは再構成可能(reconstructible)であると言います.
再構成予想(reconstruction conjecture)
再構成問題に関して Kelly と Ulam が1942年に次の予想を立てました.
頂点数が3以上のグラフは一意に再構成可能である
この予想はグラフ理論の未解決問題として知られています.この予想が成り立つと,非同型なグラフ と に対して, ということが分かります.
ここでの再構成問題は頂点に対して定義しましたが,辺を削除してデッキを作ったときに元のグラフが再構成可能かどうかを答える問題もあります.この問題は,辺再構成問題(edge reconstruction problem)と呼ばれ,それに対応する辺再構成予想(Haray, 1964)も未解決問題です.これらの予想の関係として,再構成予想が成り立つならば辺再構成予想が成り立つということが知られています.
一般グラフに対してはこれらの予想は未だに解かれていませんが,いくつかのサブクラスに対しては再構成予想が成り立つことが知られています.以降では,すべての頂点の次数が等しい 正則グラフ(regular graph) が再構成可能であることを示します.
認識可能な性質
正則グラフが再構成可能であることを証明するために,いくつかの準備を行います.
定義.認識可能
グラフの性質が 認識可能(recognizable) であるとは,デッキからその性質が求まることである
上の認識可能という言葉の定義は再構成問題での定義なので注意してください.認識可能なグラフの性質としていくつかあるので,その一部を紹介します.
認識可能な性質1:グラフの位数
頂点集合 のサイズ を の位数(order)と呼びます.デッキは多重集合なので, が成り立ちます.よって,デッキから の位数が分かるので位数は認識可能です.
認識可能な性質2:グラフの辺数
辺数 も認識可能です.頂点 の次数を , のカードを とします.このとき, が成り立ちます.したがって, となり,握手補題 と から,
となります.右辺の はデッキから分かるので辺数は認識可能です.
認識可能な性質3:次数列
グラフの 次数列(degree sequence) とは の頂点の次数を非減少で並べた列のことを言います.上からグラフの辺数は認識可能なので, からカード を与える頂点 の次数が分かります.他のカードに対して次数を求めて,それを非減少に並べれば の次数列と一致します.よって,次数列は認識可能です.
同型なグラフは同じ次数列を持ちますが,同じ次数列を持つ非同型なグラフは存在します.残念なことに,次数列は認識可能なのですが再構成予想を示すのに直接的には使えなさそうです.
下の図は上の3つの認識可能な性質の例です.
正則グラフは再構成可能(Kelly, 1957)
-正則グラフ のデッキ が与えられたとします.このとき, の次数列から が -正則グラフかどうかが分かります(次数列の要素がすべて ).-正則グラフと分かったときに,任意にカード を選びます. には次数が の頂点がちょうど 個存在します.それ以外の頂点の次数はすべて です.このとき, が -正則グラフであることから, はその次数 の頂点との間に辺があり,それ以外の頂点との間には辺がないことが分かります.これによって, が一意に構成可能であることが示せました.
まとめ
ここで紹介した以外にもいろいろな認識可能な性質や再構成可能なクラスなどが知られているので調べてみると楽しいですよ.
半世紀以上の未解決問題と聞いて胸が熱くなっていろいろ考えたのですが難しいです.
再構成予想が成り立つときに,グラフ同型性判定問題の計算量にどう影響を与えるのでしょうね.デッキが等しいかどうかって多項式時間で分かるもんなのでしょうかね...ねねねとしか言ってないですね.