MOC(curated): アルゴリズム/計算理論

curated 派生層の algorithms ドメイン 18 ページ。_cmoc が全体ハブ。

• automata-formal-languages — オートマトンと形式言語 concept
• balanced-search-tree — 平衡探索木 (Balanced Search Tree) concept
• binary-decision-diagram — 二分決定図 (BDD / ZDD) concept
• boolean-satisfiability-sat — 充足可能性問題 (SAT) とエンコーディング concept
• competitive-programming-heuristics — 競技プログラミングとヒューリスティック最適化 concept
• competitive-programming-techniques — 競技プログラミングの典型テクニック concept
• computability-theory — 計算可能性とチューリングマシン concept
• conflict-free-replicated-data-type — CRDT (Conflict-free Replicated Data Type) concept
• distributed-consensus-raft — 分散合意アルゴリズム(Raft) concept
• fast-fourier-transform — 高速フーリエ変換 (FFT) と多項式乗算 concept
• feedback-arc-set — Feedback Arc Set と巡回除去 concept
• game-tree-search — ゲーム木探索 (Minimax・CFR) concept
• minimum-spanning-tree — 最小全域木 (Minimum Spanning Tree) concept
• segment-tree — セグメント木 (Segment Tree) concept
• strongly-connected-components — 強連結成分分解とトポロジカルソート concept
• trie-string-matching — Trie と文字列探索 (Aho-Corasick) concept
• atcoder — AtCoder entitie
• serigraph — serigraph entitie