Similar to 計算機援用証明
クラスカル法
Kruskal's algorithm
グルシコフ法
Glushkov's construction algorithm
形態素解析
Morphological analysis (problem-solving)
決定的アルゴリズム
Deterministic algorithm
最長共通部分列問題
Longest common subsequence
ザイフェルトのアルゴリズム
最良優先探索
Best-first search
先読み
Lookahead
座標法
Shoelace formula
3次元再構成法
シグネチャ法
Signature file
自然言語処理
Natural language processing
シュトラッセンのアルゴリズム
Strassen algorithm
巡回セールスマン問題
Travelling salesman problem
ショーンハーゲ・ストラッセン法
Schönhage–Strassen algorithm
ジョンソン法 (グラフ理論)
Johnson's algorithm
スライスサンプリング
Slice sampling
制約充足問題
Constraint satisfaction problem
セシィ–ウルマン法
Sethi–Ullman algorithm
接尾辞木
Suffix tree
接尾辞配列
Suffix array
選択アルゴリズム
Selection algorithm
ソート
Sorting algorithm▲1 trendsソフトウェア開発技術者試験
ダイクストラ法
Dijkstra's algorithm
多段フィードバックキュー
Multilevel feedback queue
遅延書き込み
逐次最小問題最適化法
Sequential minimal optimization