Similar to NEXPTIME

• 

  CFL条件

  Courant–Friedrichs–Lewy condition
  
• 

  Disquisitiones Arithmeticae

  Disquisitiones Arithmeticae
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  DTIME

  DTIME
  
• 

  0

  0
  
• 

  1

  1
  ▼-1 trends

  
• 

  2

  2
  ▼-1 trends

  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  12345679

  
• 

  計算複雑性理論

  Computational complexity theory
  
• 

  Template:複雑性クラス

  Template:Complexity classes
  
• 

  板取り問題

  Cutting stock problem
  
• 

  ELEMENTARY

  Elementary recursive function
  
• 

  回路計算量

  Circuit complexity
  
• 

  加速定理

  Speedup theorem
  
• 

  還元 (計算複雑性理論)

  Reduction (complexity)
  
• 

  関数問題

  Function problem
  
• 

  記述計算量

  Descriptive complexity theory
  
• 

  近似アルゴリズム

  Approximation algorithm
  
• 

  グジェゴルチク階層

  Grzegorczyk hierarchy
  
• 

  組合せ最適化

  Combinatorial optimization
  
• 

  グリードイド

  Greedoid