0
高校数学解説
文献あり

1998年東京大学後期第3問を一般化した

75
0

この記事は1998年東京大学後期第3問(例のグラフ理論のやつ)を発展させたものなので、先に 元の問題と解説 を読んでおくことを推奨します。

主定理

この記事では以下の定理を証明します。

N個の1行に並んだグラフに対し、それが可能グラフかどうか判定し、可能グラフであるときは操作の順を出力せよ。」という問題はO(N)の時間計算量で解ける。

証明

定義

頂点の最大次数が2である木のことを1行グラフと呼ぶ。

グラフG=(V,E)に対しグラフG=(V,E)を作る操作2を以下で定義する:

  • この操作はGの頂点Pi0であって、以下の条件を満たすものを1つ選ぶと定まる。
    • Pi0の色は白である。
    • Pi0を頂点に持つ辺は丁度2個存在する。
      • これらの辺の頂点のうちPi0ではない方をそれぞれPi1,Pi2とする。
  • VVからPi0を取り除いたものである。
  • WWからPi0を頂点に持つ辺を取り除き、新しい辺Em+1を加えたものとする。
    • Em+1の頂点は、Pi1Pi2である。
  • Gのそれ以外での辺の頂点はGでの対応する辺の頂点と同じにする。
  • Gにおいて頂点Pi1の色が白又は黒ならば、Gにおける色はそれぞれ黒又は白に変化させる。Pi2についても同様に変化させる。それ以外の頂点の色は変化させない。

グラフによっては操作2を行うための頂点Pi0を選べないことがあるが、その場合は操作2は行えないものとする。




操作2は操作2の逆操作である。すなわち、グラフGに操作2を行ってグラフGを得たとき、グラフGに操作2を行ってグラフGを得ることができる。

以下では、便宜上1行グラフの片方を左側、もう片方を右側とし、各操作でこの左右は固定されるものとする。

長さ4以上の1行グラフGに対し、1行グラフGを作る操作Rを次で定義する:

  • 右端以外でという箇所があれば、そのうち最も右にあるもののに対する操作2
  • そうでなくて、左端以外でという箇所があれば、そのうち最も右にあるもののに対する操作2
  • そうでないとき、両端以外は全てである。
    • 両端以外の3個以上あれば、右から4番目の頂点となるに対する操作2
    • このグラフに対して操作Rは行えないとする。

この操作Rには、次の性質がある:

  • 操作後に両端以外のがなくなることはない。
  • 操作が行えないグラフは、以下の場合に限られる(または):
    • 、ただしまたは

これを上から順に(G1),(G2),(G3)とする。

グラフGに対し、操作Rを適用できなくなるまで繰り返し適用することで得られるグラフをG種グラフと呼ぶ。

種グラフは必ず(G1),(G2),(G3)のどれかになる。

分類

不変量を使って任意の可能グラフに対する種グラフが(G3)であることを示す。そのために、元の問題で使われた不変量を拡張する。

1行グラフGに対する拡張不変量を、G4通りの追加グラフに対する
(交代和を3で割った余り,の個数を2で割った余り)
からなる多重集合とする。

に対する拡張不変量は、{|(0,0),(2,1),(1,1),(2,0)|}である。
に対する拡張不変量は、{|(1,1),(2,0),(0,0),(2,1)|}である。
に対する拡張不変量は、{|(1,0),(0,1),(0,1),(1,0)|}である。

1行グラフに操作2を行っても、拡張不変量は変わらない。

証明は元の問題と同じようにできるので読者への演習問題とします。

全ての可能グラフの追加グラフの種グラフは(G3)である。

明らかに全ての可能グラフには少なくとも1個のがあるので、追加グラフには両端以外にが存在する。よってその種グラフは(G1)ではない。

可能グラフに対する拡張不変量は{|(0,0),(2,1),(1,1),(2,0)|}(:=A)である。しかし、に対する拡張不変量は、{|(1,0),(0,1),(0,1),(1,0)|}(:=B)である。

仮に追加グラフの種グラフG(G2)であるような可能グラフGが存在するとすると、の両端に1個ずつ頂点を追加してGを作れ、そこから操作2を繰り返すことでGの追加グラフが得られるため、Gの拡張不変量はBとなる。しかしABであるからこれは矛盾である。

可能グラフでない1行グラフの追加グラフの種グラフが(G3)となることはない。

背理法で証明する。仮にそのようなグラフGが存在したとすれば、(G3)から操作Rを逆順にたどることで操作2の繰り返しとしてGの追加グラフが作れる。すなわちGは可能グラフであるが、これは矛盾である。

定理4,定理5

与えられたグラフGが可能グラフかどうかを判定するためには、種グラフが(G3)であるかを判定すればよい。また、可能グラフである場合は、各回の操作Rを逆順にたどることで、具体的な構成法が得られる。Gの頂点数をNとすると、その時間計算量はO(N)である。

まとめ

もし次回があれば1行ではないグラフについて書きます。

参考文献

投稿日:53
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

nayuta_ito
122
36838

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 主定理
  2. 証明
  3. 定義
  4. 分類
  5. まとめ
  6. 参考文献