Solved Games

Game Theory Lab

Interactive simulations of classic games with perfect-play algorithms. Watch unbeatable AI in action, explore game-theoretic solutions, and analyze win conditions in real time.

11
Games
8
Algorithms
Playable
Classic Strategy

Tic-Tac-Toe

A fully solved game. Minimax with alpha-beta pruning plays perfectly — the best you can do is draw. Includes complete decision tree analytics.

Fully Solved Minimax Alpha-Beta Zero-Sum
🔴

Connect Four

Strongly solved in 1988 — first player wins with perfect play. AI uses Minimax + Alpha-Beta with window scoring and center-column preference.

Strongly Solved Minimax Alpha-Beta Zero-Sum

Othello / Reversi

Minimax + Alpha-Beta with positional weights, mobility scoring, and corner-capture bonuses. The AI prioritizes corners and minimizes opponent mobility.

Optimal AI Minimax Positional Weights Canvas
🔵

Checkers

Alpha-Beta Minimax with mandatory capture enforcement, multi-jump chains, king promotion, and back-row/mobility heuristics on a full 8×8 canvas board.

AI Solver Alpha-Beta Minimax Canvas
Puzzle & Logic
🎯

Mastermind

Knuth's 5-guess algorithm guarantees a solution in at most 5 guesses for any 4-peg 6-color code. Minimax over remaining possibilities each turn.

Guaranteed ≤5 Guesses Knuth's Algorithm Minimax
💡

Lights Out

Gaussian elimination over GF(2) finds the minimum button presses to solve any board configuration. Selectable 3×3 through 6×6 grid sizes.

Exact Solver Gaussian Elimination GF(2) Linear Algebra
💣

Minesweeper

Constraint propagation + subset analysis solver. Deduces safe cells and mine positions logically, with probabilistic fallback when forced to guess.

Constraint Solver Subset Analysis Probabilistic
🥢

Nim

Mathematically perfect play via the Sprague-Grundy theorem — the AI computes the Nim-sum (XOR) of all heap sizes and always leaves a losing position.

Mathematically Perfect Nim-Sum XOR Sprague-Grundy
Multi-Player & Tile Games
🔢

2048

Expectimax AI with a Snake heuristic weight matrix. Scores board by tile values, smoothness, monotonicity, and empty cells. Reliably reaches 2048+.

Expectimax AI Snake Heuristic Stochastic
🀱

Rummikub

Tile-rummy simulation with an optimal greedy set-cover solver using dynamic programming to maximize tile placement. Supports 1–4 players.

Optimal Solver Dynamic Programming Set Cover 1–4 Players
🟦

Blokus

4-player territory control with all 21 pieces and all 8 transforms (rotations + flips). AI uses greedy corner-expansion heuristics with lookahead and blocking.

AI Solver Greedy Heuristic Lookahead 4-Player Canvas