But the math problem underlying Alice’s dilemma — called the reachability problem for vector addition systems — is surprisingly subtle. While some cases can be solved easily, computer scientists ...