コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2018-12-15 to 1 day

Idrisでラムゼーの有名なやつ、しかし……

失敗の記録です。 ラムゼーの定理 - Wikipedia ラムゼーの有名なやつ とは 「6人いれば、互いに知り合いである3人組か、互いに知り合いでない3人組が存在する」 というものです。 グラフ理論の言葉で言うと、 「完全6点グラフの各辺を赤か青に彩色したとき、…