¿Pueden un Rey y un Caballero forzar un punto muerto contra un Rey solitario?

12

Creo que un Rey y dos Caballeros pueden forzar el estancamiento contra un Rey solitario (aunque obviamente no es un jaque mate) ... pero ¿qué pasa con un Rey y un Caballero contra un Rey solitario?

Primero pensé que forzar el estancamiento sería imposible. Así que establecí una posición aleatoria con King + Knight vs King donde el Rey solitario estaba al borde del tablero, e intenté analizarlo.

El resultado: ¡las blancas pueden forzar un punto muerto! El truco es el movimiento 3. Kd2 !!

Estancamiento en 9 - -
1. Nb2 Ka2 2. Cc4 Ka1
( 2 ... Kb1 3. Kd2 Ka1 ( 3 ... Ka2 4. Kc2 Ka1 5. Na3 Ka2 6. Nb1 Ka1 7. Nc3 ) 4. Kc1 Ka2 5. Kc2 Ka1 6. Na3 Ka2 7. Nb1 Ka1 8. Nc3 )
3. Kd2 Kb1
( 3 ... Ka2 4. Kc2 Ka1 5. Na3 Ka2 6. Nb1 Ka1 7. Nc3 )
4. Kd1 Ka1
( 4 ... Ka2 5. Kc2 Ka1 6. Na3 Ka2 7. Nb1 Ka1 8. Cc3 )
5. Kc1 Ka2 6. Kc2 Ka1 7. Na3 Ka2 8. Nb1 Ka1 9. Cc3

Esto no prueba que un Rey y un Caballero siempre puedan forzar el estancamiento contra un Rey solitario, pero al menos muestra que no es completamente inconcebible que Rey + Caballero pueda forzar el estancamiento.

Obviamente no quiero una respuesta de "sí / no" sin ninguna evidencia que lo respalde. Me gustaría una prueba irrefutable o al menos alguna evidencia muy sólida.

Una idea es construir una base de mesa de final de juego que tenga en cuenta el estancamiento como una victoria, lo que equivale a decir que las blancas ganan cuando capturan al Rey de las Negras. Solo tendría que haber 64x63x62 = 249984 posiciones.

Una segunda idea sería obtener un motor básico y modificar su código para que tenga en cuenta el estancamiento como una victoria, y probablemente también pueda tirar la mayor parte del código del motor para que se calcule más rápido. Luego haz que calcule Rey + Caballero vs Rey en algunas posiciones donde el Rey solitario comienza en el borde del tablero (pero no demasiado cerca de una esquina). Pero esta idea sería menos convincente que la base de tabla.

Destino
fuente

Respuestas:

13

Una búsqueda exhaustiva en la computadora muestra que, como se esperaba, K + N no puede en general forzar el estancamiento contra un K.

De hecho, el Rey defensor puede evitar el estancamiento siempre que no esté en uno de los vecindarios triangulares de seis cuadrados de las esquinas que se muestran en el siguiente diagrama

Zona peligrosa

incluso en el borde largo de cada triángulo (los doce Reyes Blancos en el diagrama) el estancamiento solo se puede forzar en algunas posiciones especiales. A saber, Kb2 para mover puede ser estancado por la fuerza solo desde esta posición

Mutua Zugzwang

y su reflejo sobre la diagonal a1-h8; y Ka3 para moverse está estancado solo si se enfrenta a un Kc3 y un Caballero en uno de los cuadrados b2, c5, b6 que controlan a4 (el primero de estos surge al comienzo del estancamiento en 9 mostrado por Petrosian ).

También se deduce que cada una de estas cuatro posiciones es mutua Zugzwang: el defensor queda estancado por la fuerza solo si está en movimiento. Hay pocos Zugzwangs suficientes (simetrías integrales) para enumerarlos a todos. Una es la posición perdedora única de longitud máxima:

Mutua Zugzwang

Se obtienen dos más moviendo a los Kings de b1 / d1 a a1 / c1 o a2 / c2. Finalmente, Ka2 contra Kc2 y Nb1 (b5) son los Zugwangs mutuos más cortos.

Como sugirió Glorfindel , algunas de estas posiciones son relevantes para el final de Troitzky KNN / KP. Por ejemplo, este es un Zugzwang mutuo (en el sentido habitual de ganar BTM y empatar WTM), al igual que cada una de las tres posiciones BTM en la línea principal 1 ... Kg7 2 Kg5 Kg8 3 Kg6 Kf8 4 Kf6:

Mutua Zugzwang
Noam D. Elkies
fuente
2

La cuestión de si el rey y el caballero contra el rey solo pueden forzar el estancamiento es bastante teórica. En la práctica, siempre es un empate ya que el rey y el caballero no pueden aparearse con el rey solo.

El estancamiento no puede ser forzado. Solo se puede lograr cuando el rey solo está en una de las esquinas, por lo que solo el rey debe ayudar:

Marco
fuente
3
No es del todo teórico. En el final del juego KNN vs KP, que bajo ciertas condiciones se gana para el bando con los caballeros, el procedimiento ganador consiste en bloquear el peón con un caballero, paralizar al rey solitario con rey + caballero y permitir que el peón corra mientras el bloqueo Caballero entrega jaque mate.
Glorfindel
El OP preguntó si era posible un estancamiento forzado en KN vs K.
Marco
2
El punto de Glorfindel es que si tiene un procedimiento para estancarse en KN vs K, puede usar ese procedimiento para ganar KNN vs KP.
dfan
2
@dfan Ganar Troitzky no es lo mismo que forzar el estancamiento en KN / K. Aunque solo una N se mueve, otra N ayuda fuertemente en el proceso.
user58697
3
@ usuario58697 Sí, de acuerdo. Si fuera posible paralizar de manera confiable a un rey con solo un rey y un caballero, ¡KNN vs KP sería mucho más fácil!
dfan