Considera el problema de encontrar el número máximo de caballeros que se pueden colocar en un tablero de ajedrez sin que dos de ellos se ataquen entre sí. La respuesta es 32: no es demasiado difícil encontrar una coincidencia perfecta (el gráfico inducido por los movimientos de los caballeros es bipartito, y hay una coincidencia perfecta para un tablero de 4 × 4), que obviamente es una cubierta de borde mínima. Tampoco es difícil demostrar que la respuesta es para un tablero de ajedrez cada vez que : es suficiente mostrar coincidencias para y hacer un poco de juego de pies de inducción.m , n ≥ 3 3 ≤ m , n ≤ 6
Por otro lado, si el tablero de ajedrez fuera toroidal fueran pares, la prueba ni siquiera requeriría mostrar una coincidencia para tableros pequeños: el mapa tiene solo ciclos de longitud uniforme, por lo que debe haber una combinación perfecta.( x , y ) → ( x + 1 , y + 2 )
¿Existe algún equivalente para los tableros de ajedrez rectangulares , es decir, hay alguna forma más simple de demostrar que para suficientemente grande siempre hay una combinación perfecta del tablero de ajedrez? Para tableros grandes, el tablero rectangular y el tablero toroidal son casi equivalentes en el sentido de que la fracción de bordes faltantes llega a cero, pero no conozco ningún resultado teórico que garantice una coincidencia perfecta en ese caso.
¿Qué pasa si, en lugar de saltar en cualquier dirección, un caballero salta cuadrados en cualquier dirección? O, para el caso, cuadrados, con impar y coprimo? Si no es una forma sencilla de probar que la respuesta es para suficientemente grande (por ejemplo, ), ¿Cómo se ve ?( 2 , 3 ) ( p , q ) p + q p , q ⌈ m n