「決定問題」へリンクしているページ
← 決定問題
以下のページが、決定問題 にリンクしています:
40件の項目を表示中
- チューリングマシン (← リンク)
- 数理論理学 (← リンク)
- NP (← リンク)
- P≠NP予想 (← リンク)
- P (← リンク)
- L (← リンク)
- ゲーデルの不完全性定理 (← リンク)
- ナップサック問題 (← リンク)
- 数式 (← リンク)
- 文脈依存文法 (← リンク)
- ペンローズ・タイル (← リンク)
- BPP (計算複雑性理論) (← リンク)
- BQP (← リンク)
- 還元 (計算複雑性理論) (← リンク)
- 乱択アルゴリズム (← リンク)
- チューリング還元 (← リンク)
- L (計算複雑性理論) (← リンク)
- NL (計算複雑性理論) (← リンク)
- NC (計算複雑性理論) (← リンク)
- ライスの定理 (← リンク)
- EXPTIME (← リンク)
- NTIME (← リンク)
- DSPACE (← リンク)
- DTIME (← リンク)
- ラスベガス法 (← リンク)
- NSPACE (← リンク)
- R (計算複雑性理論) (← リンク)
- RE (計算複雑性理論) (← リンク)
- EXPSPACE (← リンク)
- NEXPTIME (← リンク)
- チャイティンの定数 (← リンク)
- チューリングジャンプ (← リンク)
- 多対一還元 (← リンク)
- チューリング次数 (← リンク)
- 頂点被覆 (← リンク)
- 可微分多様体 (← リンク)
- 量子超越性 (← リンク)
- 二重指数関数 (← リンク)
- 計算可能数 (← リンク)
- 戸田の定理 (← リンク)