ハドワイガー予想って

lealgorithm.blogspot.jp

をマイナーとして含まないグラフは t-彩色可能 なのでしょうか？

もしかして対偶とって、t彩色可能でなければ、少なくとものマイナーを含むにすればよい?

だとするとそれに含まれる臨界グラフの頂点は全て次数t以上で、頂点数はt+1以上となるから、頂点がt+1となるまで縮約するとすれば、必ずとなるしかたがあるかな? なりそうな気はする。

つか、細分だけ考えれば、出次数の話だけだわ。
あとは縮約か。