Théorie Combinatoire des Jeux & Moteurs Déterministes

Analyses approfondies sur les topologies de bitboards, l'élagage alpha-bêta, les bases de données rétrogrades et les protocoles de dés cryptographiquement vérifiables.

Informatique des Échecs · Bitboards 64-bits

Architecture des Moteurs d'Échecs Modernes : Bitboards Magiques 64-bits, Élagage Alpha-Bêta et Réseaux NNUE

Une étude approfondie des représentations d'état en 64 bits, du hachage parfait pour pièces coulissantes, des réductions dynamiques et de l'évaluation neuronale.

Jeux Résolus & Bases de Données · Bitboards 32-bits

Résolution Mathématique du Jeu de Dames 8x8 : Générateurs SWAR et les 39 Billions d'États de Chinook

Analyse de la preuve formelle d'égalité parfaite dans le jeu de dames américain par Jonathan Schaeffer : espaces compacts, calcul parallèle des prises obligatoires et tables rétrogrades.

Processus Stochastiques & Cryptographie · Chaînes de Markov

Processus de Décision Markoviens et Protocoles de Dés Cryptographiquement Équitables dans le Backgammon

Modélisation mathématique des arbres stochastiques à 21 issues, matrices fondamentales du bearoff, équité du videau et architecture Commit-Reveal HMAC-SHA256.