Similar to チューリング次数

• 

  NL (計算複雑性理論)

  NL (complexity)
  
• 

  NP

  NP (complexity)
  
• 

  NTIME

  NTIME
  
• 

  P (計算複雑性理論)

  P (complexity)
  
• 

  PCP (計算複雑性理論)

  Probabilistically checkable proof
  
• 

  PH (計算複雑性理論)

  PH (complexity)
  
• 

  P≠NP予想

  P versus NP problem
  ▼-1 trends

  
• 

  PR (計算複雑性理論)

  PR (complexity)
  
• 

  R (計算複雑性理論)

  R (complexity)
  
• 

  RE (計算複雑性理論)

  RE (complexity)
  
• 

  SL (計算複雑性理論)

  SL (complexity)
  
• 

  TQBF問題

  True quantified Boolean formula
  
• 

  UP (計算複雑性理論)

  UP (complexity)
  
• 

  圧縮定理

  Compression theorem
  
• 

  アルゴリズム解析

  Analysis of algorithms
  
• 

  NP困難

  NP-hardness
  
• 

  記述計算量

  Descriptive complexity theory
  
• 

  グジェゴルチク階層

  Grzegorczyk hierarchy
  
• 

  PSPACE

  PSPACE
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Smn定理

  Smn theorem
  
• 

  エルブランの定理

  Herbrand's theorem
  
• 

  ギルモアのアルゴリズム

  
• 

  グッドスタインの定理

  Goodstein's theorem
  
• 

  クヌース・ベンディックス完備化アルゴリズム

  Knuth–Bendix completion algorithm
  
• 

  ゲーデルの完全性定理

  Gödel's completeness theorem
  
• 

  ゲーデルの不完全性定理

  Gödel's incompleteness theorems
  ▼-1 trends

  
• 

  再帰理論