>>373
それはどうやるの？
そんなにオーダーが低いのなら、
放電アルゴリズムとか使って苦労しなくても
あっさり不可避集合の色塗りが出来て、
４色問題の証明が楽になりそうだが。