Zero Forcing Duel

Grounded in "A Two-Player Zero Forcing Game" (arXiv:2608.04579), Dickson Y. B. Annor & Ben Howerton. The paper defines a competitive game where Alice and Bob alternately seed vertices in their own colour on a connected graph, each trying to minimise their own seed count, while the zero forcing rule cascades automatically: any coloured vertex with exactly one white neighbour immediately forces that neighbour to its own colour. They prove the game value Z_g(G) ≥ Z(G) (the classical zero forcing number), solve Z_g exactly for paths, cycles, stars, complete graphs and complete bipartite graphs, and verify Z_g(G) ≤ 2·Z(G) by exact computation through order nine. This demo lets you play that duel against a greedy AI Bob on those exact families (n = 3–9, matching the paper's order-nine verification range), computes Z(G) for your current graph by brute force, and tracks your total seeds against that classical benchmark round after round. One simplification: forces fire the instant they're legal (as above), which makes the paper's "force-preservation" rule structurally automatic — no player ever gets a chance to steal an already-established force — so the whole strategic tension collapses onto which vertex to seed next, exactly the choice Z_g(G) is built to measure.