Imaginemos que tenemos dos ejércitos, representado por las listas de pares de números positivos, como este: [($attack1$,$defence1$),($a2$,$d2$)...($an$,$dn$)] se enfrentan en combate. Las reglas de combate son las siguientes: cada unidad (pareja de ataque $a$ y de defensa,$d$) podrá en cualquier momento elegir un destino; a continuación, hace daño continuamente a su destino a una tasa de $a$ por segundo hasta que se elige otro destino o "muere" (es decir, su defensa se convierte en 0). Las unidades pueden cambiar los objetivos en cualquier momento. Cada ejército juega de forma óptima a maximizar su fuerza en el momento en que todas las unidades enemigas están muertos (si es que va a ganar) o para minimizar la fuerza del ejército enemigo (si es que va a ser enrutado). Un ejército gana matando a cada unidad en el lado opuesto. Un ejército de $A$ es de mayor fuerza que el ejército de $B$ si puede derrotar a $B$ y cualquier ejercito $B$ puede derrotar o vínculos con.
Suponemos que la función de $strength(A) = d1*(a1+a2...an) + d2*(a2+a3...an)...dn*an$ donde $(a1,d1)...(an,dn)$ son las unidades de $A$ ordenado por $(attack /defence)$ en orden descendente es una medida de un ejército de la fuerza tal que:
Si $A1$ caras $A2$$strength(A1) > strength(A2)$, entonces A1 saldrá victorioso con una fuerza restante $strength(A1) - strength(A2)$
Si $strength(A1) = strength(A2)$ después dibujan, ya sea a través de ambos se enruta o la batalla de nunca acabar. Yo no puedo probarlo. Puede usted?