Considere o problema de encontrar o número máximo de cavaleiros que podem ser colocados em um tabuleiro de xadrez sem que dois deles se atacem. A resposta é 32: não é muito difícil encontrar uma combinação perfeita (o gráfico induzido pelos movimentos dos cavaleiros é bipartido e há uma combinação perfeita para uma prancha 4 × 4), o que obviamente é uma cobertura mínima da borda. Também não é difícil provar que a resposta é para um tabuleiro de xadrez sempre que : basta mostrar combinações para e faça um pouco de footwork de indução.m×nm,n≥33≤m,n≤6
Por outro lado, se o tabuleiro de xadrez fosse toroidal e fosse par, a prova nem exigiria a exibição de uma correspondência para tabuleiros pequenos: o mapa tem apenas ciclos de comprimento uniforme; portanto, deve haver uma correspondência perfeita.( x , y ) → ( x + 1 , y + 2 )
Existe algum equivalente para tabuleiros de xadrez retangulares , ou seja, existe uma maneira mais simples de mostrar que, para suficientemente grande sempre existe uma correspondência perfeita do tabuleiro de xadrez? Para placas grandes, a placa retangular e a placa toroidal são quase equivalentes no sentido de que a fração de arestas ausentes chega a zero, mas não conheço nenhum resultado teórico que garanta uma correspondência perfeita nesse caso.
E se, em vez de pular em qualquer direção, um cavaleiro pular quadrados em qualquer direção? Ou, nesse caso, quadrados, com ímpar coprime? Se não é uma simples forma de provar que a resposta é para suficientemente grande (por exemplo, m, n \ GEQ C (p, q) ), como é C (p, q) ?( 2 , 3 ) ( p , q ) p + q p , q