>>646
>接合を使わずにケンペ鎖を切断することなく998頂点のグラフが
>4彩色可能であることを示すことはできるの?
できない。
接合を使ってACチェーンまたはADチェーンが切れなければ
5色必要でN−1点以下の4彩色可能と仮定した条件に矛盾する。
従って、ACまたはADチェーンが切れる彩色が必ず存在する。
としか言えない。