ab wrote:Can anyone find a puzzle that solves with nishio, but not ultimate fish?
# NoFish6
# at least one of [r2c5],[r4c4],[r5c6] is <5>
# (missing explanation why)
# this leads to [r6c5]<>5 because it 'sees' all three cells above
*-----------------------------------*
| . 5 . | . . . | . . 5 |
| 5 . . | . #5 . | 5 . . |
| . 5 . | . 5 5 | . . 5 |
|-----------+-----------+-----------|
| 5 . . | #5 . . | . . 5 |
| . 5 . | . . #5 | 5 . . |
| 5 . . | . -5 . | 5 . . |
|-----------+-----------+-----------|
| . . . | . . . | . 5 . |
| . . 5 | . . . | . . . |
| . . . | 5 5 5 | . . . |
*-----------------------------------*
daj95376 wrote:Has anyone reviewed these recently to confirm that a template elimination occurs for which no (non-Kraken) fish can be found?
daj95376 wrote:In the meantime, a Carcul approach.
- Code: Select all
# NoFish6
# at least one of [r2c5],[r4c4],[r5c6] is <5>
# (missing explanation why)
# this leads to [r6c5]<>5 because it 'sees' all three cells above
*-----------------------------------*
| . 5 . | . . . | . . 5 |
| 5 . . | . #5 . | 5 . . |
| . 5 . | . 5 5 | . . 5 |
|-----------+-----------+-----------|
| 5 . . | #5 . . | . . 5 |
| . 5 . | . . #5 | 5 . . |
| 5 . . | . -5 . | 5 . . |
|-----------+-----------+-----------|
| . . . | . . . | . 5 . |
| . . 5 | . . . | . . . |
| . . . | 5 5 5 | . . . |
*-----------------------------------*
ronk wrote:Would that "missing explanation" have anything to do with a skyscraper and x-wing leaving b2 without candidates?
daj95376 wrote:Everyone works off the premise that the fish is true or else the fin cells are true. I say, what about the possibility of an invalid fish coupled with fin cells. This forces at least one the fin cells to be true!
daj95376 wrote:To the purists in the crowd, there's a Kraken Swordfish that'll perform the elimination. So, this NoFish puzzle does have a fish solution ... as do probably all of the other NoFish puzzles.
ronk wrote:I'd hesitate to call what I see an 'invalid fish.' Would you please illustrate and explain how you recognize it as invalid?
# original layout
# Jellyfish r1245/c1279 w/fin cells [r2c5],[r4c4],[r5c6]
*-----------------------------------*
| . *5 . | . . . | . . *5 |
| *5 . . | . #5 . | *5 . . |
| . 5 . | . 5 5 | . . 5 |
|-----------+-----------+-----------|
| *5 . . | #5 . . | . . *5 |
| . *5 . | . . #5 | *5 . . |
| 5 . . | . 5 . | 5 . . |
|-----------+-----------+-----------|
| . . . | . . . | . 5 . |
| . . 5 | . . . | . . . |
| . . . | 5 5 5 | . . . |
*-----------------------------------*
# layout wo/fin cells
# Jellyfish contains ...
# Sashimi X-Wing 'ab' => [r4c1]<>5 -and-
# Sashimi X-Wing 'ac' => [r4c9]<>5 -thus-
# Sashimi X-Wings cannibalize [r4] of Jellyfish => invalid state
*-----------------------------------*
| . c5 . | . . . | . . c5 |
| b5 . . | . . . | b5 . . |
| . 5 . | . 5 5 | . . 5 |
|-----------+-----------+-----------|
| -5 . . | . . . | . . -5 |
| . a5 . | . . . | a5 . . |
| 5 . . | . 5 . | 5 . . |
|-----------+-----------+-----------|
| . . . | . . . | . 5 . |
| . . 5 | . . . | . . . |
| . . . | 5 5 5 | . . . |
*-----------------------------------*
+-----------+-----------+ +-----------+-----------+
| . . . | . . . | | . . . | . . . |
| . X . | X . . | | . X . | X . . |
| . . X | . X . | | . . X | . X . |
+-----------+-----------+ +-----------+-----------+
| . X . | X . . | | . . X | . X . |
| . . X | . X . | | . X . | X . . |
| . . . | . . . | | . . . | . . . |
+-----------+-----------+ +-----------+-----------+
+-----------+-----------+
| . . . | . . . |
| . X . | . X . |
| . . X | X . . |
+-----------+-----------+
| . X . | X . . |
| . . X | . X . |
| . . . | . . . |
+-----------+-----------+
DanG wrote:
- Code: Select all
+-----------+-----------+
| . . . | . . . |
| . X . | . X . |
| . . X | X . . |
+-----------+-----------+
| . X . | X . . |
| . . X | . X . |
| . . . | . . . |
+-----------+-----------+
But when the slope in one box is different from the other 3 ones, we get the invalid pattern.
I would rather call it "School of (perfect) Turbots". See how many they are?
. *5 . | . . . | . . *5 . *5 . | . . . | . . 5
*5 . . | . 5 . | 5 . . *5 . . | . @5 . | *5 . .
. @5 . | . 5 5 | . . @5 . @5 . | . 5 5 | . . 5
---------+----------+---------- ---------+----------+----------
*5 . . | @5 . . | . . *5 5 . . | 5 . . | . . 5
. 5 . | . . 5 | 5 . . . *5 . | . . @5 | *5 . .
@5 . . | . 5 . | 5 . . 5 . . | . 5 . | @5 . .
---------+----------+---------- ---------+----------+----------
. . . | . . . | . . . . . . | . . . | . . .
. . . | . . . | . . . . . . | . . . | . . .
. . . | 5 5 5 | . . . . . . | 5 5 5 | . . .
Upper left diagonal (as turbot fish diagonal)
. *5 . | . . . | . . *5 . 5 . | . . . | . . *5
5 . . | . 5 . | *5 . . *5 . . | . @5 . | *5 . .
. @5 . | . 5 5 | . . @5 . 5 . | . 5 5 | . . @5
---------+----------+---------- ---------+----------+----------
5 . . | 5 . . | . . 5 *5 . . | @5 . . | . . *5
. *5 . | . . @5 | *5 . . . 5 . | . . 5 | 5 . .
5 . . | . 5 . | @5 . . @5 . . | . 5 . | 5 . .
---------+----------+---------- ---------+----------+----------
. . . | . . . | . . . . . . | . . . | . . .
. . . | . . . | . . . . . . | . . . | . . .
. . . | 5 5 5 | . . . . . . | 5 5 5 | . . .
Upper right diagonal
. *5 . | . . . | . . *5 . 5 . | . . . | . . 5
5 . . | . 5 . | 5 . . *5 . . | . @5 . | *5 . .
. @5 . | . 5 5 | . . @5 . 5 . | . 5 5 | . . 5
---------+----------+---------- ---------+----------+----------
*5 . . | @5 . . | . . *5 *5 . . | 5 . . | . . 5
. *5 . | . . 5 | 5 . . . *5 . | . . @5 | *5 . .
@5 . . | . 5 . | 5 . . @5 . . | . -5 . | @5 . .
---------+----------+---------- ---------+----------+----------
. . . | . . . | . . . . . . | . . . | . . .
. . . | . . . | . . . . . . | . . . | . . .
. . . | 5 5 5 | . . . . . . | 5 5 5 | . . .
Lower left diagonal
. *5 . | . . . | . . *5 . 5 . | . . . | . . 5
5 . . | . 5 . | 5 . . *5 . . | . @5 . | *5 . .
. @5 . | . 5 5 | . . @5 . 5 . | . 5 5 | . . 5
---------+----------+---------- ---------+----------+----------
5 . . | 5 . . | . . *5 *5 . . | @5 . . | . . *5
. *5 . | . . @5 | *5 . . . 5 . | . . 5 | *5 . .
5 . . | . 5 . | @5 . . @5 . . | . -5 . | @5 . .
---------+----------+---------- ---------+----------+----------
. . . | . . . | . . . . . . | . . . | . . .
. . . | . . . | . . . . . . | . . . | . . .
. . . | 5 5 5 | . . . . . . | 5 5 5 | . . .
Lower right diagonal
DanG wrote:daj95376, who came up with this invalid Jelly?
DanG wrote:daj95376, who came up with this invalid Jelly?
[r4c9]=[r13c9]-[r2c7]=[r56c7]
[r5c2]=[r13c2]-[r2c1]=[r56c1]
[r4c1] and [r5c7] 'see' [r4c9] and [r5c2]
# Kraken X-Wing c17/r26 w/ [r4c1],[r5c7]
# [r4c1]|[r5c7] => !([r4c9],[r5c2]) => ([r13c9],[r13c2]) => !([r2c7],[r2c1]) => [r2c5] => ![r6c5]
*-----------------------------------*
| . 5 . | . . . | . . 5 |
| *5 . . | . +5 . | *5 . . |
| . 5 . | . 5 5 | . . 5 |
|-----------+-----------+-----------|
| #5 . . | 5 . . | . . 5 |
| . 5 . | . . 5 | #5 . . |
| *5 . . | . -5 . | *5 . . |
|-----------+-----------+-----------|
| . . . | . . . | . 5 . |
| . . 5 | . . . | . . . |
| . . . | 5 5 5 | . . . |
*-----------------------------------*
gsf wrote:would it be possible to post or reference full pm grids for the single value grids under discussion
ronk wrote:I suspect you can emulate Simple Sudoku with your solver options. If so, I would appreciate knowing the solver options to do so.