MOC: 計算機科学/アルゴリズム

curated 15 ページ / notes/ 62 ノート。_moc が全体ハブ。

curated — 蒸留した concept / entity (15)

• boolean-satisfiability-sat — 充足可能性問題 (SAT) とエンコーディング concept
• competitive-programming — 競技プログラミング concept
• computability-theory — 計算可能性とチューリングマシン concept
• data-structures — データ構造（探索木・区間・文字列） concept
• distributed-consensus-raft — 分散合意アルゴリズム(Raft) concept
• fast-fourier-transform — 高速フーリエ変換 (FFT) と多項式乗算 concept
• game-tree-search — ゲーム木探索 (Minimax・CFR) concept
• graph-algorithms — グラフアルゴリズム concept
• AHC013 — AHC013 entitie
• CODINGAME — CODINGAME entitie
• atcoder — AtCoder entitie
• serigraph — serigraph entitie
• 『アルゴリズムコンテストチャレンジブック』 — 『アルゴリズムコンテストチャレンジブック』 entitie
• 『実践TLA+』読書メモ — 『実践TLA+』読書メモ entitie
• 『計算理論の基礎』 — 『計算理論の基礎』 entitie

notes — atomic な学習メモ (62)

• 01-BFS
• AHC014
• AHC045
• Aho Corasick — Aho-Corasick
• AtCoder
• AtCoder Beginner Contest
• B-Tree
• BDD
• BDD簡約化アルゴリズムの並列化 — BDD簡約化並列化
• BPP
• Berlekamp Massey Algorithm
• CFRアルゴリズム
• CRDT
• 共通部分式除去 — CSE
• Circuit-SAT
• Cook-Levin Theorem
• DIMACS_CNF_format — DIMACS CNF format
• Dag_vertex_deletion_problem — Dag vertex deletion problem
• Edmonds’ algorithm
• Feedback Vertex Set
• Kruscal法
• Maximum Acyclic Subgraph
• Minimax法
• Minimum Spanning Tree
• NP Complete
• NP Hard
• Probabilistic_polynomial_time_Turing_machine — PPT Turing machine
• PageRank
• Paxos
• Red-Black Tree
• Red-Green Trees
• The Reduction of Directed Cyclic Graph for Task Assignment Problem — Reduction of Directed Cyclic Graph
• 強連結成分分解 — SCC
• Segment Tree
• Tree Decomposition
• Trie — Tri木
• Understanding Fast Fourier Transform from scratch — to solve Polynomial Multiplication. — Understanding FFT
• Zobrist hashing
• baby-step_giant-stepアルゴリズム — baby-step giant-step
• heap splay
• serigraph
• shift network
• コーディングテスト-リソース機能実装問題
• ハルヒ問題
• ボードゲームAI
• 並列グラフ簡約
• 二分木
• 問題 - 組体操 — 問題 組体操
• 四分木
• 多項式階層
• 平方差法
• 最小全域木
• 最小費用流
• 有向グラフ
• 木の分岐数
• 桁DP
• 犯人は誰だ SAT encoding
• 瓶パッキング問題 — 瓶パッキング問題 BPP
• 知識グラフ
• 競プロ
• 素因数分解
• 部分和