この記事は1998年東京大学後期第3問(例のグラフ理論のやつ)を発展させたものなので、先に
元の問題と解説
を読んでおくことを推奨します。
主定理
この記事では以下の定理を証明します。
「個のとが行に並んだグラフに対し、それが可能グラフかどうか判定し、可能グラフであるときは操作の順を出力せよ。」という問題はの時間計算量で解ける。
証明
定義
グラフに対しグラフを作る操作を以下で定義する:
- この操作はの頂点であって、以下の条件を満たすものをつ選ぶと定まる。
- の色は白である。
- を頂点に持つ辺は丁度個存在する。
- これらの辺の頂点のうちではない方をそれぞれとする。
- はからを取り除いたものである。
- はからを頂点に持つ辺を取り除き、新しい辺を加えたものとする。
- のそれ以外での辺の頂点はでの対応する辺の頂点と同じにする。
- において頂点の色が白又は黒ならば、における色はそれぞれ黒又は白に変化させる。についても同様に変化させる。それ以外の頂点の色は変化させない。
グラフによっては操作を行うための頂点を選べないことがあるが、その場合は操作は行えないものとする。
操作は操作の逆操作である。すなわち、グラフに操作を行ってグラフを得たとき、グラフに操作を行ってグラフを得ることができる。
以下では、便宜上行グラフの片方を左側、もう片方を右側とし、各操作でこの左右は固定されるものとする。
長さ以上の行グラフに対し、行グラフを作る操作を次で定義する:
- 右端以外でという箇所があれば、そのうち最も右にあるもののに対する操作
- そうでなくて、左端以外でという箇所があれば、そのうち最も右にあるもののに対する操作
- そうでないとき、両端以外は全てである。
- 両端以外のが個以上あれば、右から番目の頂点となるに対する操作
- このグラフに対して操作は行えないとする。
この操作には、次の性質がある:
- 操作後に両端以外のがなくなることはない。
- 操作が行えないグラフは、以下の場合に限られる(はまたは):
これを上から順にとする。
グラフに対し、操作を適用できなくなるまで繰り返し適用することで得られるグラフをの種グラフと呼ぶ。
分類
不変量を使って任意の可能グラフに対する種グラフがであることを示す。そのために、元の問題で使われた不変量を拡張する。
行グラフに対する拡張不変量を、の通りの追加グラフに対する
からなる多重集合とする。
に対する拡張不変量は、である。
に対する拡張不変量は、である。
に対する拡張不変量は、である。
行グラフに操作を行っても、拡張不変量は変わらない。
証明は元の問題と同じようにできるので読者への演習問題とします。
明らかに全ての可能グラフには少なくとも個のがあるので、追加グラフには両端以外にが存在する。よってその種グラフはではない。
可能グラフに対する拡張不変量はである。しかし、に対する拡張不変量は、である。
仮に追加グラフの種グラフがであるような可能グラフが存在するとすると、の両端に個ずつ頂点を追加してを作れ、そこから操作を繰り返すことでの追加グラフが得られるため、の拡張不変量はとなる。しかしであるからこれは矛盾である。
可能グラフでない行グラフの追加グラフの種グラフがとなることはない。
背理法で証明する。仮にそのようなグラフが存在したとすれば、から操作を逆順にたどることで操作の繰り返しとしての追加グラフが作れる。すなわちは可能グラフであるが、これは矛盾である。
定理4,定理5
与えられたグラフが可能グラフかどうかを判定するためには、種グラフがであるかを判定すればよい。また、可能グラフである場合は、各回の操作を逆順にたどることで、具体的な構成法が得られる。の頂点数をとすると、その時間計算量はである。
まとめ
もし次回があれば行ではないグラフについて書きます。