앨리스 장군과 밥 장군이 병사 N명으로 전쟁 게임을 한다. i번 병사의 공격력은 Ai, 방어력은 Di이다.
게임을 시작하기 전에 두 장군은 번갈아 병사를 뽑고, 앨리스가 먼저 뽑는다. 지금까지 뽑힌 병사의 집합을 S라고 하자. 차례가 된 장군은 다음 두 조건 중 적어도 하나를 만족하는 병사 x를 뽑을 수 있다.
- S에 속한 모든 병사 s에 대해 Ax>As
- S에 속한 모든 병사 s에 대해 Dx>Ds
S가 비어 있는 동안에는 두 조건이 모두 성립하므로 첫 병사는 아무나 뽑아도 된다. 이미 S에 있는 병사는 자기 공격력과 방어력을 넘지 못하므로 다시 뽑을 수 없다. 차례가 된 장군이 뽑을 병사가 하나도 없으면 선발이 끝나고 게임이 시작된다.
앨리스는 밥보다 병사를 많이 뽑으려 하고, 밥은 이를 막으려 한다. 두 장군이 각자의 목표에 맞춰 최선을 다할 때 앨리스가 목표를 이루는지 판정하라.