Similar to 計算機援用証明
巡回セールスマン問題
Travelling salesman problem▲2 trends
ショーンハーゲ・ストラッセン法
Schönhage–Strassen algorithm
スライスサンプリング
Slice sampling
制約充足問題
Constraint satisfaction problem
セシィ–ウルマン法
Sethi–Ullman algorithm
接尾辞木
Suffix tree
接尾辞配列
Suffix array
選択アルゴリズム
Selection algorithm
ソート
Sorting algorithm▲1 trendsソフトウェア開発技術者試験
ダイクストラ法
Dijkstra's algorithm▲1 trends
多段フィードバックキュー
Multilevel feedback queue
遅延書き込み
逐次最小問題最適化法
Sequential minimal optimization
中央値の中央値
Median of medians
抽象データ型
Abstract data type
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
トークンバケット
Token bucket
凸包アルゴリズム
Convex hull algorithms
トポロジカルソート
Topological sorting
トモグラフィック復元
Tomographic reconstruction貪欲法
Greedy algorithm▲1 trends
バイナリ空間分割
Binary space partitioningハイフネーションアルゴリズム
Hyphenation algorithm
バケットソート
Bucket sort
PAD (ソフトウェア設計)
幅優先探索
Breadth-first search
ビーズソート
Bead sort