「回路計算量」を解説文に含む見出し語の検索結果(1～10/24件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/10/30 11:39 UTC 版)「回路計算量」の記事における「一様性」の解説論理回路は一様でない計算模型の典型例であり、...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/10/30 11:39 UTC 版)「回路計算量」の記事における「複雑性クラス」の解説回路計算量の複雑性クラスの多くはクラス...
回路計算量（英: circuit complexity）とは、計算複雑性理論において、ブール関数をその計算に要する計算資源の量によって分類することを指す。回路計算量では、それらの資源量は論理回...
回路計算量（英: circuit complexity）とは、計算複雑性理論において、ブール関数をその計算に要する計算資源の量によって分類することを指す。回路計算量では、それらの資源量は論理回...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/13 06:48 UTC 版)「アヴィ・ヴィグダーソン」の記事における「賞と栄誉」の解説ヴィグダーソンは1994年計算...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/16 08:14 UTC 版)「P≠NP予想」の記事における「自然な証明」の解説詳細は「自然な証明」を参照 1980年...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/27 03:33 UTC 版)「PP (計算複雑性理論)」の記事における「PPと他の複雑性クラスの比較」の解説上述の通...
計算複雑性理論において、自然な証明（英：natural proof）とは、ある複雑性クラスが他の複雑性クラスとは異なることを示すための証明手法の一種である。これに則る証明はある意味で「自然」だが、擬似...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 20:32 UTC 版)「計算複雑性理論」の記事における「計算問題と計算量・複雑性」の解説計算複雑性理論で扱う問...
NL（えぬえる、英: Nondeterministic Logarithmic-space）は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
< 前の結果 | 次の結果 >