I should present a kind of proof that published above full lists of invalid and valid fully symmetrical patterns are correct.
The idea of proof:
1. I'll present "basic set" of invalid patterns (25 patterns in total), which are known to be invalid because an exhaustive search was done for it or it is a subset of another invalid pattern. Everyone will be able to check, that all fully symmetrical invalid patterns (871) are subsets of this "basic" invalid patterns.
2. I'll present "basic set" of valid patterns with examples of valid puzzles. Everyone will be able to check, that all fully symmetrical valid patterns (5145) are supersets of this "basic" valid patterns.
3. Then everyone will be able to check, that each essentially different fully symmetrical pattern (6016 patterns in total) is subset of an invalid pattern from "basic set" of invalid patterns (thus the pattern will be invalid) or is superset of a valid pattern from "basic set" of valid patterns (thus the pattern will be valid).
This is "basic set" of invalid patterns (strictly speaking they all are symmetrically maximal patterns).
- Code: Select all
F1 F2 F3 F4 F5
x . . . . . . . x x x x . . . x x x . x x . . . x x . x x . . . . . x x . . . x x x . . .
. x . . . . . x . x . . . . . . . x x . . . . . . . x x x . . . . . x x . x . . . . . x .
. . x . . . x . . x . . . . . . . x x . . . . . . . x . . . . . . . . . . . . . . . . . .
. . . x x x . . . . . . x . x . . . . . . x x x . . . . . . x x x . . . x . . x x x . . x
. . . x x x . . . . . . . x . . . . . . . x x x . . . . . . x x x . . . x . . x x x . . x
. . . x x x . . . . . . x . x . . . . . . x x x . . . . . . x x x . . . x . . x x x . . x
. . x . . . x . . x . . . . . . . x x . . . . . . . x . . . . . . . . . . . . . . . . . .
. x . . . . . x . x . . . . . . . x x . . . . . . . x x x . . . . . x x . x . . . . . x .
x . . . . . . . x x x x . . . x x x . x x . . . x x . x x . . . . . x x . . . x x x . . .
F6 F7 F8 F11 F12
x x . . . . . x x x . . . x . . . x . . . . x . . . . x . . . x . . . x x x . . x . . x x
x . . . . . . . x . x . . x . . x . . x . . . . . x . . x . . x . . x . x . . . . . . . x
. . x . . . x . . . . . . . . . . . . . x . . . x . . . . . . x . . . . . . . . . . . . .
. . . x . x . . . . . . x x x . . . . . . x x x . . . . . . x . x . . . . . . x . x . . .
. . . . x . . . . x x . x x x . x x x . . x x x . . x x x x . x . x x x x . . . x . . . x
. . . x . x . . . . . . x x x . . . . . . x x x . . . . . . x . x . . . . . . x . x . . .
. . x . . . x . . . . . . . . . . . . . x . . . x . . . . . . x . . . . . . . . . . . . .
x . . . . . . . x . x . . x . . x . . x . . . . . x . . x . . x . . x . x . . . . . . . x
x x . . . . . x x x . . . x . . . x . . . . x . . . . x . . . x . . . x x x . . x . . x x
F13 F17 F18 F20 F21
. x . . x . . x . . x . x . x . x . x . . x . x . . x . . . x . x . . . . . . x . x . . .
x x . . . . . x x x . . . . . . . x . x . . . . . x . . . . . x . . . . . x . . x . . x .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . x . . . x . . . . . . . . . . .
. . . x . x . . . x . . x . x . . x x . . x . x . . x x . . x . x . . x x . . x . x . . x
x . . . x . . . x . . . . . . . . . . . . . . . . . . . x . . . . . x . . x . . . . . x .
. . . x . x . . . x . . x . x . . x x . . x . x . . x x . . x . x . . x x . . x . x . . x
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . x . . . x . . . . . . . . . . .
x x . . . . . x x x . . . . . . . x . x . . . . . x . . . . . x . . . . . x . . x . . x .
. x . . x . . x . . x . x . x . x . x . . x . x . . x . . . x . x . . . . . . x . x . . .
F22 F23 F26 F27 F28
. . . x . x . . . . . . x . x . . . . . . x . x . . . . . . x x x . . . x . . x . x . . x
. . . . x . . . . . x . . x . . x . . x . . x . . x . . x . . x . . x . . . . x . x . . .
. . x . . . x . . . . . . . . . . . . . . . x . . . . . . . . . . . . . . . . x . x . . .
x . . . . . . . x x . . . . . . . x x . . . . . . . x x . . . . . . . x x x x x x x x x x
. x . . x . . x . . x . . x . . x . . x x . . . x x . x x . . . . . x x . . . x x x . . .
x . . . . . . . x x . . . . . . . x x . . . . . . . x x . . . . . . . x x x x x x x x x x
. . x . . . x . . . . . . . . . . . . . . . x . . . . . . . . . . . . . . . . x . x . . .
. . . . x . . . . . x . . x . . x . . x . . x . . x . . x . . x . . x . . . . x . x . . .
. . . x . x . . . . . . x . x . . . . . . x . x . . . . . . x x x . . . x . . x . x . . x
F29 F30 F31 F32 F33
x . . x x x . . x x x x . . . x x x x x x x x x x x x x x x . x . x x x . . . x x x . . .
. . . . x . . . . x x x . . . x x x x x x . . . x x x x x x . x . x x x . . . x x x . . .
. . . . x . . . . x x x . . . x x x x x x . . . x x x x x x . x . x x x . . . x x x . . .
x . . x x x . . x . . . x . x . . . x . . . . . . . x . . . . x . . . . x x x x x x x x x
x x x x x x x x x . . . . . . . . . x . . . x . . . x x x x x x x x x x x x x x x x x x x
x . . x x x . . x . . . x . x . . . x . . . . . . . x . . . . x . . . . x x x x x x x x x
. . . . x . . . . x x x . . . x x x x x x . . . x x x x x x . x . x x x . . . x x x . . .
. . . . x . . . . x x x . . . x x x x x x . . . x x x x x x . x . x x x . . . x x x . . .
x . . x x x . . x x x x . . . x x x x x x x x x x x x x x x . x . x x x . . . x x x . . .
All patterns have independent confirmation of their invalidity by two (or more) persons who have done exhaustive search for these patterns.
One can make sure that all 871 invalid fully symmetrical patterns reported before are subsets of some patterns from this list.
First 20 patterns from this "basic set" of invalid patterns can be used for filtering out invalid patterns in addition to "40 patterns list" (we can say now about '60 patterns list").
Serg
[Edited. I stated all patterns have independent confirmation of their invalidity after finishing my exhaustive search.]