Similar to 記述計算量
計算論的トポロジー
Computational topology
最大クリーク問題
Clique problem
最長共通部分列問題
Longest common subsequence
指数関数時間
Exponential time
指数時間仮説
Exponential time hypothesis
自然な証明
Natural proof
線形時間
Time complexity#Linear time
対話型証明系
Interactive proof system
多項式階層
Polynomial hierarchy
多項式時間
Time complexity#Polynomial time
頂点被覆
Vertex cover
頂点被覆問題
Vertex-cover problem
通信複雑性
Communication complexity
定数時間
Time complexity#Constant timeナップサック問題
Knapsack problem複雑性
Complexity
複雑性クラス
Complexity class部分和問題
Subset sum problem
ブラムの公理
Blum axioms
細矢インデックス
Hosoya index
マトロイド
Matroidランダウの記号
Big O notation
量子コンピュータ
Quantum computer▲2 trends
量子超越性
Quantum supremacy
数理論理学
Mathematical logic一階述語論理
First-order logic
一般と特殊 (数学)
Special case
意味論 (論理学)