- Invalid pattern: A pattern that does not contain a valid puzzle.
- Maximal invalid pattern: An invalid pattern P such that for every cell c not belonging to P, the pattern P+c is valid.
This concept was introduced by Serg and blue.
JPF
JPF wrote:Now the question is: what is the smallest number of clues in a maximal invalid pattern?
Crab pattern (23 clues)
x . . . . . . . x
. x . . . . . x .
. . x . x . x . .
. . . x x x . . .
. . . x x x . . .
. . . x x x . . .
. . x . x . x . .
. x . . . . . x .
x . . . . . . . x
JPF wrote:Invalid pattern: A pattern that does not contain a valid puzzle.
. . . . . . . . .
4 . . . . . . . .
. 2 . . . . . . .
. . . . 5 . 4 . 7
. . 8 . . . 3 . .
. . 1 . 9 . . . .
3 . . 4 . . 2 . .
. 5 . 1 . . . . .
. . . 8 . 6 . . .
Maximal invalid pattern: An invalid pattern P such that for any cell c not belonging to P, the pattern P+c is valid.
. . . . . . . 1 .
4 . . . . . . . .
. 2 . . . . . . .
. . . . 5 . 4 . 7
. . 8 . . . 3 . .
. . 1 . 9 . . . .
3 . . 4 . . 2 . .
. 5 . 1 . . . . .
. . . 8 . 6 . . .
Now the question is: what is the smallest number of clues in a maximal invalid pattern?
+-------+-------+-------+
| . . . | . . . | . . . |
| x . . | . . . | . . . |
| . x . | . . . | . . . |
+-------+-------+-------+
| . . . | . x . | x . x |
| . . x | . . . | x . . |
| . . x | . x . | . . . |
+-------+-------+-------+
| x . . | x . . | x . . |
| . x . | x . . | . . . |
| . . . | x . x | . . . |
+-------+-------+-------+
JPF wrote:However, to prove that it is a maximal invalid pattern, you need to show that all 65 (= 81-16) patterns created by P + one clue are valid.
m_b_metcalf wrote:JPF wrote:However, to prove that it is a maximal invalid pattern, you need to show that all 65 (= 81-16) patterns created by P + one clue are valid.
In other words, rather than:
Maximal invalid pattern: An invalid pattern P such that for any cell c not belonging to P, the pattern P+c is valid.
Maximal invalid pattern: An invalid pattern P such that for every cell c not belonging to P, the pattern P+c is valid.
. 1 . . . . 1 . . a . b c d b . e f
1 . . . . 1 . . . . g d d g . e h e
. . . . 1 . . . 1 b d c b . a f e .
. . . 1 . . . 1 . c d b . e f a . b
. . 1 . . . 1 . . d g . e h e . g d
. 1 . . . 1 . . . b . a f e . b d c
1 . . . 1 . . . . . e f a . b c d b
. . . 1 . . . . 1 e h e . g d d g .
. . 1 . . . . 1 . f e . b d c b . a
puzzles:
62....1..9....8.......4...6...7...1...4...5...6...3...1...6.......5....3..3....8. (a)
.82...9..1....3.......7...5...4...7...6...2...9...5...7...2.......8....9..5....3. (b)
.2.1..6..5....7.......9...4...6...5...4...2...9...3...6...4.......2....9..7....3. (c)
.9..4.8..3....6.......1...2...7...3...4...6...7...2...6...8.......9....7..2....5. (d)
.4....72.3....4.......8...9...2...4...9...5...1...6...4...5.......7....2..8....3. (e)
.3....5.87....9.......1...2...5...4...8...3...6...4...1...3.......8....6..2....9. (f)
.4....1..76...9.......3...5...7...4...1...3...7...4...3...8.......1....7..9....6. (g)
.6....1..7....8.2.....4...9...7...1...3...6...4...5...1...3.......6....4..8....5. (h)
. . . 1 . . 1 . . a b b . c c . d d
. . 1 . . 1 . . . b e . c f . d g h
. 1 . . 1 . . . . b . e c . f d h g
1 . . 1 . . . . . . c c . d d a b b
. . 1 . . . . . 1 c f . d g h b e .
. 1 . . . . . 1 . c . f d h g b . e
1 . . . . . 1 . . . d d a b b . c c
. . . . . 1 . . 1 d g h b e . c f .
. . . . 1 . . 1 . d h g b . e c . f
puzzles:
4..1..2....3..5....9..6....2..4.......5.....9.7.....6.1.....4.......7..6....9..3. (a)
.3.9..7....8..4....9..5....7..4.......2.....4.6.....8.6.....9.......8..6....2..4. (b)
...49.2....7..3....1..2....2..9.......8.....1.5.....7.4.....9.......7..3....8..1. (c)
...8..69...1..9....3..7....6..2.......2.....1.4.....3.8.....2.......3..4....4..7. (d)
...2..5...79..1....1..4....3..5.......1.....9.6.....7.2.....8.......7..1....9..6. (e)
...9..3....8.17....4..2....3..5.......9.....1.2.....7.9.....5.......4..2....7..1. (f)
...2..8....7..5.1..3..9....8..3.......5.....2.6.....7.2.....3.......7..8....1..6. (g)
...7..8....2..1..9.6..4....8..3.......4.....6.7.....4.7.....5.......9..1....6..2. (h)
+-------+-------+-------+
| . . . | x x . | . . . |
| . . x | . . x | . . . |
| . x . | . . . | x . . |
+-------+-------+-------+
| x . . | . . . | . x . |
| x . . | . . . | . . x |
| . x . | . . . | . . x |
+-------+-------+-------+
| . . x | . . . | . x . |
| . . . | x . . | x . . |
| . . . | . x x | . . . |
+-------+-------+-------+
...11......1..1....1....1..1......1.1.......1.1......1..1....1....1..1......11...
1..23......4..5....6....7..2......3.3.......4.1......2..6....2....8..5......14...
.1.23......4..5....6....7..8......2.6.......5.7......3..5....3....1..4......76...
..123......4..5....6....4..7......5.3.......2.8......3..5....9....8..6......72...
...123.....4..5....6....7..8......5.7.......3.2......6..3....2....7..8......98...
...12.3....4..5....3....6..7......5.8.......9.6......4..5....1....6..2......98...
...12..3...4..5....6....7..8......2.6.......1.3......8..5....1....3..4......96...
...12...3..4..5....6....7..8......2.3.......1.1......5..6....4....7..9......83...
...12.....34..5....6....4..7......2.8.......5.9......8..6....4....9..6......81...
...12......34.5....5....6..7......4.6.......3.8......2..2....1....7..9......68...
...12......1.34....5....6..7......4.8.......1.3......2..4....5....6..2......78...
...12......3..45...6....7..7......2.8.......4.5......1..2....6....7..9......45...
...12......3..4.5..6....7..2......1.8.......4.9......3..5....4....7..9......96...
...12......3..4....56...7..1......6.7.......2.4......8..5....9....7..3......81...
...12......3..4....5.6..7..5......4.6.......8.7......3..8....6....5..2......37...
...12......3..4....5..3.6..7......4.4.......6.2......8..4....1....9..7......76...
...12......3..4....5...36..1......7.8.......9.7......1..5....3....7..5......19...
...12......3..4....5....6..5..7...1.2.......4.8......5..4....9....6..8......32...
...12......3..4....5....6..7...3..2.1.......4.6......1..2....3....6..8......57...
...12......3..4....5....6..7....1.4.6.......2.8......3..4....1....9..8......65...
...12......3..4....5....6..7......1.6...3...4.8......2..4....6....7..3......53...
Blue wrote:Size 17 seems possible.
+-------+-------+-------+
| . . . | . . . | . . . |
| . . . | . . . | . x x |
| . . x | . x x | . . . |
+-------+-------+-------+
| . . . | . . x | x . . |
| . x . | . . . | . . . |
| x x . | . . . | . . x |
+-------+-------+-------+
| . . . | x . . | . . . |
| . . . | x x . | x . . |
| . . x | . . . | x . . |
+-------+-------+-------+
1...............23..4.56........74...3.......82......7...5........28.5....9...7..
.1..............23..4.56........75...8.......93......8...2........39.1....7...8..
..1.............23..4.56........46...6.......72......8...3........24.7....5...1..
...1............23..4.56........25...7.......23......8...3........78.1....5...6..
....1...........23..1.45........64...3.......27......8...1........23.7....5...8..
.....1..........23..1.45........45...6.......23......6...6........72.8....5...9..
......1.........23..4.56........47...3.......82......9...9........32.5....1...4..
.......1........23..4.56........45...3.......17......8...8........31.7....6...2..
........1.......23..4.56........47...2.......83......9...1........38.9....5...6..
.........1......23..4.56........42...3.......78......1...1........37.5....6...9..
..........1.....23..4.56........47...6.......32......8...2........17.4....6...5..
...........1....23..4.56........15...2.......73......8...2........84.1....6...4..
............1...23..1.45........67...7.......23......5...3........47.8....9...6..
.............1..23..4.56........46...7.......23......8...3........76.9....8...4..
..............1.23..4.56........34...1.......32......5...2........57.8....8...9..
...............123..4.56........47...5.......32......8...3........87.4....5...6..
................123.4.56........43...7.......21......8...8........21.9....6...5..
................12.34.56........47...6.......12......8...2........98.3....5...4..
................12..3456........78...5.......42......6...6........21.5....7...9..
................12..3.456.......75...8.......21......7...4........18.2....5...3..
................12..3.45.6......75...8.......12......9...1........62.8....5...9..
................12..3.45..6.....74...5.......21......8...2........69.8....7...3..
................12..3.45...6....37...8.......12......5...2........85.4....9...3..
................12..3.45....5...64...1.......72......8...1........63.9....8...5..
................12..3.45.....4..67...7.......61......8...2........19.3....5...9..
................12..3.45......6.37...2.......81......9...9........28.4....4...3..
................12..3.45.......364...2.......71......6...4........71.3....5...8..
................12..3.45........463..7.......82......9...8........21.4....5...3..
................12..3.45........64.7.5.......81......9...2........19.7....6...3..
................12..3.45........64..78.......12......3...1........78.6....5...3..
................12..3.45........63...25......71......4...1........57.8....9...6..
................12..3.45........36...7.1.....18......4...2........68.7....8...3..
................12..3.14........56...2..6....71......8...8........12.9....4...3..
................12..3.45........36...7...4...18......9...1........86.4....7...3..
................12..3.45........34...6....5..71......8...2........71.8....5...9..
................12..3.45........36...7.....8.16......7...2........16.8....5...7..
................12..3.45........65...7......812......7...2........83.6....5...4..
................12..3.45........64...7.......218.....3...1........87.6....5...9..
................12..3.45........35...6.......17.2....8...1........75.6....8...3..
................12..3.45........67...8.......92..3...4...4........12.8....7...5..
................12..3.45........65...2.......47...8..9...9........12.7....5...4..
................12..3.45........67...5.......21....8.4...2........89.4....6...3..
................12..3.45........36...7.......12.....89...8........17.2....5...9..
................12..3.45........35...6.......14......77..2........15.6....8...3..
................12..3.45........35...6.......14......6.7.1........25.3....8...9..
................12..3.45........34...6.......12......7..82........56.9....7...3..
................12..3.45........46...7.......81......9...21.......79.4....6...3..
................12..3.45........35...2.......61......7...2.6......78.3....4...9..
................12..3.45........34...6.......72......6...1..6.....27.8....9...5..
................12..3.45........36...7.......21......8...8...7....21.9....5...4..
................12..3.45........36...7.......28......7...1....6...28.4....4...3..
................12..3.45........65...7.......21......8...8.....9..27.1....5...9..
................12..3.45........36...1.......27......8...1......6.72.4....4...9..
................12..3.45........36...7.......12......4...4.......826.5....9...3..
................12..3.45........36...2.......71......8...2........9684....4...5..
................12..3.45........36...5.......71......8...2........18.37...9...5..
................12..3.45........36...7.......82......4...1........28.4.9..9...5..
................12..3.45........35...6.......71......6...1........27.8..5.8...9..
................12..3.45........65...2.......71......4...2........48.3...36...9..
................12..3.45........36...5.......21......7...1........86.4....74..3..
................12..3.45........36...5.......12......7...2........71.3....8.9.4..
................12..3.45........36...2.......71......8...2........98.3....5..74..
................12..3.45........36...7.......18......7...2........19.7....5...84.
................12..3.45........36...7.......21......4...6........71.5....8...3.9
Serg wrote:It would be nice to check your 17-clue maximal invalid pattern - is it really invalid, but it's rather difficult task...
Serg
1..234....23....5...6......4...1......5.....6....47......5.........6..1...73....8-20C example
x..xxx....xx....x...x......x...x......x.....x....xx......x.........x..x...xx....x-20C
1..234....23....5...6......4...1......5.....6....47......5.........6..1...73....8-20C example
...xxx....xx....x...x......x...x......x.....x.....x......x.........x..x...xx....x-18
...134....56....7...4......7...5......2.....4.....7......2.........8..5...94...86
...134....56....7...4......7...5......2.....4.....7......2.........8..5...94..3.6
...234....15....7...9......2...4......8.....9.....1......9.........2..6...73.8..1
...234....56....4...7......2...4......8.....1.....1......6.........2..5...195...8
...234....56....7...9......3...4......2.....1.....6......1.........5..3..918....6
...832....56....7...4......8...5......1.....9.....7......9.........8..5.7.93....6
...231....56....4...9......2...4......3.....1.....5......9.........2..53..18....7
...134....62....5...7......3...6......1.....8.....2......7.........5.63...48....9
...254....36....4...7......2...4......8.....1.....1......6.........27.3...13....9
...234....19....3...4......2...5......1.....9.....8......9........32..5...86....1**** only one of these found
...138....29....4...6......3...4......7.....8.....9......2.......1.5..9...83....5
...234....56....4...7......3...4......9.....1.....1......9......7..5..3...18....2
...234....56....4...7......3...4......8.....9.....1......8.....5...7..3...19....8
...234....56....4...7......3...4......8.....9.....1......7....3....6..5...19....8
...134....57....2...9......3...4......8.....1.....7......9...4.....2..3...18....7
...134....57....2...9......3...4......8.....1.....7......9..5......2..3...18....7
...124....56....1...7......4...6......8.....3.....5......8.1.......4..6...37....2
...236....19....6...4......3...6......7.....5.....9......58........1..3...57....2
...134....56....2...7......3...5......9.....8.....2.....87.........9..5...48....9
...234....56....4...7......4...6......2.....1.....5....1.7.........4..6...91....2
...234....56....4...7......2...4......8.....1.....1...5..6.........2..5...19....8
...123....54....2...7......3...4......8.....1.....2..9...7.........5..3...18....5
...123....56....7...4......7...5......2.....4.....7.9....2.........8..5...94....6
...124....56....4...3......4...6......8.....1.....59.....9.........4..6...18....7
...124....56....4...7......4...6......8.....3....35......8.........4..6...39....7
...234....57....4...9......2...4......8.....1...6.7......9.........2..5...18....7
...138....56....4...9......3...4......8.....1..4..2......9.........5..3...18....2
...234....56....4...7......2...4......8.....1.7...1......9.........2..5...15....8
...134....56....2...7......2...4......1.....63....5......7.........1..3...96....5
...234....56....4...7......2...4......8....91.....1......6.........2..3...19....7
...124....56....1...7......1...6......8...9.3.....5......8.........1..6...39....2
...234....56....4...7......3...4......1..7..8.....1......6.........5..3...98....7
...234....56....4...7......2...4......8.9...1.....1......6.........2..5...19....8
...238....56....7...4......8...5......26....4.....7......4.........8..3...91....6
...234....56....4...7......4...6.....78.....9.....5......7.........4..6...18....3
...234....56....4...7......6...4....3.8.....1.....1......5.........2..3...18....9
...134....56....4...7......3...4...8..9.....1.....2......8.........5..3...89....2
...124....56....7...4......7...5..2...3.....4.....7......3.........8..5...94....6
...124....56....7...4......1...5.8....2.....4.....7......4.........8..5...93....6
...234....16....4...7......2...47.....8.....9.....5......6.........2..3...59....8
...231....87....5...9......2..45......8.....9.....7......9.........2..3...13....8
...xxx....xx....x...x......x.x.x......x.....x.....x......x.........x..x...xx....x no puzzle found
...134....56....7...2......73..6......8.....1.....5......8.........4..6...19....2
...234....56....4...7.....12...4......8.....9.....1......9.........2..3...16....8
...234....56....4...7....8.3...4......8.....9.....1......8.........7..3...19....2
...234....56....4...7...2..3...4......8.....9.....1......9.........2..3...16....8
...234....56....4...7..5...2...4......8.....1.....1......6.........2..5...19....8
...234....56....4...7.8....3...4......8.....1.....1......6.........2..3...18....7
...234....56....4...78.....2...4......8.....9.....1......1.........2..3...19....8
...xxx....xx....x..xx......x...x......x.....x.....x......x.........x..x...xx....x no puzzle found
...234....56....7.9.4......7...5......1.....4.....7......4.........8..5...91....6
...234....59....41..7......2...4......5.....9.....1......9.........2..3...16....5
...234....56...84...7......3...4......8.....1.....1......6.........2..3...18....7
...234....56..7.4...7......4...6......8.....1.....5......8.........4..6...19....7
...234....56.7..4...7......2...4......8.....1.....1......6.........2..5...19....8
...234....568...4...7......2...4......8.....7.....1......6.........2..3...97....1
...234...195....4...2......4...5......3.....7.....1......3.........4..5...87....6
...634..9.58....7...4......3...5......7.....4.....6......9.........8..5...21....6
...134.9..56....7...4......7...5......2.....4.....7......2.........8..5...94....6
...7342...56....4...7......3...4......8.....1.....1......8.........2..3...16....5
..9837....46....1...5......1...6......7.....8.....3......5.........1..4...87....2
.3.214....56....4...7......2...4......8.....7.....5......7.........2..1...58....6
2..134....56....2...7......3...4......1.....6.....5......7.........1..3...86....5
---------------------------------------------------------------------------------