Sudoku Programmers Forum Index

 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister   ProfileProfile   Log inLog in          Games  Calendar

Log in to check your private messagesLog in to check your private messages   

NEWS:
Precise definition for x-wing, swordfish, jellyfish, etc..?
Goto page 1, 2  Next
 
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Solving sudoku
View previous topic :: View next topic  
Author Message
xyzzy

Joined: 24 Aug 2005
Posts: 80
:

Items
PostPosted: Mon Sep 19, 2005 9:45 am    Post subject: Reply with quote

MadOverlord wrote:
BTW, are there any defined names for higher-order patterns (ie: 6x6, 7x7, 8x8, 9x9) or are they even possible?

If a 9x9 is possible, I reckon we should call it a Cthulu...


N=9 isn't possible unless your grid is completely empty with no known cells at all. And even then, once you find the pattern you remove the possibilities from every row (or column) not in the pattern. If the pattern has nine rows, then there aren't any rows not in it, and so you remove nothing.

Patterns with N>4 rows exist of course, but aren't necessary, as a corresponding pattern of size 9-N exists in columns.

For example, in this grid X, +, and * are places a certain digit can go, while . represents places it can't.
Code:

  a b c d e f g h i
1 X . X . . . . . .
2 X . . . X . . . .
3 . . . + . . . + +
4 X . X . X . . . .
5 . . * . . . . . +
6 . + . . . . . + .
7 . . . . * + + . .
8 . + * + . + . . .
9 . . . . * . + . .


