Similar to 記述計算量

• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Smn定理

  Smn theorem
  
• 

  アルゴリズム

  Algorithm
  
• 

  Μ再帰関数

  General recursive function
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  ▼-1 trends

  
• 

  12345679

  
• 

  計算複雑性理論

  Computational complexity theory
  
• 

  Template:複雑性クラス

  Template:Complexity classes
  
• 

  板取り問題

  Cutting stock problem
  
• 

  ELEMENTARY

  Elementary recursive function
  
• 

  回路計算量

  Circuit complexity
  
• 

  加速定理

  Speedup theorem
  
• 

  還元 (計算複雑性理論)

  Reduction (complexity)
  
• 

  関数問題

  Function problem
  
• 

  近似アルゴリズム

  Approximation algorithm
  
• 

  グジェゴルチク階層

  Grzegorczyk hierarchy
  
• 

  組合せ最適化

  Combinatorial optimization
  
• 

  グリードイド

  Greedoid
  
• 

  計算資源

  Computational resource