検索結果
ナビゲーションに移動
検索に移動
- 14キロバイト (591 語) - 2025年2月11日 (火) 14:57
- 2キロバイト (100 語) - 2017年10月13日 (金) 15:43
- …に言えば、何らかの[[決定問題]] X について、より難しい決定問題 X’を対応付けることである。ここでいう X’は、X を解けるような[[神託機械|オラクル]]を持つ[[神託機械]]では決定出来ない問題を指す。 …5キロバイト (283 語) - 2025年1月14日 (火) 14:36
- 9キロバイト (523 語) - 2024年11月20日 (水) 12:37
- 3キロバイト (123 語) - 2023年12月18日 (月) 12:23
- [[オラクル (企業)|オラクル]]([[サン・マイクロシステムズ]])が提供する[[Java Development Kit]]、[[RAR]]ファイル展開ツール[[unrar]]そ …6キロバイト (396 語) - 2025年2月6日 (木) 00:18
- …]]で[[多項式時間]]で解ける[[決定問題]]の集合である。P<sup>#P</sup>は，#Pの任意の(#P[[神託機械#神託機械の複雑性クラス|オラクル]]に対して多項式時間)に対する答えを瞬時に得ることができれば、多項式時間で解くことができるすべての問題から構成される。従って、戸田の定理より、多項式階 …4キロバイト (243 語) - 2024年8月17日 (土) 11:20
- ==== オラクル ==== …を実行するには、さらに独立性オラクルを必要となる。独立性オラクルとは、X ⊆ E が与えられたとき X ∈ F であるかどうかを判定する[[神託機械|オラクル]]である。これがないと最良選択貪欲法の3番目のステップは実行できない。同様に最悪棄却貪欲法を実行するためには X ⊆ E が与えられたとき X が基< …36キロバイト (2,469 語) - 2025年1月14日 (火) 14:37
- 12キロバイト (835 語) - 2025年3月2日 (日) 13:46
- 28キロバイト (1,229 語) - 2024年4月19日 (金) 08:12
- 6キロバイト (289 語) - 2025年3月14日 (金) 07:41
- 18キロバイト (409 語) - 2024年12月7日 (土) 17:21
- …rns|1965}})を示す際などに適用された。このような証明手法の特徴として「相対化」と呼ばれる性質の保存がある。複雑性クラス C を[[神託機械|オラクル]] A で相対化するとは、クラスCに属する計算機にオラクル A を付与した新しい複雑性クラス C<sup>A</sup> を作ることである。ここで、複 …21キロバイト (893 語) - 2024年12月13日 (金) 11:24
- 7キロバイト (270 語) - 2020年5月20日 (水) 08:32
- …ニタリ演算子]] <math>U_{\omega}</math> を自由に[[サブルーチン]]として使えるとする。（このサブルーチンは、[[神託機械|オラクル]]とも呼ばれる。） …21キロバイト (1,586 語) - 2025年1月14日 (火) 14:37
- 20キロバイト (1,268 語) - 2024年5月30日 (木) 03:35
- [[オラクル (企業)|オラクル]]（旧[[サン・マイクロシステムズ]]）のJVMの性能は徐々に向上してきたが、このJVMはいくつかの最適化を実装した最初の[[仮想機械]]であることも [[クラス (コンピュータ)|クラス]]の実行に先立ち、[[オラクル (企業)|オラクル]]のJVMは[[バイトコード]]の検証を行う。バイトコードのロードと検証は特定のクラスがロードされ実行する準備ができた場合のみ行われ、プログラムの開始 …39キロバイト (2,315 語) - 2024年2月14日 (水) 13:44
- 8キロバイト (395 語) - 2020年4月15日 (水) 05:07
- : [[オラクル (企業)|オラクル]]による実装。[[SPARC]] と [[x64|x86-64]] 上の Oracle Solaris と Linux で動作する BLAS および …19キロバイト (1,012 語) - 2025年2月16日 (日) 19:45
- 10キロバイト (484 語) - 2024年11月23日 (土) 17:51