>>105
>縮約後に4色で塗れるということは
>ACチェーンのCを縮約前にCをAに塗れるはず。

どうしてそんな必要があるの?「縮約後に4色で塗れる」の意味は、縮約後の地図が
(縮約前にどう塗ってあったかを無視してでも)とにかく4色で塗れればいいってことだよ。
そしてあなたの論理が走るためには何もかもチャラにして塗りなおしても5色必要に
なることが言えないとダメなんだよ?