検索結果
ナビゲーションに移動
検索に移動
- …・ハーリントンの定理'''（ぱりすはーりんとんのていり、{{lang-en-short|Paris–Harrington theorem}}）は、[[ラムゼー理論]]におけるある規則、すなわち強化版有限ラムゼーの定理が、正しいにもかかわらず[[ペアノ算術]]の枠内では証明できないという定理である。これは整数に関す …4キロバイト (108 語) - 2022年10月24日 (月) 17:01
- 補グラフは、[[ラムゼー理論]]などのグラフ理論で使われ、[[NP完全問題]]であることの証明にも使われる。 …1キロバイト (78 語) - 2024年5月24日 (金) 20:13
- 車輪グラフ ''W''<sub>6</sub> は、[[ラムゼー理論]]における[[ポール・エルデシュ]]の予想（下記）の反例となった。 ポール・エルデシュは、「彩色数が同じグラフでは、[[完全グラフ]]が[[ラムゼー理論|ラムゼー数]]が最小となるグラフである」と予想した。しかし、Faudree と McKay は1993年に ''W''<sub>6</sub> はラム …6キロバイト (381 語) - 2025年3月6日 (木) 07:07
- [[Category:ラムゼー理論]] …5キロバイト (389 語) - 2022年9月4日 (日) 10:34
- [[Category:ラムゼー理論]] …10キロバイト (299 語) - 2024年8月3日 (土) 01:14
- [[Category:ラムゼー理論]] …4キロバイト (263 語) - 2024年9月15日 (日) 23:10
- 31キロバイト (1,803 語) - 2024年11月1日 (金) 22:07
- === ラムゼー理論 === 無秩序な配置に秩序を見出すという考えから[[ラムゼー理論]]は生まれた。 …25キロバイト (724 語) - 2025年2月8日 (土) 15:45
- '''グラハム数'''（グラハムすう、{{lang-en-short|Graham's number}}）は、[[ラムゼー理論]]に関する[[数学上の未解決問題|未解決問題]]の解の推定値の上限として得られた[[自然数]]である。数学の証明で使われたことのある最大の数として[[ …は、グラハムとロスチャイルドは1971年の小グラハム数を示したものと同じ論文中で [[6]] を与えた。ガードナーは[[1989年]]に著書の中で[[ラムゼー理論]]の専門家はこの問題の解を 6 と考えていると紹介し、これが広く信じられてきたが、[[2003年]]に[[ジェフ・エクスー]]がより良い下限として… …31キロバイト (1,976 語) - 2024年9月23日 (月) 03:16
- 最近では、グリーンは算術的[[ラムゼー理論]]における問題に取り組んでいます。[[トム・サンダース]]との共同研究で、十分に大きな素数位数の[[有限体]]が固定された色数で彩色されると、その体に …12キロバイト (576 語) - 2024年12月2日 (月) 08:17
- *[[ラムゼー理論]] …10キロバイト (489 語) - 2022年6月4日 (土) 16:56
- *[[パリス・ハリントンの定理]]は、原始再帰的でない全域再帰関数に関わる。この関数は[[ラムゼー理論]]に基づいているため、アッカーマン関数よりも「自然」だと言われることがある。 …18キロバイト (925 語) - 2024年2月16日 (金) 14:48
- *[[ラムゼー理論]] …37キロバイト (1,862 語) - 2025年3月18日 (火) 02:00