Similar to 計算複雑性理論
竹内関数
Tak (function)チャイティンの定数
Chaitin's constantチャーチ=チューリングのテーゼ
Church–Turing thesisチューリング完全
Turing completeness停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver▲1 trends非同期セル・オートマトン
Asynchronous cellular automaton前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tileLEDA
Library of Efficient Data types and Algorithmsギロチンカット問題
Guillotine cutting均一コスト探索
Uniform-cost searchクラスカル法
Kruskal's algorithmクリストフィードのアルゴリズム
Christofides algorithm最大カット問題
Maximum cut最短経路問題
Shortest path problem十文字法
Criss-cross algorithm巡回セールスマン問題
Travelling salesman problemジョブショップ・スケジューリング問題
Job-shop schedulingダイクストラ法
Dijkstra's algorithm▼-1 trends楕円体法
Ellipsoid method中国人郵便配達問題
Chinese postman problem