Computational Solvers • Bitboard Topologies
An architectural decomposition of the algorithms that weakly solved English Checkers: dense 32-bit register representations, mandatory capture branching collapse, alpha-beta NegaScout pruning, and 39-trillion retrograde endgame databases.
Discrete Mathematics • Graph Theory
A formal graph-theoretic framework distinguishing state-space from game-tree complexity across classical board games. Analyzes DAG transformations, monotone progress functions, and dihedral quotient graph reductions.
Stochastic Systems • Probability Theory
Formulating imperfect decision-making under environmental uncertainty: 21 macroscopic polyhedral dice distributions, expectiminimax chance trees, absorbing Markov racing models, and Janowski doubling cube options.