2008年以降の発展とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 2008年以降の発展の意味・解説 

2008年以降の発展

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

K自明集合」の記事における「2008年以降の発展」の解説

2009年から解析概念使われるようになり、よく知られ問題を解くのに一役担った。 ある集合Yが正密度点であるとは、すべてのYを含む実効閉集合がYで正の下側ルベール密度を持つことを言う。Bienvenu, Hölzl, Miller, and Niesは、マルティンレーフランダムな点に対してチューリング完全ではないことと正密度点であることの同値性示したDay and Miller (2012) らは、これを使って、ML-cupping問題に対して肯定的な解を与えた。:すなわち、AがK自明集合であることと、が停止問題計算するようなすべてのマルティンレーフランダムな点Zに対してZが停止問題計算するということは同値。 Yが一密度点であるとは、すべてのYを含む実効閉集合がYでルベーグ密度1を持つことを言う。一密度点でないようなどのマルティンレーフランダムな集合でも、すべてのK自明集合計算する。Bienvenu et al. Day and Miller (2012)は正密度点ではあるが一密度点ではないマルティンレーフランダムな集合存在することを示した。 なので、非完全なマルティンレーフランダムな集合すべてのK自明集合計算するものが存在する。 これはMiller and Nies. に載っているStephanによって最初に問われ問題covering問題に対して肯定的な答え与える。この分野の概要は、L. Bienvenu, A. Day, N. Greenberg, A. Kucera, J. Miller, A. Nies, and D. Turetsky などが参考になるであろうK自明集合変種研究されている。例えば、Schnorr trivial sets計算可能な測度を持つ機械によって定義されるstrongly jump traceable setsK自明集合族の真部分集合で低の性質を持つものである

※この「2008年以降の発展」の解説は、「K自明集合」の解説の一部です。
「2008年以降の発展」を含む「K自明集合」の記事については、「K自明集合」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「2008年以降の発展」の関連用語

2008年以降の発展のお隣キーワード
検索ランキング

   

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



2008年以降の発展のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS