梅雨は開けてきましたね。まだ裏日本は梅雨ですが。

４色問題の解ができました。とゆうこと。

１９７６年当時はパソコンで全ての不可壁集合を可約配置だと証明したと新聞に出てました。

次にアッペルとハーケンが証明できたと勘違いした論文をだしました。

私も勘違いした論文を出した？とは全然思っていません。パーフェクトです。

>>9　反例はありえません。ただし配色のアルゴリズムはないので、その反例の配色は時間が掛かるだけです。

うＰは、図が書けないので難しい。

球面上の絵は４色で塗り分けられる。飛び地で一国などは当然除外します。

簡略うＰ

５集点は不可壁集合である。Ｎ点まで４色で塗られたら、Ｎ−１点でも４色で塗られる。

Ｎ＋１点をＮ-１点に加工して、５色が必要だと矛盾を出して、Ｎ＋１点が４色で塗れる。

で証明終わり。

アッペルとハーケンはいいところまで行ったんだが。チェーンの概念は使わしてもらった。

難易度はピタゴラスの定理並み。高校生でも理解できる。