Untitled CourseMaps

ウォルフガングハーケンとケネスアペルが最終的にそれを解決するためにコンピューターを使用した1976年まで、4色の問題はほとんど進歩しませんでした。彼らは無限に多くの可能な地図を1936の特別な場合に削減しました、それらはそれぞれ合計で1000時間以上かかるコンピュータによってチェックされました。