SRM717 の Hard で出題されて気になったので書き留めておきます。
Chromatic Polynomial について
まず、無向グラフの頂点から色への対応を彩色、隣接する頂点が同じ色にならないような彩色のことを正しい彩色ということにします。これはこの記事限定用語です。
以下無向グラフ を 色で正しい彩色する場合の数を と表します。
Chromatic Polynomial はこの のことです。
これは、色数 の多項式になります。
まずはこの多項式を具体的に構成しましょう。
は以下の性質を持ち、また逆に、以下の性質を持つ関数は となります。
- を 1 頂点からなるグラフとすると
- の連結成分を とすると、
- の任意の辺 について、
ここで、 は から辺 を取り除いたグラフのこととします。
一方、 は辺 を縮約して、両端の頂点を 1 つに潰したグラフのこととします。
以下、 がこの 3 つの性質を持つことを示しましょう。
1 は、1 頂点のグラフを 色で塗り分ける通り数なので 通りです。
2 は、それぞれの連結成分ごとに独立に塗り分けられるので、場合の数はそれらの積になります。
3 は少し難しいです。
とします。
の正しい彩色は、 の正しい彩色となっています。(条件がより緩いため)
逆に の正しい彩色を考えましょう。この彩色はほとんどが の正しい彩色となっています。
どのような彩色がダメかというと、 と を同じ色に塗るようなもの (*) です。このような彩色はいくつあるでしょうか。
(*) を満たすような彩色 を一つ取ります。
の彩色 として、 と を縮約してできた頂点の色を で塗り、それ以外の頂点を と同じ色塗りとしたものをとります。
が の正しい彩色であることから、 は の正しい彩色であることがわかります。
また、少し考えれば、 の正しい彩色 と、 の不正な彩色 のこの対応は 1 対 1 対応になっていることが分かります。
よって、 から だけ取り除いてやればよいので、 が成り立ちます。
以上より示されました。
逆に、3 つの性質を満たす関数があると、帰納的に と一致することが分かります。
また、以上の性質から、 が多項式になることも分かると思います。
Acyclic Orientation と Chromatic Polynomial について
向き付け (Orientation) とは、無向グラフの辺を向き付けて有向グラフにする操作とします。
Acyclic Orientation はその名の通り、サイクルが存在しないような向き付けのことです。
実は、Chromatic Polynomial と Acyclic Orientation は深く関係しています。
まず、 に別の解釈を与えましょう。
前の章では、彩色 を、頂点から色への関数としていましたが、今回は色に番号をつけて、頂点から への関数とします。
こうしたとき、 は以下の条件を満たす、彩色 と向き付け の組の数となります。
- によってサイクルは生じない
- によって と向き付けられたとすると、
正しい彩色 が与えられると、値が大きい方から小さい方に向けなければいけないので、向き付けは一意に定まります。
逆に、上記の条件を満たしているとき、辺の両端の値は異なるので、彩色は正しい彩色となっています。
よって、正しい彩色と上記の条件を満たす組は一対一対応しているので、どちらも場合の数は となります。
次に、少し変えた以下のような条件を満たす彩色 と向き付け の組の数 を考えます。
- によってサイクルは生じない
- によって と向き付けられたとすると、
2 の条件を満たすとき は に適合するということにします。
条件を満たす組のことを正しい組ということにします。また、彩色 が固定されているとき、サイクルを生じない に適合する向き付けのことを正しい向き付けということにします。
の頂点数を とすると、実は、 (**) が成り立つということを示すのがこの章の山場です。
この式は、 n 個のものを m 個に分ける組み合わせの数 と重複組み合わせ の関係 に相当するらしいです。
たしかに の条件の方は重複組み合わせ感ありますが、この類推がどこまで深い対応を示しているのかは正直よく分かっていません。
それでは (**) を示していきましょう。
前の章と同様に、 を具体的に構成していきます。
- を 1 頂点からなるグラフとすると
- の連結成分を とすると、
- の任意の辺 について、
以上の式が成り立てば、示したい (**) が帰納的に成立することが少し考えれば分かります。
は頂点数が より 1 小さいので 3 の符号が反転していることに注意してください。
1 と 2 については前の章と全く同じです。
ここでもやはり 3 が難しいです。
とします。
まず、 の正しい組について、向き付けの を取り除いたものは において正しい組になっています。
逆を考えます。
を の正しい組とします。
は の彩色にもなっていることを注意してください。
の向き付けとして、 に を加えたもの と に を加えたもの を考えます。
と の少なくとも一方は の正しい組であって、どちらもが正しいような場合はちょうど 通りであることを示します。
(i) のとき
このとき の向きから は に適合しません。
一方、 は適合し、サイクル があったとすると、 と矛盾が生じるので、サイクルはありません。
よって、この場合は のみが正しい向き付けです。
(ii) のとき
この場合は (i) と同様に のみが正しい向き付けです。
(iii) のとき
この場合は、 と の両方が に適合します。
仮に と の両方がサイクルを生じるとします。
それぞれのサイクルを と とすると、 と において、 というサイクルが生じてしまいます。(頂点は重複してしまうかもしれませんが特に問題ないことがわかります。)
これは、 がサイクルを生じないという仮定と矛盾するので、 と の少なくとも一方はサイクルを生じず、正しい向き付けとなります。
(iii) においてどちらも正しい向き付けとなるような場合が 通りであることを示します。
と がどちらも において正しい組となるような と の正しい組は一対一に対応することが以下のように分かります。
の彩色 として、 と を縮約してできた頂点の値を とし、それ以外の頂点を と同じ値としたものをとります (***)。
をどちらの向きにしても は でサイクルは生じないので、 は でサイクルを生じません。
また、 が で に適合してるので、 では に適合しています。
よって、 は において正しい組であることがわかります。
逆に、 の正しい組 をとり、 に(***) の逆の対応をさせた を考えると、 は で に適合しています。
が でサイクルを生じないので、 をどちらの向きにしても でサイクルは生じません。
よって、重複して数えなければならない場合が の要素と一対一に対応し、 となることが分かります。
以上より示されました。
のときを考えると、向き付けが正しいことと、サイクルが生じないことが同値なので、無向グラフの Acyclic Orientation の数は となることが分かります。
SRM 717 Div1 Hard AcyclicOrientation
無向グラフが与えられるので Acyclic Orientation の数を mod 6 で求めてくださいという問題です。
中国剰余定理より、 mod 2 と mod 3 で が求まればよいです。
また、 が多項式であることを考えると、引数も mod を取ってしまってよいことが分かります。
よって、求めるものは mod 2 で と mod3 で です。
前者は辺があれば 0, 辺がなければ 1 です。
後者は、 は 2 彩色の場合の数なので、二部グラフでなければ 0, 二部グラフであれば ただし は連結成分の個数です。
あとはこれらをループを回して 6 通り調べるなどして mod 6 に戻してやれば解けたことになります。
最後に
何か間違いや質問などがあればお願いします。
最後まで読んでいただきありがとうございました。
参考文献
[1] Stanley, R. P. (1972). ACYCLIC ORIENTATION OF GRAPHS.