数学

四色問題のその後

数学

四色問題を証明するときに使ったプログラムは、今のコンピュータで実行したら何時間で片付くのだろうか? また、証明用プログラムの改良に取り組んでいる人はいるのだろうか? 質問してこようかなどうしよう。