このスライド を読めばだいたいわかります
個人的に詰まったところメモ
最初の言いかえ
グラフ が 彩色可能 を 個の独立集合で被覆できる
について, 個の独立集合は直交していなければいけないというような条件はない(それはそうで, 彩色で 色全部使わなくてもいいので同値)
独立に 個選ばないといけないと思っていたので, その後の
が重複しまくりやんけとなっていたが問題なかった
そのためこの は彩色多項式 とは異なる (ですよね?)
を求めたかったらサイズの総和を で固定してあげればよくて, そうすると はどうするんでしょうか
の部分集合で大きさ の独立集合の数 を求められれば 二次元DPにできそうな気分です
それはともかく後は頑張って を求めればいい
独立集合の数え上げだが, として
- を要素として含むもの
- を要素として含まないもの
のどちらかなので,
と書ける
ということで, あとはbitDPを書くだけですね
おしまい