「PSPACE完全」を解説文に含む見出し語の検索結果(11～20/48件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/16 01:19 UTC 版)「自動計画」の記事における「階層的なアクション定義を許すプランニング」の解説計画問題を記...
文脈依存文法（ぶんみゃくいぞんぶんぽう、英: context-sensitive grammar）は、形式文法 G = (N, Σ, P, S) において P の生成規則が以下のよう...
文脈依存文法（ぶんみゃくいぞんぶんぽう、英: context-sensitive grammar）は、形式文法 G = (N, Σ, P, S) において P の生成規則が以下のよう...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/13 15:58 UTC 版)「多項式階層」の記事における「多項式階層内のクラス間の関係」の解説定義から、次のような関...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/16 14:33 UTC 版)「線形論理」の記事における「線形論理の変種」の解説線形論理には、様々な限定バージョンや変...
複雑性クラス（ふくざつせいクラス、英: Complexity class）は、計算複雑性理論において関連する複雑性の問題の集合を指す。典型的な複雑性クラスは以下のように定義される。抽象機械 M...
Jump to navigationJump to search計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。(完全に)量化されたブール式とは、すべての変数が存在...
Jump to navigationJump to search計算複雑性理論において、言語TQBFは量化された真のブール式からなる形式言語である。(完全に)量化されたブール式とは、すべての変数が存在...