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