Similar to 圧縮定理
自然な証明
Natural proof
線形時間
Time complexity#Linear time
対話型証明系
Interactive proof system
多項式階層
Polynomial hierarchy
多項式時間
Time complexity#Polynomial time
チューリング次数
Turing degree
頂点被覆
Vertex cover
頂点被覆問題
通信複雑性
Communication complexity
定数時間
Time complexity#Constant timeナップサック問題
Knapsack problem複雑性
Complexity
複雑性クラス
Complexity class部分和問題
Subset sum problem
ブラムの公理
Blum axioms
細矢インデックス
Hosoya index
マトロイド
Matroidランダウの記号
Big O notation
量子コンピュータ
Quantum computer▲4 trends
量子超越性
Quantum supremacy
エルブランの定理
Herbrand's theorem
演繹定理
Deduction theorem
カット除去定理
Cut-elimination theorem
カントールの定理
Cantor's theorem
グッドスタインの定理
Goodstein's theoremクリーネの再帰定理
Kleene's recursion theoremクレイグの補間定理
Craig interpolation
ゲーデルの加速定理
Gödel's speed-up theorem▼-1 trends