Category: Blog
-
How to Learn Knuth–Bendix Completion: Rewrite Rules, Term Orders, Critical Pairs, Confluence and Equational Reasoning
A beginner-to-professional guide to Knuth–Bendix completion, covering equations, term rewriting, reduction orders, critical pairs, confluence, termination, completion loops and theorem-prover engineering.
-
How to Learn the Moser–Tardos Resampling Algorithm: Bad Events, Dependency Graphs, Witness Trees and Constructive Lovász Local Lemma
A beginner-to-professional guide to the Moser–Tardos resampling algorithm, covering bad events, variable models, dependency graphs, resampling, witness trees, expected work, applications and implementation discipline.
-
How to Learn Wave Function Collapse: Local Constraints, Entropy, Observation, Propagation and Procedural Generation
A beginner-to-professional guide to Wave Function Collapse covering tile and overlapping models, domains, entropy, observation, constraint propagation, contradictions, backtracking, validation and production procedural generation.
-
How to Learn the Boykov–Kolmogorov Max-Flow Algorithm: Two Search Trees, Grow–Augment–Adopt Phases and Graph-Cut Optimisation
A beginner-to-professional guide to the Boykov–Kolmogorov max-flow algorithm covering residual graphs, two search trees, grow–augment–adopt phases, orphan repair, graph cuts, validation and professional benchmarking.
-
How to Learn the Shunting Yard Algorithm: Tokens, Operator Stacks, Precedence, Associativity and Expression Parsing
A beginner-to-professional guide to Dijkstra’s shunting yard algorithm covering tokenisation, operator stacks, precedence, associativity, parentheses, functions, unary operators, ASTs, testing and production parser design.
-
How to Learn Aho–Corasick: Tries, Failure Links, Output Links and One-Pass Multi-Pattern String Matching
A beginner-to-professional guide to Aho–Corasick covering tries, failure links, output links, BFS construction, streaming multi-pattern search, complexity, Unicode, testing and production trade-offs.
