コンテンツにスキップ
メインメニュー
メインメニュー
サイドバーに移動
非表示
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
練習用ページ
アップロード (ウィキメディア・コモンズ)
ヘルプ
ヘルプ
井戸端
お知らせ
バグの報告
寄付
ウィキペディアに関するお問い合わせ
検索
検索
表示
アカウント作成
ログイン
個人用ツール
アカウント作成
ログイン
ログアウトした編集者のページ
もっと詳しく
投稿記録
トーク
目次
サイドバーに移動
非表示
ページ先頭
1
複雑性クラス
2
計算機械モデル
3
階層定理
4
一般化
目次の表示・非表示を切り替え
DSPACE
8の言語版
Català
Deutsch
English
Español
فارسی
Français
Português
Српски / srpski
リンクを編集
ページ
ノート
日本語
閲覧
編集
履歴表示
ツール
ツール
サイドバーに移動
非表示
操作
閲覧
編集
履歴表示
全般
リンク元
関連ページの更新状況
ファイルをアップロード
特別ページ
この版への固定リンク
ページ情報
このページを引用
短縮URLを取得する
QRコードをダウンロード
ウィキデータ項目
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
表示
サイドバーに移動
非表示
出典: フリー百科事典『ウィキペディア(Wikipedia)』
デジタルリポジトリについては「
DSpace
」をご覧ください。
D
S
P
A
C
E
ま
た
は
S
P
A
C
E
は
、
計
算
複
雑
性
理
論
に
お
け
る
計
算
資
源
の
う
ち
空
間
的
リ
ソ
ー
ス
を
指
し
、
決
定
性
チ
ュ
ー
リ
ン
グ
機
械
の
メ
モ
リ
空
間
を
表
す
。
実
在
の
一
般
的
コ
ン
ピ
ュ
ー
タ
が
、
あ
る
問
題
を
特
定
の
ア
ル
ゴ
リ
ズ
ム
で
解
く
の
に
要
す
る
メ
モ
リ
空
間
の
量
を
表
す
。
実
際
の
リ
ソ
ー
ス
︵
プ
ロ
グ
ラ
ム
の
実
行
に
必
要
な
物
理
的
メ
モ
リ
量
︶
と
直
接
対
応
す
る
こ
と
か
ら
、
最
も
よ
く
研
究
さ
れ
て
い
る
複
雑
性
の
尺
度
の
1
つ
で
あ
る
。
複
雑
性
ク
ラ
ス
[
編
集
]
D
S
P
A
C
E
と
い
う
尺
度
は
、
あ
る
メ
モ
リ
空
間
量
を
使
っ
て
解
け
る
全
て
の
決
定
問
題
の
集
合
で
あ
る
複
雑
性
ク
ラ
ス
の
定
義
に
使
わ
れ
る
。
任
意
の
関
数
f
(
n
)
に
つ
い
て
、
複
雑
性
ク
ラ
ス
S
P
A
C
E
(
f
(
n
)
)
が
あ
り
、
決
定
性
チ
ュ
ー
リ
ン
グ
機
械
で
O
(
f
(
n
)
)
の
空
間
︵
領
域
︶
を
使
っ
て
解
け
る
決
定
問
題
の
集
合
を
表
す
。
こ
の
場
合
、
計
算
に
か
か
る
時
間
に
制
限
は
な
い
が
、
他
の
複
雑
性
尺
度
は
制
限
さ
れ
る
こ
と
も
あ
る
。
い
く
つ
か
の
重
要
な
複
雑
性
ク
ラ
ス
が
D
S
P
A
C
E
を
使
っ
て
定
義
さ
れ
る
。
P
S
P
A
C
E
は
D
S
P
A
C
E
を
使
っ
て
次
の
よ
う
に
定
義
さ
れ
る
。
PSPACE
=
⋃
k
∈
N
DSPACE
(
n
k
)
{\displaystyle {\mbox{PSPACE}}=\bigcup _{k\in \mathbb {N} }{\mbox{DSPACE}}(n^{k})}
計
算
機
械
モ
デ
ル
[
編
集
]
D
P
S
A
C
E
は
一
般
に
決
定
性
チ
ュ
ー
リ
ン
グ
機
械
上
の
尺
度
で
あ
る
。
い
く
つ
か
の
重
要
な
空
間
複
雑
性
ク
ラ
ス
は
準
線
形
、
す
な
わ
ち
必
要
な
領
域
が
入
力
サ
イ
ズ
よ
り
小
さ
い
。
従
っ
て
、
入
力
の
サ
イ
ズ
や
出
力
の
サ
イ
ズ
を
除
外
し
な
い
と
、
あ
る
ア
ル
ゴ
リ
ズ
ム
が
使
用
す
る
真
の
メ
モ
リ
空
間
量
は
わ
か
ら
な
い
。
こ
の
た
め
の
モ
デ
ル
と
し
て
複
数
の
テ
ー
プ
を
持
つ
チ
ュ
ー
リ
ン
グ
機
械
が
あ
り
、
入
力
専
用
で
書
き
込
ま
れ
る
こ
と
が
な
い
テ
ー
プ
と
出
力
専
用
で
読
み
込
ま
れ
る
こ
と
が
な
い
テ
ー
プ
を
持
ち
、
そ
れ
ら
以
外
の
作
業
用
テ
ー
プ
の
使
用
領
域
が
メ
モ
リ
使
用
量
と
な
る
。
こ
の
よ
う
な
モ
デ
ル
を
想
定
す
る
こ
と
で
、
L
︵
対
数
領
域
︶
の
よ
う
な
小
さ
な
空
間
複
雑
性
ク
ラ
ス
が
定
義
で
き
る
。
階
層
定
理
[
編
集
]
領
域
階
層
定
理
︵
英
語
版
︶
に
よ
れ
ば
、
全
て
の
領
域
構
成
可
能
関
数
f
:
N
→
N
{\displaystyle f:\mathbb {N} \to \mathbb {N} }
に
つ
い
て
言
語
L
が
存
在
し
て
、
領
域
O
(
f
(
n
)
)
{\displaystyle O(f(
n
))}
で
は
判
定
可
能
だ
が
、
領
域
o
(
f
(
n
)
)
{\displaystyle o(f(
n
))}
で
は
判
定
不
能
で
あ
る
。
一
般
化
[
編
集
]
D
S
P
A
C
E
と
対
に
な
る
概
念
と
し
て
N
S
P
A
C
E
が
あ
る
。
N
S
P
A
C
E
は
非
決
定
性
チ
ュ
ー
リ
ン
グ
機
械
に
お
け
る
メ
モ
リ
空
間
の
ク
ラ
ス
︵
の
記
法
︶
で
あ
る
。
サ
ヴ
ィ
ッ
チ
の
定
理
に
よ
れ
ば
、
次
の
よ
う
な
関
係
が
成
り
立
つ
。
DSPACE
[
s
(
n
)
]
⊆
NSPACE
[
s
(
n
)
]
⊆
DSPACE
[
(
s
(
n
)
)
2
]
.
{\displaystyle {\mbox{DSPACE}}[s(
n
)]\subseteq {\mbox{NSPACE}}[s(
n
)]\subseteq {\mbox{DSPACE}}[(s(
n
))^{2}].}
表
話
編
歴
主な
複雑性クラス
実用的な時間で解けるクラス
DLOGTIME
AC
0
ACC
0
TC
0
L
SL
RL
NL
NC
SC
CC
P
P完全
ZPP
RP
BPP
BQP
APX
実用的な時間で解けないと疑われているクラス
UP
NP
NP完全
NP困難
co-NP
co-NP完全
AM
QMA
PH
⊕P
PP
#P
#P完全
IP
PSPACE
実用的な時間では解けないクラス
EXPTIME
NEXPTIME
EXPSPACE
ELEMENTARY
PR
R
RE
ALL
クラス階層
多項式階層
指数階層
グジェゴルチク階層
算術的階層
ブーリアン階層
クラスの族
DTIME
NTIME
DSPACE
NSPACE
PCP
対話型証明系
一覧
・
カテゴリ
カテゴリ
:
複雑性クラス
計算資源
数学に関する記事