EXPSPACE
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/10/13 14:47 UTC 版)
計算複雑性理論において、複雑性クラス EXPSPACE とは、決定性チューリング機械で O(2p(n)) の領域を使って解ける全決定問題の集合である。ここで、p(n) は n の多項式関数である。p(n) を一次関数に限定する場合もあるが、通常そのようなクラスは ESPACE と呼ばれる。
|
- 1 EXPSPACEとは
- 2 EXPSPACEの概要
- EXPSPACEのページへのリンク