Similar to 計算論的トポロジー

• 

  線形時間

  Time complexity#Linear time
  
• 

  対話型証明系

  Interactive proof system
  
• 

  多項式階層

  Polynomial hierarchy
  
• 

  多項式時間

  Time complexity#Polynomial time
  
• 

  チューリング次数

  Turing degree
  
• 

  頂点被覆

  Vertex cover
  
• 

  頂点被覆問題

  
• 

  通信複雑性

  Communication complexity
  
• 

  定数時間

  Time complexity#Constant time
  
• 

  ナップサック問題

  Knapsack problem
  ▲1 trends

  
• 

  複雑性

  Complexity
  
• 

  複雑性クラス

  Complexity class
  
• 

  部分和問題

  Subset sum problem
  
• 

  ブラムの公理

  Blum axioms
  
• 

  細矢インデックス

  Hosoya index
  
• 

  マトロイド

  Matroid
  
• 

  ランダウの記号

  Big O notation
  
• 

  量子コンピュータ

  Quantum computer
  ▼-1 trends

  
• 

  量子超越性

  Quantum supremacy
  
• 

  Gyoukou

  Gyoukou
  
• 

  Lexical Markup Framework

  Lexical Markup Framework
  
• 

  NAREGI

  
• 

  Oakforest-PACS

  
• 

  PACS (並列計算機)

  QCDPAX
  
• 

  PAW法

  Projector augmented wave method
  
• 

  Shoubu

  
• 

  Suiren

  
• 

  Suiren Blue