Almost Finned SwordFish example


The Tough Sudoku of February 26, 2011 is another potentially instructive Sudoku puzzle. In this particular puzzle, grouping together a single candidate technique as an argument in an AIC can be a nifty Sudoku technique, trick or tip.

If this is your first visit to this blog, welcome! Unfortunately, if you are a first time visitor, this page may seem like it is written in a different language. Well, it is!! Previous blog pages may be helpful. Links to these pages are found to the right, under Previous Entries. The earliest posts are at the bottom, and if you have never perused the intricacies of our special coded language here, you may wish to start close to beginning. The list is rather large, so below find a list of links that may be pertinent to this particular puzzle.

This blog page will spend but scant time with the easier sudoku techniques. I will not explain most of the steps which are part of the Simple Sudoku Technique Set - SSTS.


The Puzzle


Puzzle at Start





Some easy moves are available here:

  • (1)g1 % Row,Box - (Hidden Single (1) at g1)
  • HP(69)df8 => df8 ≠ 1357 - (Hidden Pair)
  • (7) h8 % Row , Thus UP 25 - Unique Possibilities to 25 filled cells)
  • HP(25)d6f4 => d6f4 ≠ 1679
  • LC(1)df5 => ahi5 ≠ 1 - (Locked Candidate)
  • LC(3)df1 => df2 ≠ 3
  • LC(7)c12 => b12 ≠ 7
  • SKYscraper(8)g39e91 => f3 ≠ 8 not required

Simple Sudoku can find no further deductions to make at this point. The puzzle with pencil marks (also called possibilities) is shown below.


Puzzle at UP 25 and Basic SSTS


UP 25 + Basic SSTS

Above, the first thing that struck me was the following continuous loop:

  • (9=7)e4 - (7=8)e9 - (8)g9 = (8-9)g3 = (9)g4 LOOP
Although this loop certainly produces some valid eliminations, the step I illustrate below solves one of the SIS' (Strong Inference Sets) used in the loop. When this occurs, the loop becomes superfluous. If it is a bivalue/bilocal loop, each SIS in the loop solves when any SIS in the loop solves.


An Almost Finned SwordFish with candidate 9

Below, the cells marked in Blue would be a SwordFish. The green cell, when added to the group of Blue cells, represent a potential Finned SwordFish with candidate (9). It matters not that (9) cannot exist in some of the cells - in this case g58. b5 is the only cell such that (9) is a possibility outside of the pattern. Thus, it is valid to say:

  • FSF(9)dfg358,i5 = (9)b5
because clearly, at least one of FSF(9)dfg358,i5 OR (9)b5 must be TRUE.


AIC using Almost Finned SwordFish

The Finned SwordFish has (9)g4 as a potential target. The black lines represent endpoints of Strong Inference Sets. The red lines are weak links between the SIS. The step can be written as the following AIC:

  • FSF(9)dfg358,i5 = (9-7)b5 = (7)b4 - (7=9)e4 => g4 ≠ 9
Since eliminating (9) from g4 solves (9) in column g, and since this SIS, (9)column g, is part of the loop noted previously, a cascade of at least some singles must follow. In this case, the following easy steps are newly available after the elimination of (9)g4:
  • Singles to UP 33
  • UP 33
  • Hidden Triple(689)i256 => i256 ≠ 135
  • (3)h2 % Row - thus UP 34
  • LC(3)ab(6) => a4 ≠ 3
  • Two String Kite(5) f9=f4 - d6=h6 => h9 ≠ 5
  • LC(5) => i4 ≠ 5 not required

Two String Kite on candidate (5)

Below the two string kite is illustrated (before the Locked Candidate(3) elimination.)


Two String Kite at UP 34

After the LC(3) elimination, the puzzle can solve with just one more advanced step


A Locked Set Partitioning used in a chain

The elimination below can be argued without using Locked Sets or Almost Locked Sets, but the manner below minimizes the use of the "=" symbol, which seems to be currently preferred on the tough pages here.


An AIC using Locked Sets as Booleans

Illustrated above, one can see that by partitioning the cell c2 into (24) = (79), one is also creating a SIS involving two Locked Sets: (124)c279 = (579)c2bc1. This partitioning works well in an AIC:

  • (241)c279 = (579)c2bc1 - (5)a1 = (5)a8 => a8 ≠ 1
Note that within the potential Naked Triplet (124)c279, candidate (1) is locked into c79 in box b8. Thus,
regardless of whether c2 contains (24) => (1) locked at c79 => a8 ≠ 1
or c2 contains (79) => a1 ≠5 => (5)a8 => a8 ≠ 1

The puzzle is reduced to a cascade of singles until solved.


The Solution and solution path

Just for Kicks, I use a Finned Jellyfish rather than the Finned Swordfish in the path below


Solution





Solution Path

  1. Start 23, SSTS to UP 25, SSTS
  2. FJF(9)bcdi1246,i5 = (9-7)b5 = NP(79)be4 =>
    • g4≠9
    • UP 33, SSTS
    • UP 34, SSTS
  3. (241)c279 = (579)c2bc1 - (5)a1 = (5)a8 =>
    • a8 ≠ 1
    • UP 81
  • AIC count: 2
  • Max AIC Search Depth 2, I believe?




3 Comments
Indicate which comments you would like to be able to see


Thank-you Steve.
This is really something to get the teeth (or in my case tooth!) into.
26/Feb/11 6:51 PM
 |  |
Can you direct me to a link that defines skyscraper (and other more advanced shapes); also a review of finned xwings and other shapes. I know the basics (xwings, swordfish, etc.), but I can't find the definitions for the more exotic shapes. I couldn't find anything in Sudopedia or in the definitions page of Sudoku.Au. Thank you!!
01/Mar/11 5:39 AM
 |  |
Nice work! How about giving us a way to get the puzzle into a solver so we caa follow along with you?
21/Jan/12 12:57 AM
 |  |
Please Log in to post a comment.

Not a member? Joining is quick and free.
As a member you get heaps of benefits.
Click Here to join.
You can also try the Chatroom (No one chatting right now - why not start something? )
Check out the Sudoku Blog     Subscribe
Members Get Goodies!
Become a member and get heaps of stuff, including: stand-alone sudoku game, online solving tools, save your times, smilies and more!
Previous Entries

07/Jan/07 Ywing Styles
06/Jan/07 Definitions
31/Dec/06 Y wings
27/Dec/06 Coloring
11/Dec/06 Beginner Tips
Check out all the Daily Horoscopes
Welcome our latest Members
neilehh from Anakie, Vic, Aussie
b33h1v3 from g3r0
ssduniversal from India
Member's Birthdays Today
Glenn from Winter Springs, FL
Friends currently online
Want to see when your friends are online? Become a member for free.

Network Sites

Melbourne Bars Find the Hidden Bars of Melbourne
Free Crossword Puzzles Play online or print them out. 2 new crosswords daily.
Jigsaw Puzzles Play online jigsaw puzzles for free, with new pictures everyday
Sliding Puzzle Play online with your own photos
Flickr Sudoku Play sudoku with pictures from Flickr
Kakuro Play Kakuro online!
Wordoku Free Wordoku puzzles everyday.
30 Dollar Date Night - Date Ideas for Savvy Partners.
Pumpkin Carving Pattern Free halloween pumpkin carving patterns.