hakusensha https://blog.hatena.ne.jp/hakusensha/ ※男(こめおとこ)の日記：白泉社×人力検索はてなの本『幕府を作りたいのですが』のブログ https://hakusensha.hatenadiary.org/ 人力検索はてな 「人力検索はてな」の過去質問から面白いのを探してみるのです。 ◎四色問題は1976年に当時のコンピュータで二千数百時間をかけて力ずくで証明されましたが、その後のコンピュータによる証明の追試やアルゴリズムの改良、または実行時間の短縮状況などについて知りたいです。(英語可) 既出のサイトの通り、1996年にNeil Robertson、 Daniel Sanders、 Paul Seymour、 Robin Thomasによって改良され、 調べる必要のあるパターンが1,936(1,476)から633に減ったようです。 ◎旧国名で、新潟県は越後、富山県は越中、福井県は越前と言いますが、 その越の由来… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fhakusensha.hatenadiary.org%2Fentry%2F20071207%2Fhate071207" title="四色問題／越／下呂温泉の自作温泉 - ※男(こめおとこ)の日記：白泉社×人力検索はてなの本『幕府を作りたいのですが』のブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-12-07 00:00:02 rich https://hakusensha.hatenadiary.org/entry/20071207/hate071207 1.0 100%