There is a N=3 locked set with rows 1, 2, and 4 (the X's). Row 1 can be in columns {ac}, row 2 in {ae} and row 4 in {ace}. The union of these sets is {ace} which has three columns in it for three rows. So we can remove as a possibility the columns {ace} from all the rows other than {124}, which are the cells with *'s.

There is also a locked set with size N=6 with the columns b, d, f, g, h, and i (all the +'s). These are the columns that weren't used in the previous locked set. Column b can has rows {68}, column d has {38}, and so on. The union is the rows {356789}, which are all the rows that weren't in the N=3 locked set. This means we can remove the rows {356789} from the columns that aren't {bdefgi}. Which is, again, all the *'s.

So there's really no point in naming N=5 or more, because there always exists a corresponding pattern with N<5 that does the exact same thing.
Back to top
View user's profile Send private message Visit poster's website
DHallman

Joined: 09 Aug 2005
Posts: 24
:
Location: Inglewood, CA 90302 USA

Items
PostPosted: Tue Oct 11, 2005 2:00 am    Post subject: Why cant I use a sword 3-fish Reply with quote

Angus,

After many steps Simple Sudoku gives me the following filter on 4s:

Code:

 ... ...  ...
 ... bxb .b.
 ... .4. .b.
 ... b.b 4..
 ... .4. 4..
 ... ... ...
 ... bxb .B.
 ... ... ...
 ... ... ...


where b is my column bbb bbb
and B is the extension of bb
and x to be excluded

Why do you allow 7,5 to be excluded but not 2,5?

BTW how can I copy your image.png into here? I see others doing it. Confused

The saved file is:

Code:


 *-----------*
 |654|.9.|...|
 |..1|...|9.5|
 |.8.|...|6..|
 |---+---+---|
 |...|.6.|.31|
 |...|2.5|...|
 |46.|.8.|...|
 |---+---+---|
 |..9|...|.6.|
 |7.8|...|1..|
 |...|.3.|594|
 *-----------*

I746
I702
I713
I644
I675
E75001
E77011
E77002
E57007
E59017
E57008
E59018
E58007
I553
I545
I189
E53002
E44007
E53017
I539
I446
I525
I063
I379
I215
I295
E43004
E47003
I361
I731
I278
I093
I233
I483
I383
I722
I501
Back to top
View user's profile Send private message Send e-mail
angusj
Site Admin
Joined: 18 Jun 2005
Posts: 409
:

Items
PostPosted: Tue Oct 11, 2005 9:42 am    Post subject: Re: Why cant I use a sword 3-fish Reply with quote

DHallman wrote:
After many steps Simple Sudoku gives me the following filter on 4s


I certainly don't understand your b's an B's.
Anyhow this is what I get when filtering on 4's (and it certainly isn't the way forward so I don't see why you might be interested in them):


DHallman wrote:
BTW how can I copy your image.png into here? I see others doing it.


1. Save the image to file (File | Save Image As) in SS.
2. Upload the image here - http://www.imageshack.us/
3. Copy the "direct link" given by imageshack into your post enclosed in IMG tags.

nb: Don't paste images here unless you think it'll help illustrate your problem (or solution) as it's much easier to copy and paste the text representation of the puzzle into SS than manually copying each given from an image.
Back to top
View user's profile Send private message Visit poster's website
DHallman

Joined: 09 Aug 2005
Posts: 24
:
Location: Inglewood, CA 90302 USA

Items
PostPosted: Tue Oct 11, 2005 7:09 pm    Post subject: Re: Why cant I use a sword 3-fish Reply with quote

Angus,

I normally highlight (mark) in blue the rows or columns of fish so I can better see them. b indicated actuak 4s and B the extension in c

I had eliminated the 4 at r5c8 and somehow at r3c4 & r3c6. Thus arriving at a swordfish using c4,c6 & c8. Which should have allowed me to eliminate r2c5 & r7c5. What did I do wrong?
Back to top
View user's profile Send private message Send e-mail
Nick67

Joined: 08 Sep 2005
Posts: 5
:
Location: Sacramento, CA

Items
PostPosted: Wed Oct 12, 2005 6:56 am    Post subject: Reply with quote

I think you may have an off-by-one error here:

Code:


 ... ...  ...
 ... bxb .b.
 ... .4. .b.
 ... b.b 4..
 ... .4. 4..
 ... ... ...
 ... bxb .B.
 ... ... ...
 ... ... ...



Consider the b in r3c8 ... it does not share a row
with other b's. So the group of b cells is not quite
a swordfish (... but it would be if that same b was
in r4c8 instead).
Back to top
View user's profile Send private message
DHallman

Joined: 09 Aug 2005
Posts: 24
:
Location: Inglewood, CA 90302 USA

Items
PostPosted: Wed Oct 12, 2005 6:25 pm    Post subject: Re: Why cant I use a sword 3-fish Reply with quote

Nick67,

Thank you. I did not realise that a fish had to have all rows AND
columns occupied when present. Ie no stragglers except for extensions for shorter rows (or columns).
Back to top
View user's profile Send private message Send e-mail
DHallman

Joined: 09 Aug 2005
Posts: 24
:
Location: Inglewood, CA 90302 USA

Items
PostPosted: Wed Oct 12, 2005 6:55 pm    Post subject: Reply with quote

Nick67 wrote:
Quote:

AFAICT, the more general definition seems to be:

Look for N columns (2 for X-wing, 3 for the Swordfish, 4 for a Jellyfish, 5 for a Squirmbag) with 2 to N candidate cells for ONE given digit. If these fall on exactly N common rows, then all N rows can be cleared of that digit (except in the defining cells!). The test can also be done swapping rows for columns.


I like your revised definition.

Quote:

It seems to me that you could actually look for columns with 1-N candidate cells (ie: includes solved cells), but if you find, say, a swordfish with such a cell, it degenerates to an x-wing.
.

I agree with "1 to N" instead of "2 to N".
Then, your pattern-finder could recognize patterns
containing singles. I would guess that most solvers
recognize singles before looking for such patterns,
but that doesn't seem to be necessary.

Quote:


Note also that the requirement "and each of those rows has at least 2 candidate cells" seems to be extraneous.



I agree. There seems to be no reason to make this additional check.
(For example, the proof above does not depend on this condition).


Nick,

Your last statement above does not seem to agree with your last post re my problem.

Quote:


Code:

Code:

 ... ...  ...
 ... bxb .b.
 ... .4. .b.
 ... b.b 4..
 ... .4. 4..
 ... ... ...
 ... bxb .B.
 ... ... ...
 ... ... ...


I had eliminated the 4 at r5c8 and somehow at r3c4 & r3c6. Thus arriving at a swordfish using c4,c6 & c8. Which should have allowed me to eliminate r2c5 & r7c5. What did I do wrong?



I am now confused. Confused
Back to top
View user's profile Send private message Send e-mail
angusj
Site Admin
Joined: 18 Jun 2005
Posts: 409
:

Items
PostPosted: Wed Oct 12, 2005 10:35 pm    Post subject: Reply with quote

DHallman wrote:
I am now confused. Confused


Nick67 is correct, your b's don't line up to make a swordfish.

You appear to have missed an important condition of swordfish. Here's my definition here: http://www.angusj.com/sudoku/hints.php#swordfish .

Looking at your grid, it satisfied only half the conditions required - ie three columns each contain three 4s, but the candidates in these columns are in more than three rows (rows 2,3,4 & 7).
Back to top
View user's profile Send private message Visit poster's website
DHallman

Joined: 09 Aug 2005
Posts: 24
:
Location: Inglewood, CA 90302 USA

Items
PostPosted: Wed Oct 12, 2005 11:05 pm    Post subject: Re: Why cant I use a sword 3-fish Reply with quote

Nick & Angus,

Thank you for the definitions. Very Happy

I did not notice that all marked candidates had to be in the same rows. Sad

I'll hope to do better and not get any more invalid moves. Exclamation
Back to top
View user's profile Send private message Send e-mail
kranser

Joined: 18 Aug 2005
Posts: 35
:

Items
PostPosted: Thu Oct 13, 2005 9:27 am    Post subject: Reply with quote

Nick67 wrote:
I think you may have an off-by-one error here:

Code:


 ... ...  ...
 ... bxb .b.
 ... .4. .b.
 ... b.b 4..
 ... .4. 4..
 ... ... ...
 ... bxb .B.
 ... ... ...
 ... ... ...



Consider the b in r3c8 ... it does not share a row
with other b's. So the group of b cells is not quite
a swordfish (... but it would be if that same b was
in r4c8 instead).


I think it is a Swordfish - but not one based on columns - instead it's one based on rows as rows 2, 4 and 7 all contain b's in a combination of 3 columns, meaning that the b in R3C8 can be eliminated. Of course in this case there is an easier x-wing on the b's in locations (R4C4, R4C6, R7C4, R7C6)!
Back to top
View user's profile Send private message
Nick67

Joined: 08 Sep 2005
Posts: 5
:
Location: Sacramento, CA

Items
PostPosted: Sat Oct 15, 2005 7:59 pm    Post subject: Reply with quote

Purely for the record:

kranser wrote:

I think it is a Swordfish - but not one based on columns - instead it's one based on rows as rows 2, 4 and 7 all contain b's in a combination of 3 columns, meaning that the b in R3C8 can be eliminated. Of course in this case there is an easier x-wing on the b's in locations (R4C4, R4C6, R7C4, R7C6)!


The "b" notation certainly makes it looks like that.
But DHallman was using "b" to represent key cells
with the candidate 4.

Here is the puzzle without the "b" notation:

Code:

 
 *--------------------------------------------------------------------*
 | 6      5      4      | 178    9      278    | 3      178    278    |
 | 3      27     1      | 4678   247    24678  | 9      478    5      |
 | 9      8      27     | 5      1247   3      | 6      147    27     |
 |----------------------+----------------------+----------------------|
 | 8      27     5      | 479    6      479    | 247    3      1      |
 | 1      9      3      | 2      47     5      | 478    78     6      |
 | 4      6      27     | 3      8      1      | 27     5      9      |
 |----------------------+----------------------+----------------------|
 | 5      3      9      | 14     124    24     | 78     6      78     |
 | 7      4      8      | 69     5      69     | 1      2      3      |
 | 2      1      6      | 78     3      78     | 5      9      4      |
 *--------------------------------------------------------------------*


I think this representation shows clearly that
there is no swordfish of any kind involving the 4's.
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    Sudoku Programmers Forum Index -> Solving sudoku All times are GMT
Goto page 1, 2  Next
Page 1 of 2

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
Sudoku Programmers topic RSS feed 


Powered by phpBB © 2001, 2005 phpBB Group

Igloo Theme Version 1.0 :: Created By: Andrew Charron
FREE FORUM HOSTING by AtFreeForum. Terms of Service - Privacy Policy
FASHION ACCESSORIES - BLING BLING - LADIES WATCHES - KOREAN CHILDREN CLOTHING - ONLINE BARGAIN STORE - FASHION JEWELLERIES