計算不可能なK自明集合の構成の概略とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 計算不可能なK自明集合の構成の概略の意味・解説 

計算不可能なK自明集合の構成の概略

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/02/03 07:15 UTC 版)

K自明集合」の記事における「計算不可能なK自明集合の構成の概略」の解説

実は、その集合promptly simpleに取ることもできる証明アイディアprompt simple集合作る際の要求 つまり、xが増えるにしたがって、sがステージを走るときのxのコストの上限が0に収束する例えば、標準コスト関数はこの性質満たす構成本質的なアイディアとしては、prompt simple集合作る要求を満たすために、Aに数字入れ前にコストが十分小さくなるまで待つというものである計算可能な枚挙を以下のように定義しよう。まず、。ステージにおいてはそれぞれのにおいて、もし、が満たされておらず、かつを満たすようなが存在するなら、 xをに入れて要求満たされたと宣言する構成は以上である。 この構成実際にうまくいくことを確認しよう。まず、Aはコスト関数に従う。なぜなら、それぞれの要求があるのでAに入る数字高々1つであって合計Sは高々 であるからである。次にそれぞれの要求満たされる。もし、が無限ならば、コスト関数極限条件を満たすという事実から、ある数字がやがてはAに入り要求満たされるからである。

※この「計算不可能なK自明集合の構成の概略」の解説は、「K自明集合」の解説の一部です。
「計算不可能なK自明集合の構成の概略」を含む「K自明集合」の記事については、「K自明集合」の概要を参照ください。

ウィキペディア小見出し辞書の「計算不可能なK自明集合の構成の概略」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



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

辞書ショートカット

すべての辞書の索引

「計算不可能なK自明集合の構成の概略」の関連用語

計算不可能なK自明集合の構成の概略のお隣キーワード
検索ランキング

   

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



計算不可能なK自明集合の構成の概略のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS