Estoy leyendo un libro sobre la Combinatoria, la Teoría de juegos que se describe una prueba por John Nash que el Hexadecimal es un 'primer jugador gana, pero me parece que la prueba es muy confuso. Esta prueba utiliza una estrategia de robo de argumento.
En un momento dice:
Con este (primer) mover a la Izquierda se convierte en el Segundo.
¿Cómo se puede dar el primer paso hacer un Segundo?
Al final dice:
En algún momento, si esta estrategia requiere de la Izquierda para colocar una piedra en la que el extra se encuentra; entonces ella se limita a hacer otra arbitrariedad. Así, la Izquierda puede ganar en contradicción con la hipótesis.
Yo no entendía en absoluto. ¿Por qué el juego de la llamada para una colocación en "extra" si ese lugar ya está ocupado por una piedra? Alguien puede explicar esta prueba para mí de una manera que yo pueda entender?
Aquí está la prueba:
Es la prueba por contradicción. Vamos a la Izquierda de hacer el primer juego de la juego, y asumir que el Derecho tiene una estrategia ganadora. Con la Izquierda de la primera mover ella pone una piedra en cualquier celda, una colocación llamado "extra". Con este se mueva a la Izquierda se convierte en una Segunda, y ella de ahora en adelante sigue la ganadora la estrategia que está disponible a la Derecha. En algún momento, si esta estrategia pide a la Izquierda para colocar una piedra en la que el extra se encuentra; entonces ella se simplemente hacer otra arbitrariedad. Así, la Izquierda puede ganar en contradicción con la hipótesis.