強化版有限ラムゼーの定理とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 強化版有限ラムゼーの定理の意味・解説 

強化版有限ラムゼーの定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/31 09:08 UTC 版)

パリス=ハーリントンの定理」の記事における「強化版有限ラムゼーの定理」の解説

強化版有限ラムゼーの定理は自然数色付けに関する以下の定理である。 任意の正整数の組 n, k, m に対して、以下の条件を満たす N が存在する: S = {1, 2, 3,..., N} の n 要素部分集合それぞれを k 色を使って色付けしたとき、少なくとも n 要素を持つ S の部分集合 Y で、Y のすべての n 要素部分集合が同じ色であり、かつ Y の要素数は Y の要素の最低値上であるようなものが存在する。 「Y の要素数は Y の要素の最低値上である」という条件なければ、この定理K P n ( S ) {\displaystyle K_{{\mathcal {P}}_{n}(S)}} に対し N を ( N n ) = | P n ( S ) | ≥ R ( m , m , … , m ⏟ k ) {\displaystyle {\binom {N}{n}}=|{\mathcal {P}}_{n}(S)|\geq R(\,\underbrace {m,m,\ldots ,m} _{k}\,)} としたときの有限ラムゼーの定理より導かれる。 さらに、強化版有限ラムゼーの定理は無限ラムゼーの定理から、有限ラムゼーの定理導出するのとほぼ同じ方法導出される。証明コンパクト性定理用い二階述語論理の中で行われる

※この「強化版有限ラムゼーの定理」の解説は、「パリス=ハーリントンの定理」の解説の一部です。
「強化版有限ラムゼーの定理」を含む「パリス=ハーリントンの定理」の記事については、「パリス=ハーリントンの定理」の概要を参照ください。

ウィキペディア小見出し辞書の「強化版有限ラムゼーの定理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「強化版有限ラムゼーの定理」の関連用語

強化版有限ラムゼーの定理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



強化版有限ラムゼーの定理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのパリス=ハーリントンの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS