SudoCue Users Forum Index SudoCue Users
A forum for users of the SudoCue programs and the services of SudoCue.Net
 
 FAQFAQ   SearchSearch   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Texas Jigsaw Killer 30

 
Post new topic   Reply to topic    SudoCue Users Forum Index -> Texas Jigsaw Killers
View previous topic :: View next topic  
Author Message
sudokuEd
Grandmaster
Grandmaster


Joined: 19 Jun 2006
Posts: 257
Location: Sydney Australia

PostPosted: Sat May 26, 2007 11:06 am    Post subject: Texas Jigsaw Killer 30 Reply with quote

What a beautiful puzzle. This one will surely be up in the top 5 of my all time favs. Smile Ruud, you continue to astound me with your puzzle-making skill. Thanks.

No chains this time. Smile . Please let me know of any improvements/corrections. Let us all know of any shortcuts.

Cheers
Ed

Texas Jigsaw Killer 030
1...23...
..4......
...5....6
.........
..7......
.8......9
.........
.........
.........
n2(r1c5)
n3(r1c6)
n4(r2c3)
n5(r3c4)
n6(r3c9)
n7(r5c3)
n8(r6c2)
n9(r6c9)

1. "45" r6789: 3 outies r5c138 = 23 = h23(3)r5
1a. = {689}:locked for r5

2. "45" n5(r3c4): 2 innies r3c4 + r7c6 = 15 = h15(2)n5
2a. = {69/78}

3. 10(2) cages n5(r3c4): no 5

4. 5 in n5 only in 10(3) = 5{14/23}(no 7)
4a. 5 locked for r5

5. "45" r1234: 3 outies r5c279 = 12 = h12(3)r5
5a. = {147/237}

6.19(5)r1c1 must have 1
6a. -> no 1 r2c24

7. 13(4)r2c6 must have 1: no 8,9
7a. -> no 1 r2c5 or r45c7

8. (not essential: but couldn't resist putting it in)
Triangular connection between 1 required in the 19(5) and 12(4) cages -> no 1 r3c1.Here's how.
8a. 1 in r2c3 -> 1 in 13(4) in r3 -> no 1 r3c1
8b. 1 required in 19(5) in n1 -> no 1 r3c1

9. 16(5)r8c7 = {12346}
9a. -> no {12346} in r8c68

10. 28(4)r6c9 = 89{47/56}

Now, time to get serious
11. LoL r789: 5 outies(r5c3 + r6c2349) = 5 innies(r7c1678 + r8c7)
11a. 27(4)r5c3 = 9{378/468/567}(no 1,2)
11b. -> no 1 or 2 in outies
11c. -> no 1 or 2 in innies

12. -> 1 and 2 required in 16(4)r8c7 are no only in n9
12a. 1 & 2 locked n9

13. 27(4)r5c3 must have 9
13a. from LoL r789 (step 11): outies must have at least one 9
13b. -> innies must have at least one 9
13c. -> 9 in innies in r7c678
13d. -> 9 locked for r7

14. but only one 9 is possible in these innies (all in same row)
14a. -> only one 9 is possible in outies (must be in 27(4))
14b. -> no 9 r6c9

15. 28(4)r6c9 must have 9: only in c8
15a.9 locked c8

16. 9 in r5 only in r5c13
16a. CPE on 9's in r5 -> no 9 r234c3

17. 3 in c9 only in r345 or r89
17a. CPE on 3's in c9 -> no 3 r8c7
17b. 3 required in 16(5)r8c7 only in n9
17c. 3 locked n9

18. r8c7 = {46} in n6(r3c9) -> the same digit 4/6 is in r67c9. Here's how.
I'll explain this move by looking at the 4 first.
18a.-> when r8c7 = 4 the 4 for c8 and c9 must come from 2 nonets apart from n6(r3c9)
18b. -> 4 must be in c89 in n3(r1c6) and n9(r6c9) in r67c9 (can't be in r89c9 or r9c8 because same cage as r8c7)
18c. same logic applies when r8c7 = 6

19. -> 4/6 required in 28(4)r6c9 in r67c9
19a. -> no 4/6 in r7c8 (since 28(4) cannot be both 4 and 6)
19b. -> hidden killer pair 4/6 in n9 in r67c9 and 4 cells from 16(5) that are in n9
19c. -> no 4/6 in r9c6

20. "45" n6(r3c9) + n9(r6c9): r3c8 +8 = r89c6
20a. min. r89c6 = {57} = 12 -> min r3c8 = 4

21. 15(4)r3c8: {1239} combo blocked by r3c8
21a. = {1248/1257/1347/1356/2346}(no 9)

22. 9 in c9 only in r12c9 in n3:
22a. 9 locked for n3
22b. 21(3)r1c9 = {189/579}(no 1..4,6)

23. 15(4)r3c8 must have exactly two of 1,2,3 in r345c9 (step 21a)
23a. the only other place for 1,2 or 3 in c9 is in r89c9
23b. r89c9 cannot have more than 1 of 1,2,3 because of r345c9
23c. -> r89c9 must have 4/6
23d. -> {46} Very Hidden Killer Pair (VHKP) in r6789c9 (remembering step 19b).
23e. 4 and 6 locked in r6789c9 for c9 and n9
23f. 4 in 21(3)r1c9 only in r2c8: no 8 r2c8
23g. r9c78 = {123}

24. "45" n23: 2 innies r3c58 = 12 = h12(2)r3
24a. = {48/57}(no 1,2,3,6,9)

25. 15(4)r3c8 now = {1248/1257/1347} = 1{248/257/347}
25a. 1 locked for c9 and n6

26. 1 in n9 now only in r9: 1 locked for r9

27. 4 in 15(4) only in r3c8 -> no 8 r3c8
27a. -> no 4 r3c5 (h12(2)r3)
27b. and no 8 r3c9 (since 8 already in r3c5 in h12(2) for r3)

28. 4 locked in r23c8. Here's how.
28a. 21(3)r1c9 = {579} -> r3c8 = 4
28b. 21(3) = {489} -> 4 in r2c8
28c. 4 locked in r23c8 for c8 and n3

29. 4 in n6(r3c9) only in c7
29a. 4 locked for c7
29b. no 9 r4c6 (since 4 in 16(4)r4c6 only in r4c6

30. "45" n6(r3c9): r3c8 + 7 = 2 innies r7c8 + r8c7
30a. -> 2 innies = 11, 12 or 14
30b. -> no 9 possible r7c8 (means 2 innies = 13/15}

31. r8c8 = 9 (hsingle c8)

32. 9 in n6(r3c9) only in c7
32a. 9 locked for c7
32b. 23(4)r5c8 must have 9 and 6/8
32c. 23(4) = 9{248/356}(no 7)
32d. 23(4) = [6/8] not both -> only in r5c8 in this cage

33. 9 in n2(r1c5) only in c5: locked for c5
33a. no 1 r4c4 or r6c6

34. 9 in r9 on in n8(r6c2)
34a. no 9 r6c2

35. Generalised X-wing on 9's in n23
35a. 9 locked for r12 in c59

36. 9 in n1 only in c1 in r34c1
36a. 9 locked c1
36b. no 9 r3c2 (same cage)

37. r4c2 = 9, r5c3 = 9, r9c4 = 9, r3c1 = 9 (hsingles)

38. 28(4)r6c9 now = 8{47/56}
38a. CPE on 8's in this cage -> no 8 r4c9

39. "45" n6(r3c9): r3c8 + 7 = 2 innies r7c8 + r8c7
39a. max. 2 innies = [76] = 13 ([86] blocked by r5c8)
39b. -> max r3c8 = 6 (no 7)
39c. no 5 in r3c5 (h12(2)r3)

40. Killer pair {45} in 21(3)r1c9 and r3c8.
40a. 4 & 5 locked n3

41. 15(4)r3c8 = {1257/1347} = 17{25/34}
41a. 7 locked for c9 and n6
41b. no 5 r2c8 (7 only in 21(3) in r2c8)

42. 28(4)r6c9 now = split 19(3) = {568}(no 4)
42a. 6 only in r67c9: 6 locked for n9

43. 6 in 16(5)r8c7 only in r8c7
43a. r8c7 = 6

44. r57c8 = [85]
44a. r67c9 = {68}:locked for c9 and n9

Now, the final move, back to where things started.
45. LoL r789: 5 outies(r5c3 + r6c2349) = 5 innies(r7c1678 + r8c7)
45a. 5 innies must have 5 (r7c8) -> outies must have 5
45b. only 5 available is in r6c234 in 27(4)
45c. r6c234 = {567}: locked for r6

All the rest is on the back straight.


Last edited by sudokuEd on Tue May 29, 2007 12:13 pm; edited 1 time in total
Back to top
View user's profile Send private message
mhparker
Grandmaster
Grandmaster


Joined: 20 Jan 2007
Posts: 345
Location: Germany

PostPosted: Mon May 28, 2007 6:55 pm    Post subject: Reply with quote

sudokuEd wrote:
What a beautiful puzzle... Ruud, you continue to astound me with your puzzle-making skill. Thanks.

I second that emotion. Some of these TJK's (including this one) really are gems.

In particular, they allow a lot of room for creativity. Just take look at Ed's last two walkthroughs. Two new technique variants already - "Law of Left & Rightovers" (which I would prefer to call something like "LoL Pincer") and "Very Hidden Killer Pair" (VHKP))!

I attacked this puzzle from a different direction that Ed did. In particular, there was one piece of composite logic I used (see step 23), which serves as a good example of something that is easy for a human to spot (less than a minute), but which would be very difficult to build into a computer program. Without this shortcut, the puzzle would have been significantly more difficult to solve, with many more steps required.

Anyhow, that's enough for the time being - here's the walkthrough, which I'm deliberately not posting as tiny text, since I don't think it's necessary on this forum:


Walkthrough - Texas Jigsaw Killer 30 (http://www.sudocue.net/images/texasjigsaw030.png)

Nonet Layout:

111123333
114122333
144522236
144552236
447555266
487755669
487775669
888779699
888879999


1. 19/5 at R1C1 = {1..}
1a. CPE: no 1 in R2C24

2. 21/3 at R1C9: no 1,2,3

3. 13/3 at R2C6 = {1(237|246|345)} (no 8,9)
3a. CPE: no 1 in R2C5 and R45C7

4. 10/2 at R4C4: no 5

5. 27/4 at R5C3 = {(378|468|567)9}: no 1,2

6. 10/3 at R5C4: no 8,9

7. 10/2 at R6C5: no 5

8. 28/4 = {(47|56)89}: no 1,2,3
8a. CPE: no 8,9 in R9C8

9. 16/5 at R8C7 = {12346}
9a. CPE: no 1,2,3,4,6 in R8C68

10. Innies N5: R3C4+R7C6 = 15/2 = {69|78}

11. 5 in N5 locked in 10/3 at R5C4 = {(14|23)5) (no 6,7), 5 locked for R5

12. Innies N23: R3C58 = 12/2 -> no 1,2,6

13. Innies N78: R7C25 = 6/2 = {15|24}

14. Outies R6789: R5C138 = 23/3 = {689}, locked for R5

15. CPE: R8C7 sees all candidate positions for 1,2,3 in C9 -> no 1,2,3 in R8C7
15a. {123} in 16/5 at R8C7 now locked in N9 -> no 1,2,3 in R9C6

16. CPE: R4C5 sees all 8's and 9's in N2 -> no 8,9 in R4C5
16a. cleanup: no 1,2 in R4C4

17. LoL R789: R5C3+R6C2349 (outies) = R7C1678+R8C7 (innies)
17a. No 1,2 in outies -> no 1,2 in innies
17b. 27/4 at R5C3 = {9..} (step 5) -> outies = {9..} -> innies must also contain a 9
17c. candidate digit 9 only avilable in innies in R7 -> no 9 elsewhere in R7 (R7C349)
17d. CPE: R6C8 sees all 9's in 28/4 at R6C9 -> no 9 in R6C8

18. innie/outie difference R89: R89C6 + R8C8 = R7C34 + 17
18a. max. innies = 24 -> max. outies = 7 -> no 7,8,9 in R7C34

19. LoL C89: R1C6+R12678C7 (outies) = R89C8+R6789C9 (innies)
19a. -> R8C7 must correspond to either of R67C9 (only non-peers in innies)
19b. -> 4,6 in N9 locked in R9C789+R678C9 -> no 4,6 in R9C6

20. innie/outie difference N1234: R7C2 + R3C4 = R3C8 + 5
20a. -> no 5 in R7C2 (since peers R3C48 cannot contain the same digit)
20b. no 1 in R7C5 (step 13)

21. 24/4 at R7C5 requires a digit < 5 ({5678} = 26 - too high)
21a. Only cell with candidate digit < 5 is R7C5 -> R7C5 = {24}
21b. -> R7C25 = {24} (step 13), locked for R7

22. 1 in R7 now locked in 17/4 at R7C3 within R7C34 -> not elsewhere in N7
22a. no 1 in R8C3

23. R7C34 = {1(356)}
23a. {15} blocked because it would require R89C6+R8C8 = 23 (step 18) = {689},
impossible as 6 is unavailable in R89C6+R8C8
23b. {16} blocked because it would require R89C6+R8C8 = 24 (step 18) = {789},
and would simultaneously force R7C6 to {789}, implying a naked triple on {789}
in R789C6 = 24 -> cage sum exceeded for 24/4 at R7C5
23c. Therefore R7C34 must be {13}, 3 locked for R7 and N7, no 3 in R8C3
23d. no 2 in R8C34 (otherwise 17/4 cage sum unreachable)

24. R89C6+R8C8 must now sum to 21 (step 18), with 6 unavailable -> R89C6+R8C8 = {579} (no 8),
locked for N9
24a. R89C6+R7C5 must sum to an even number -> R7C6 must be even -> R7C6 = {68}
24b. R3C4 = {79} (step 10)

25. 2 in N7 locked in C5 -> not elsewhere in C5
25a. cleanup: no 8 in R4C4 and R6C6

26. 8 in N9 locked in R67C9 -> not elsewhere in C9
26a. no 8 in R7C8 (same cage)
26b. 9 in 28/4 at R6C9 locked in R78C8 -> not elsewhere in C8

27. LoL R89: R5C3+R6C234+R7C2345 (outies) = R89C6789 (innies)
27a. no 8 in innies -> no 8 in outies
27b. -> 27/4 = {5679} (no 3,4)
27c. 5,7 locked in R6C234 for R6
27d. cleanup: no 3 in R6C56

28. LoL C123: R567C3 (innies) = R129C4 (outies)
28a. no 2,4,8 in innies -> no 2,4,8 in outies

29. LoL C6789: R123C5 (outies) = R567C6 (innies)
29a. no 7 in innies -> no 7 in outies
29b. no 2 in outies -> no 2 in innies
29c. cleanup: no 8 in R6C5

30. HS in C4 at R5C4 = 2
30a. Split 8/2 at R5C56 = {35} (only combo possible), locked for R5 and N5

The rest is hidden and naked singles only.
_________________
Cheers,
Mike
Back to top
View user's profile Send private message
Glyn
Major Major Major
Major Major Major


Joined: 16 Jan 2007
Posts: 92
Location: London

PostPosted: Mon May 28, 2007 9:07 pm    Post subject: Reply with quote

LoL Pincer sounds a good name Mike, blame me for the LoLR pun. Gets my vote if Ed approves.
_________________
I have 81 brain cells left, I think.
Back to top
View user's profile Send private message
sudokuEd
Grandmaster
Grandmaster


Joined: 19 Jun 2006
Posts: 257
Location: Sydney Australia

PostPosted: Tue May 29, 2007 12:11 pm    Post subject: Reply with quote

mhparker wrote:
new technique variants already - "LoL Pincer" and "Very Hidden Killer Pair" (VHKP)
LoL Pincer sounds great - I like names that describe. BTW: the VHKP is still only theoretical - 2 implied (ie hidden) sets of pairs. My move only actually had 1 hidden. Was still fun though.

Can't believe how many "45" eliminations I missed. Well done Mike. And some of those huge LoL moves! Didn't even think to look.

mhparker wrote:
that's enough for the time being
Sounds promising: a V2 perhaps Smile .

Cheers
Ed
Back to top
View user's profile Send private message
mhparker
Grandmaster
Grandmaster


Joined: 20 Jan 2007
Posts: 345
Location: Germany

PostPosted: Thu May 31, 2007 1:43 pm    Post subject: Reply with quote

Hi Ed,

Ed wrote:
Sounds promising: a V2 perhaps Smile .


Unfortunately, I haven't got into V2 production yet Sad . But I've got an idea how I could go about it Idea. Just need to find the time (think you will be able to sympathize with that remark!). I suspect that by the time I've finished getting the production process sorted out, TJK31 will probably be upon us!

In the meantime, any tips you or anyone else on the forums can give me about the best way to create V2's from V1's will be much appreciated.
_________________
Cheers,
Mike
Back to top
View user's profile Send private message
Para
Yokozuna
Yokozuna


Joined: 08 Nov 2006
Posts: 384
Location: The Netherlands

PostPosted: Thu May 31, 2007 3:02 pm    Post subject: Reply with quote

Hi Ed

If you need a challenge, there is always TJK 18.

greetings

Para
Back to top
View user's profile Send private message
mhparker
Grandmaster
Grandmaster


Joined: 20 Jan 2007
Posts: 345
Location: Germany

PostPosted: Thu May 31, 2007 3:27 pm    Post subject: Reply with quote

Para wrote:
If you need a challenge, there is always TJK 18.


You're right there! Spent days on it without getting anywhere! Brick wall

Jean-Christophe, if you're reading this, the puzzle Para mentioned (TJK18) would be another good one to quickly run through your latest JSudoku version. If it can do it and/or make some inroads by finding some productive chain, it would be great if you could post the log in this forum.

Here's the puzzle data:


SumoCueV1=18J0+0J0=11J1+2J1=18J1=16J1+5J1=12J2+7J2=18J3+0J0=16J0+2J1+4J1+5J1=10J2+15J2+7J2+9J3+9J3+11J0+11J0+4J1=23J2+23J2+15J2=12J4=14J3+27J3+27J3=11J0+30J0+23J2=18J4+33J4+26J4=13J3+36J3=22J5=14J6+30J0=12J7+41J7+33J4+26J4+36J3+38J5+38J5+39J6+39J6+41J7=12J7=15J4+52J4=11J5+54J5=12J5+56J5=15J6+58J6+51J7+51J7+52J4+54J5=12J8+56J5=21J8=12J8+58J6=16J6=21J7+70J7+64J8+64J8+66J8+66J8+67J8+67J8+69J6+69J6+70J7

_________________
Cheers,
Mike
Back to top
View user's profile Send private message
sudokuEd
Grandmaster
Grandmaster


Joined: 19 Jun 2006
Posts: 257
Location: Sydney Australia

PostPosted: Sat Jun 02, 2007 6:53 am    Post subject: Reply with quote

Para wrote:
If you need a challenge, there is always TJK 18.
TJK30 was just perfect, so don't need the challenge. But have just found out we have a long weekend here next weekend (thanks to our (thin) Queen's Birthday), so lets do a tag solution for TJK18 from June 9.

Mike wrote:
any tips ....about the best way to create V2's from V1's will be much appreciated.
I might regret doing this ... Wink .

Making a harder version (V2) for TJK030

There are different ways to try and make a harder version.
Same solution: close a front door
.
1. open TJK030 in SumoCue
2. F10 to solve
3. combine/redesign cages that do not have the same digits. I usually combine 2 cages that lead to the first 'easy' placement. But no front doors in this puzzle, so I'll be cruel and try and close Mike's solution path and leave mine open.

Decide to combine 10(2)r6c5 and 24(4)r7c5 to make a 34(6).

4. open a 2nd SumoCue
5. under File select New Jigsaw
6. Select (ZigZag) pattern

7. click in r1c1, type in the cage sum: "19"
8. hold down Shift key and click in each cell for the 19(5) (doing it this way means you can also make remote and diagonal cages if you want)
9. If you make a mistake with the cage shape, click in the cell that has the cage sum and press Delete. Start that cage again.

10. Once all the cages are in (with the new 34(6)) then press F10 . SumoCue has even more of a struggle to solve it, so you know its harder than the original.

But the real good news is that it says "Puzzle solved". It has a unique solution.

If it had said "multiple solutions found", break those two cages you combined and try something else.(you don't have to put all the other cages in again)
11. Under File, select "save" once you get a puzzle you're happy with.

12. Now comes the time consuming part: try and solve it. If it is solvable, its a V2, if its not, try something else or make it a tag solution.

Same cages, slightly different solution. (Jean-Christophe first showed how to do this type)
1. Look at the solution to TJK030
2. See if the digits 1&2 share a cage. If they do, try 1&3 etc.....2&3 etc....3&4 etc...
3. If you find two digits that don't share a cage then you are in business. TJK030 doesn't have any, so can't use this way.

4.If you find 2 digits that don't share a cage, use the same cage pattern, and just adjust the cage sums to do a complete swap of locations for all of those 2 digits.
5. check for a unique solution (maybe not needed: but just for safety)
6. if its unique, try and solve.

Same cage pattern, completely different solution.
Don't know how to do this since I don't have a jigsaw sudoku generator. If I did, would just randomly see if I could find a solution that happens to fit into the cage pattern with no repeats.

Can do your own solution manually as well. Haven't tried this way much. Para is good at doing this.

Good Luck! Let me know if anything needs to be clearer. Looking forward to the revenge V3 Twisted Evil

TJK030 V2
SumoCueV1=19J0+0J0+0J0=24J0=28J1+4J2+4J2+4J2=21J2+0J0=24J0+0J3+3J0+4J1=13J1+14J2+8J2+8J2+10J0+10J3=22J3+3J4+3J1+14J1+14J1=15J2+25J5+10J0+20J3+20J3=10J4+30J4=16J1+32J1+32J2+25J5=18J3+20J3=27J6=10J4+39J4+39J4+32J1=23J5+25J5+36J3+38J7+38J6+38J6=34J4+49J4+43J5+43J5=28J8+36J3+36J7=17J6+56J6+49J6+49J4+43J5+53J5+53J8=12J7+63J7+56J7+56J6=28J6+49J8=16J5+53J8+69J8+63J7+67J7+67J7+67J7+67J6+49J8+69J8+69J8+69J8


Cheers
Ed
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    SudoCue Users Forum Index -> Texas Jigsaw Killers All times are GMT
Page 1 of 1

 
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


Powered by phpBB © 2001, 2005 phpBB Group