KNIGHT COVERING OPTIMALITY PROOFS
3x3 - 10x10



3x3
4 knights required.
Suppose we have a solution that covers the board.

x o x        Case 1: no Figure 1 x-square is occupied in the solution.
o o o        No o-square can be covered by an attack, therefore all o-squares
x o x        must be occupied, and the solution must have at least 5 knights.
Figure 1

x o o        Case 2: a Figure 1 x-square is occupied in the solution.
- o -        Pick one of them, then rotate the board so that its location becomes
- - -        the x-square in Figure 2.  Then the 3 o-squares must each be covered
Figure 2     by a separate knight, so the solution must have at least 4 knights.

4x4
4 knights required.
- - - a   A single knight cannot cover all 3 a-squares or all 3 b-squares,
a - - b   thus both sets require 2 knights.  Any knight that covers the squares
b - - a   of one letter group does not cover any square of the other letter group.
- - - b   Therefore, 2 separate sets of 2 knights are required to cover them all.

5x5
5 knights required.
Suppose we have a solution that covers the board.

x x x x x   Case 1: no Figure 1 x-square is occupied in the solution.
x x o x x   Then, similarly to Case 1 of the 3x3 proof, all o-squares
x o o o x   must be covered by occupation, thus the solution
x x o x x   must contain at least 5 knights.
x x x x x
Figure 1

- x - - x   Case 2: a Figure 1 x-square is occupied in the solution.
- x - - a   Pick one of them and rotate the board so that its location
x a - - b   becomes a Figure 2 x-square.  That knight does not contribute
- b - - a   to the cover of the pattern of a-squares and b-squares.
- x - - b   This pattern requires 4 knights as shown in the 4x4 proof.
Figure 2    Thus the solution must contain at least 5 knights.

6x6
8 knights required.
a b a b a b   It takes 2 knights to cover each letter group.
- - - - - -   A knight that covers the squares of one letter group
- - - - - -   does not cover any squares of the other groups.
- - - - - -   Therefore, it takes 4 separate sets of 2 knights to cover them all.
- - - - - -
c d c d c d

7x7
10 knights required.
o - - - - - o   A single knight cannot cover more than one o-square,
o o - - - - o   thus it takes 10 knights to cover all 10 o-squares.
- - - - - - -
- - - - - - -
- - - - - - -
- - - - - o o
o o - - - - o

8x8
12 knights required.
o o - - - - - o   A single knight cannot cover more than one o-square,
- o - - - - o o   thus it takes 12 knights to cover all 12 o-squares.
- - - - - - - -
- - - - - - - -
- - - - - - - -
- - - - - - - -
o o - - - - o -
o - - - - - o o

9x9
14 knights required.
a b - -   Consider this pattern of 7 a,b,c squares.
b c x -   If the x-square is not occupied, then no knight can cover more than
a b - -   2 a,b,c squares, so it takes 4 knights to cover them all.
- a - -   If the x-square is occupied, then it covers all the a-squares,
- - - -   but the 3 b-squares will require 2 knights and
- - - -   the c-square will require a 3rd separate knight.
          So in both cases, it takes at least 4 knights to cover the pattern.


- - o o o   Consider this pattern of 5 o-squares.
- - o - o   A single knight can cover at most 2 of these squares,
- - - - -   so it takes 3 knights to cover them all.
- - - - -


a a - - - - b b b   In this 9x9 board, there are two instances of each
a a - - - - b - b   of the above patterns.  They are separated so that
a a - - - - - - -   no knight can cover the squares of more than one pattern,
- a - - - - - - -   thus it takes a separate set of knights to cover each.
- - - - - - - - -   Two of the patterns require 4 knights each
- - - - - - - d -   and the other two patterns require 3 knights each.
- - - - - - - d d   This totals 14 knights to cover all patterns.
c - c - - - - d d
c c c - - - - d d

10x10
16 knights required.
a a - - - - - b b b   Each of the four patterns are separated so that a
a a - - - - b b b b   single knight cannot cover the squares of more than
a a - - - - - - - -   one pattern.  Each pattern requires 4 knights
- a - - - - - - - -   as shown in the 9x9 proof, therefore it takes
- - - - - - - - - -   a total of 16 knights to cover all patterns.
- - - - - - - - - -
- - - - - - - - d -
- - - - - - - - d d
c c c c - - - - d d
c c c - - - - - d d