「ラムゼーの定理」に関する数学ゴールデンの問題 - tsujimotterのノートブック

日曜数学Advent Calendar 2020最終日の記事です。投稿してくださったみなさま、ありがとうございます！！！ adventar.org 目次： 1. 今日のテーマ 2. 気合いで全探索する方法（解法1） 3. 矛盾辺に着目した方法（解法2） 4. より洗練された証明（解法3）と17頂点への一般化 5. ラムゼーゲーム（tsujimotterからの出題） 6. まとめ 1. 今日のテーマ 最終日の今日は 「今年一番興奮した話」 を書いてみようと思います。いったいどんな数学に興奮したのか、その背景について説明させてください。 tsujimotterの日曜数学の楽しみ方は、数学の理論を本で勉強して楽しむことです。日曜数学を楽しむ方の中には問題やパズルを解いて楽しむ方もいると思うのですが、私はあまり好きではありませんでした。 好きではないというより、どちらかといえば得意ではないという感