既存のコンピュータによる証明は誤りと主張
i.imgur.com/a/vvGvciS >>5
よく読み直せよ
誤読があったことは見つめつつそれを踏まえて誤りを指摘してるぞ
ハイ解散 平面地図で国の数nを与えたときに、
その地図を具体的に4色以下に塗る
方法を決定するのに必要な手間の
オーダーはどれだけか(配点10点)。 平面地図で、国の数が無限にあっても
四色あれば必ず塗れるといえるか。
あるいは四色以下で塗る方法を決定する
手続きを構成できるか? 3次元空間の分割に関して
面白い問題が定式化できるかもしれない