OFFSET
8,1
COMMENTS
This sequence is part of a family of sequences for k kings per row and column. This entry corresponds to the k=2 case.
A significant empirical discovery is a structural law for this family of problems: for a given k, the first nonzero term appears at n = 4k, where a(4k) = 2. This has been computationally verified for k from 1 to 100.
This problem is a generalization of Hertzsprung's problem (A002464), which corresponds to the k=1 case.
LINKS
Sean A. Irvine, Java program (github)
Hamidreza Maleki Tirabadi, Go program for enumeration
FORMULA
The number of valid single-row configurations for n cells and k=2 kings is given by binomial(n-1, 2).
No simple recurrence is currently known.
EXAMPLE
a(8) = 2. This is the first nonzero term for k=2, occurring at n = 4k = 8. The two solutions are highly structured and symmetric.
One of the two configurations can be represented in ASCII form as follows, where '*' marks the positions of kings:
Row 1: [1 3] -> . * . * . . . .
Row 2: [5 7] -> . . . . . * . *
Row 3: [1 3] -> . * . * . . . .
Row 4: [5 7] -> . . . . . * . *
Row 5: [0 2] -> * . * . . . . .
Row 6: [4 6] -> . . . . * . * .
Row 7: [0 2] -> * . * . . . . .
Row 8: [4 6] -> . . . . * . * .
Each row contains exactly two kings, and each column contains exactly two kings, with no two kings touching, even diagonally.
PROG
(Go) // See Links.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Hamidreza Maleki Tirabadi, Oct 14 2025
EXTENSIONS
a(16) from Sean A. Irvine, Oct 30 2025
STATUS
approved
