Similar to PCP_(計算複雑性理論)

• 

  最長共通部分列問題

  Longest common subsequence
  
• 

  指数関数時間

  Exponential time
  
• 

  指数時間仮説

  Exponential time hypothesis
  
• 

  自然な証明

  Natural proof
  
• 

  線形時間

  Time complexity#Linear time
  
• 

  対話型証明系

  Interactive proof system
  
• 

  多項式階層

  Polynomial hierarchy
  
• 

  多項式時間

  Time complexity#Polynomial time
  
• 

  チューリング次数

  Turing degree
  
• 

  頂点被覆

  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
  ▼-3 trends

  
• 

  量子超越性

  Quantum supremacy
  
• 

  証明

  
• 

  証明 (数学)

  Mathematical proof
  
• 

  可換図式

  Commutative diagram
  
• 

  対偶論法

  Proof by contrapositive
  
• 

  大数の法則

  Law of large numbers