Category:計算複雑性理論
NTIME
NTIME記述計算量
Descriptive complexity theoryブラムの公理
Blum axioms細矢インデックス
Hosoya index対話型証明系
Interactive proof systemNEXPTIME
NEXPTIMETQBF問題
True quantified Boolean formula線形時間
Time complexity#Linear time部分和問題
Subset sum problemP≠NP予想
P versus NP problem