The New Sudoku Players' Forum

[coloin]

Code: Select all

+---+---+---+
|12.|...|.8.|
|..7|..9|..6|
|...|.2.|1..|
+---+---+---+
|...|93.|..4|
|..4|.7.|9..|
|...|..4|.6.|
+---+---+---+
|..6|..7|..3|
|78.|...|.5.|
|...|5..|...|
+---+---+---+  Vulcan Pinch

My sensors indicate that this puzzle might be somewhat illogical

[eleven]

This is a monster, i will not try to find a manual solution.

[denis_berthier]

.
I guess you want a non-human solution by templates. There's one in T3.
Perhaps someone could find the first two eliminations (n T1, equivalent to whips[1]) manually but I have strong doubts about all the next ones.

Hidden Text: Show

Code: Select all

Resolution state after Singles:
   +----------------------+----------------------+----------------------+
   ! 1      2      359    ! 3467   456    356    ! 3457   8      579    !
   ! 3458   345    7      ! 1348   1458   9      ! 2345   234    6      !
   ! 345689 34569  3589   ! 34678  2      3568   ! 1      3479   579    !
   +----------------------+----------------------+----------------------+
   ! 2568   1567   1258   ! 9      3      12568  ! 2578   127    4      !
   ! 23568  1356   4      ! 1268   7      12568  ! 9      123    1258   !
   ! 23589  13579  123589 ! 128    158    4      ! 23578  6      12578  !
   +----------------------+----------------------+----------------------+
   ! 2459   1459   6      ! 1248   1489   7      ! 248    1249   3      !
   ! 7      8      1239   ! 12346  1469   1236   ! 246    5      129    !
   ! 2349   1349   1239   ! 5      14689  12368  ! 24678  12479  12789  !
   +----------------------+----------------------+----------------------+
237 candidates

entering level T1 with <Fact-3693>
candidate in no template[1] for digit 6 ==> r3c6≠6
candidate in no template[1] for digit 6 ==> r3c4≠6
entering level T2 with <Fact-4076>
entering level T3 with <Fact-34746>
candidate in no template[1] for digit 4 ==> r2c4≠4
candidate in no template[1] for digit 5 ==> r3c2≠5
candidate in no template[1] for digit 5 ==> r6c1≠5
candidate in no template[1] for digit 3 ==> r3c2≠3
candidate in no template[1] for digit 5 ==> r4c2≠5
candidate in no template[1] for digit 8 ==> r4c1≠8
candidate in no template[1] for digit 4 ==> r3c2≠4
candidate in no template[1] for digit 8 ==> r6c5≠8
candidate in no template[1] for digit 6 ==> r5c2≠6
candidate in no template[1] for digit 3 ==> r2c1≠3
candidate in no template[1] for digit 1 ==> r6c4≠1
candidate in no template[1] for digit 4 ==> r2c5≠4
candidate in no template[1] for digit 5 ==> r4c1≠5
candidate in no template[1] for digit 9 ==> r9c3≠9
candidate in no template[1] for digit 6 ==> r5c1≠6
candidate in no template[1] for digit 6 ==> r4c6≠6
candidate in no template[1] for digit 4 ==> r7c4≠4
candidate in no template[1] for digit 8 ==> r5c4≠8
candidate in no template[1] for digit 5 ==> r1c3≠5
candidate in no template[1] for digit 1 ==> r8c4≠1
candidate in no template[1] for digit 5 ==> r3c1≠5
candidate in no template[1] for digit 5 ==> r1c6≠5
candidate in no template[1] for digit 1 ==> r8c6≠1
candidate in no template[1] for digit 2 ==> r9c8≠2
candidate in no template[1] for digit 6 ==> r1c4≠6
candidate in no template[1] for digit 4 ==> r9c7≠4
candidate in no template[1] for digit 3 ==> r9c6≠3
candidate in no template[1] for digit 3 ==> r8c3≠3
candidate in no template[1] for digit 3 ==> r1c4≠3
candidate in no template[1] for digit 9 ==> r9c9≠9
candidate in no template[1] for digit 1 ==> r5c4≠1
candidate in no template[1] for digit 3 ==> r3c3≠3
candidate in no template[1] for digit 9 ==> r6c3≠9
candidate in no template[1] for digit 3 ==> r5c1≠3
candidate in no template[1] for digit 2 ==> r5c8≠2
candidate in no template[1] for digit 5 ==> r6c9≠5
candidate in no template[1] for digit 5 ==> r2c7≠5
candidate in no template[1] for digit 8 ==> r2c4≠8
candidate in no template[1] for digit 7 ==> r1c9≠7
candidate in no template[1] for digit 8 ==> r9c6≠8
candidate in no template[1] for digit 2 ==> r5c4≠2
naked-single ==> r5c4=6
candidate in no template[1] for digit 1 ==> r9c5≠1
candidate in no template[1] for digit 4 ==> r2c8≠4
candidate in no template[1] for digit 8 ==> r3c1≠8
candidate in no template[1] for digit 2 ==> r6c1≠2
candidate in no template[1] for digit 2 ==> r4c8≠2
candidate in no template[1] for digit 9 ==> r7c1≠9
candidate common to all the templates[1] for digit 1 ==> r2c4=1
candidate in no template[1] for digit 3 ==> r3c8≠3
candidate in no template[1] for digit 8 ==> r6c1≠8
candidate in no template[1] for digit 5 ==> r6c5≠5
naked-single ==> r6c5=1
hidden-single-in-a-column ==> r9c6=1
candidate in no template[1] for digit 1 ==> r4c8≠1
naked-single ==> r4c8=7
hidden-single-in-a-block ==> r6c2=7
hidden-single-in-a-block ==> r6c1=9
candidate in no template[1] for digit 3 ==> r9c3≠3
naked-single ==> r9c3=2
candidate in no template[1] for digit 2 ==> r4c7≠2
candidate in no template[1] for digit 1 ==> r5c2≠1
candidate in no template[1] for digit 5 ==> r5c9≠5
candidate in no template[1] for digit 5 ==> r4c3≠5
candidate in no template[1] for digit 5 ==> r3c6≠5
candidate in no template[1] for digit 5 ==> r2c1≠5
candidate in no template[1] for digit 5 ==> r1c7≠5
candidate in no template[1] for digit 8 ==> r7c5≠8
candidate in no template[1] for digit 8 ==> r6c3≠8
candidate in no template[1] for digit 8 ==> r5c6≠8
candidate in no template[1] for digit 8 ==> r4c7≠8
stte

.

[totuan]

Code: Select all

Vulcan Pinch

My sensors indicate that this puzzle might be somewhat illogical

Code: Select all

 *-----------------------------------------------------------------------------*
 | 1       2       359     | 3467    456     356     | 3457    8       579     |
 | 3458    345     7       | 1348    1458    9       | 2345    234     6       |
 | 345689  34569   3589    | 3478    2       358     | 1       3479    579     |
 |-------------------------+-------------------------+-------------------------|
 | 2568    1567   A12-58   | 9       3       12568   |*2578   *127     4       |
 | 23568   1356    4       | 1268    7       12568   | 9       12-3   B1258    |
 | 23589   13579   123589  |T128    T158     4       | 23578   6      *12578   |
 |-------------------------+-------------------------+-------------------------|
 | 2459    1459    6       | 1248    1489    7       | 248     1249    3       |
 | 7       8       1239    | 12346   1469    1236    | 246     5       129     |
 | 2349    1349    1239    | 5       14689   12368   | 24678   12479   12789   |
 *-----------------------------------------------------------------------------*

Not sure for that…
Have Exocet (1258) T-A-B marked cells => r4c3<>58, r5c8<>3 then downgrade the puzzle to ER-9.2
The rest can solve by logical with a bit complex and long solution.

Thanks for your puzzle!
totuan

[P.O.]

the puzzle is in 5-template, the shortest resolution path i found has 8 combinations:

Code: Select all

8: ((1 2 5 6 8) (1 2 3 5 8) (1 5 7 8 9) (1 2 5 8 9)
    (1 2 4 5 8) (1 2 6 7 8) (3 4 5 6 9) (1 3 5 6 8))


Hidden Text: Show

Code: Select all

12.....8...7..9..6....2.1.....93...4..4.7.9.......4.6...6..7..378.....5....5.....

#VT: (59 69 58 48 48 20 11 45 24)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil (22 24) nil nil nil

1       2       359     3467    456     356     3457    8       579             
3458    345     7       1348    1458    9       2345    234     6               
345689  34569   3589    3478    2       358     1       3479    579             
2568    1567    1258    9       3       12568   2578    127     4               
23568   1356    4       1268    7       12568   9       123     1258             
23589   13579   123589  128     158     4       23578   6       12578           
2459    1459    6       1248    1489    7       248     1249    3               
7       8       1239    12346   1469    1236    246     5       129             
2349    1349    1239    5       14689   12368   24678   12479   12789           
235 candidates.



1: (1 2 5 6 8)   211 instances

#VT: (8 19 58 48 18 18 11 10 24)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:(35 40 42 47 48 59 68 74 77) (35) nil nil (19 20 30 46 47) nil nil (30) nil
EraseCC: ( n7r4c8   n7r6c2 )

#VT: (8 19 58 48 18 18 3 10 24)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil

1      2      359    3467   456    356    3457   8      579             
3458   345    7      1348   1458   9      2345   234    6               
34689  3469   3589   3478   2      358    1      349    579             
2568   156    12     9      3      12568  258    7      4               
23568  1356   4      268    7      2568   9      123    1258           
2389   7      23589  128    158    4      2358   6      1258           
2459   1459   6      1248   489    7      248    1249   3               
7      8      1239   12346  469    1236   246    5      129             
2349   349    1239   5      4689   12368  24678  1249   12789           
209 candidates.



2: (1 2 3 5 8)   99 instances

#VT: (7 17 19 48 13 18 3 10 24)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:(67) nil (7 48) nil nil nil nil nil nil

1      2      359    3467   456    356    457    8      579             
3458   345    7      1348   1458   9      2345   234    6               
34689  3469   3589   3478   2      358    1      349    579             
2568   156    12     9      3      12568  258    7      4               
23568  1356   4      268    7      2568   9      123    1258           
2389   7      2589   128    158    4      2358   6      1258           
2459   1459   6      1248   489    7      248    1249   3               
7      8      1239   2346   469    1236   246    5      129             
2349   349    1239   5      4689   12368  24678  1249   12789           
206 candidates.



3: (1 5 7 8 9)   98 instances

#VT: (7 17 19 48 6 18 3 10 11)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil (28 37) nil nil nil (55)

1      2      359    3467   456    356    457    8      579             
3458   345    7      1348   1458   9      2345   234    6               
34689  3469   3589   3478   2      358    1      349    579             
268    156    12     9      3      12568  258    7      4               
2368   1356   4      268    7      2568   9      123    1258           
2389   7      2589   128    158    4      2358   6      1258           
245    1459   6      1248   489    7      248    1249   3               
7      8      1239   2346   469    1236   246    5      129             
2349   349    1239   5      4689   12368  24678  1249   12789           
203 candidates.



4: (1 2 5 8 9)   109 instances

#VT: (7 17 19 48 5 18 3 10 10)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil (7 54) nil nil nil (81)

1      2      359    3467   456    356    47     8      579             
3458   345    7      1348   1458   9      2345   234    6               
34689  3469   3589   3478   2      358    1      349    579             
268    156    12     9      3      12568  258    7      4               
2368   1356   4      268    7      2568   9      123    1258           
2389   7      2589   128    158    4      2358   6      128             
245    1459   6      1248   489    7      248    1249   3               
7      8      1239   2346   469    1236   246    5      129             
2349   349    1239   5      4689   12368  24678  1249   1278           
200 candidates.



5: (1 2 4 5 8)   283 instances

#VT: (7 17 19 33 5 18 3 10 10)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil (14) nil nil nil nil nil

1      2      359    3467   456    356    47     8      579             
3458   345    7      1348   158    9      2345   234    6               
34689  3469   3589   3478   2      358    1      349    579             
268    156    12     9      3      12568  258    7      4               
2368   1356   4      268    7      2568   9      123    1258           
2389   7      2589   128    158    4      2358   6      128             
245    1459   6      1248   489    7      248    1249   3               
7      8      1239   2346   469    1236   246    5      129             
2349   349    1239   5      4689   12368  24678  1249   1278           
199 candidates.



6: (1 2 6 7 8)   114 instances

#VT: (7 10 19 33 5 7 3 9 10)
Cells: nil nil nil nil nil (70) nil nil nil
SetVC: ( n6r8c7 )

#VT: (7 10 19 33 5 8 3 9 10)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil (79) nil nil nil nil nil nil nil

1      2      359    3467   456    356    47     8      579             
3458   345    7      1348   158    9      2345   234    6               
34689  3469   3589   3478   2      358    1      349    579             
268    156    12     9      3      12568  258    7      4               
2368   1356   4      268    7      2568   9      123    1258           
2389   7      2589   128    158    4      2358   6      128             
245    1459   6      1248   489    7      248    1249   3               
7      8      1239   234    49     123    6      5      129             
2349   349    1239   5      4689   12368  478    1249   1278           
191 candidates.



7: (3 4 5 6 9)   39 instances

#VT: (7 10 11 8 4 4 3 9 2)
Cells: nil nil nil (68) nil (77) nil nil (46 59)
SetVC: ( n9r6c1   n9r7c5   n4r8c5   n6r9c5   n5r1c5   n3r6c7
         n5r6c3   n8r3c3   n3r3c6   n6r1c6   n3r8c4   n3r2c8
         n3r1c3   n5r3c9   n6r5c4   n7r3c4   n9r3c2   n9r1c9
         n4r1c4   n7r1c7   n4r3c8   n2r2c7   n6r3c1   n5r4c7
         n5r5c6   n6r4c2   n7r9c9   n9r9c8   n9r8c3 )

#VT: (7 3 2 4 2 1 1 3 1)
Cells: nil (49) nil nil nil nil nil nil nil
SetVC: ( n2r6c4 )

#VT: (7 3 2 4 2 1 1 3 1)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil (37) nil nil nil nil nil nil nil

1    2    3    4    5    6    7    8    9             
45   45   7    18   18   9    2    3    6             
6    9    8    7    2    3    1    4    5             
28   6    12   9    3    18   5    7    4             
38   13   4    6    7    5    9    12   128           
9    7    5    2    18   4    3    6    18           
245  145  6    18   9    7    48   12   3             
7    8    9    3    4    12   6    5    12           
234  34   12   5    6    128  48   9    7             
55 candidates.



8: (1 3 5 6 8)   8 instances

#VT: (4 3 2 4 2 1 1 3 1)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:(45 62 75) nil nil nil nil nil nil nil nil
EraseCC: ( n2r7c8   n1r8c9   n2r9c3   n1r4c3   n8r4c6   n3r5c2
           n1r5c8   n1r6c5   n8r6c9   n2r8c6   n4r9c2   n1r9c6
           n8r9c7   n5r2c2   n8r2c5   n2r4c1   n8r5c1   n2r5c9
           n5r7c1   n1r7c2   n8r7c4   n4r7c7   n3r9c1   n4r2c1
           n1r2c4 )
1 2 3   4 5 6   7 8 9
4 5 7   1 8 9   2 3 6
6 9 8   7 2 3   1 4 5
2 6 1   9 3 8   5 7 4
8 3 4   6 7 5   9 1 2
9 7 5   2 1 4   3 6 8
5 1 6   8 9 7   4 2 3
7 8 9   3 4 2   6 5 1
3 4 2   5 6 1   8 9 7


[totuan]

For reference
Not solve the puzzle, just some moves on using exocet’s properties after apply exocet’s eliminations (r4c3<>58, r5c8<>3)

Hidden Text: Show

Code: Select all

 *-----------------------------------------------------------------------------*
 | 1       2      b359     | 3467    456     356     | 457     8       579     |
 |c3458   c345     7       | 1348    1458    9       | 245    d234     6       |
 | 345689  34569  b3589    | 3478    2       358     | 1       3479    579     |
 |-------------------------+-------------------------+-------------------------|
 | 2568    1567   A12      | 9       3       12568   | 258-7  e127     4       |
 | 23568   1356    4       | 1268    7       12568   | 9      e12     B1258    |
 | 2589    1579   a12589   |T128    T158     4       | 3       6       12578   |
 |-------------------------+-------------------------+-------------------------|
 | 2459    1459    6       | 1248    1489    7       | 248     1249    3       |
 | 7       8       1239    | 1234-6  1469    1236    | 246     5       129     |
 | 2349    1349    1239    | 5       14689   12368   | 24678   12479   12789   |
 *-----------------------------------------------------------------------------*

By exocet (1258) T-A-B marked cells => if r6c45<>(5|8) => r5c9<>(5|8) => (5|8)r6c3 lead to (5|8)r4c7 => r4c7<>7
02: (58)r6c3,r4c7=(58)r13c3-(58=34)r2c12-(34=2)r2c8-(12=7)r45c8 => r4c7<>7

Code: Select all

 *-----------------------------------------------------------------------------*
 | 1       2       359     | 3467    456     356     | 457     8       579     |
 |#3458    345     7       |*1348   *1458    9       | 245     234     6       |
 | 345689  34569  #3589    | 3478    2       358     | 1       3479    579     |
 |-------------------------+-------------------------+-------------------------|
 | 2568    1567   A12      | 9       3       12568   | 258     127     4       |
 | 23568   1356    4       | 1268    7       12568   | 9       12     B1258    |
 | 2589    1579   #12589   |T12-8   T158     4       | 3       6       12578   |
 |-------------------------+-------------------------+-------------------------|
 | 2459    1459    6       | 1248    1489    7       | 248     1249    3       |
 | 7       8       1239    | 12346   1469    1236    | 246     5       129     |
 | 2349    1349    1239    | 5       14689   12368   | 24678   12479   12789   |
 *-----------------------------------------------------------------------------*

By exocet (1258) T-A-B marked cells => if r6c5=5 => r5c9=5 => r6c4=12
UR(18)r26c45 => (25)r6c45=(8)r2c1
03: (25)r6c45==(8)r2c1-r3c3=r6c3 => r6c4<>8

Code: Select all

 *-----------------------------------------------------------------------------*
 | 1       2       359     | 3467    456     356     | 457     8       579     |
 | 3458    345     7       | 1348    1458    9       | 245     234     6       |
 | 345689  34569   3589    | 3478    2       358     | 1       3479    579     |
 |-------------------------+-------------------------+-------------------------|
 | 2568    1567   A12      | 9       3       12568   | 258     127     4       |
 | 23568   1356    4       | 1268    7       12568   | 9       12     B1258    |
 | 2589    1579    12589   |T12     T158     4       | 3       6       12578   |
 |-------------------------+-------------------------+-------------------------|
 | 2459    1459    6       | 128-4   1489    7       | 248     1249    3       |
 | 7       8       1239    | 1234-6  1469    123-6   | 246     5       129     |
 | 2349    1349    1239    | 5       14689   12368   | 24678   12479   12789   |
 *-----------------------------------------------------------------------------*

By exocet (1258) T-A-B marked cells => if r6c3=8 => r6c5<>8 => r5c9<>8 => r4c7=8
04: Present as diagram: => r7c4<>4, r8c46<>6

Code: Select all

(129-58)r6c3=(58)r13c3---(8)r2c1=(18)r2c45-(5)r2c5
 ||                     |                   ||
 ||                      ------------------(5)r2c12
 ||                                         ||
 ||                                        (579)r2c7,r13c9-(7)r1c7=(7-6)r9c7=(6*-4)r8c7=r8c45*
 ||
(5)r6c3------------------------------------(5)r6c5
 ||    |                                    ||
 ||     -(8)r6c3=(8)r3c3-(8)r2c1=(18)r2c45-(45)r2c5
 ||                                         ||
 ||                                        (18)r26c5-(18=469)r789c5*
 ||
(8-5)r6c3,r4c7=(5)r56c9-(5=79)r13c9-(7)r1c7=(7-6)r9c7=(6*-4)r8c7=r8c45*

Code: Select all

 *-----------------------------------------------------------------------------*
 | 1       2       359     | 3467    456     356     | 457     8       579     |
 |%3458    345     7       |#1348   *18-45   9       | 245     234     6       |
 | 345689  34569  %3589    | 3478    2       358     | 1       3479    579     |
 |-------------------------+-------------------------+-------------------------|
 | 2568    1567    12      | 9       3       12568   | 258     127     4       |
 | 23568   1356    4       | 1268    7       12568   | 9       12      1258    |
 | 2589    1579   %12589   |#12     *158     4       | 3       6       12578   |
 |-------------------------+-------------------------+-------------------------|
 | 2459    1459    6       |#128    *1489    7       | 248     1249    3       |
 | 7       8       1239    | 1234    1469    123     | 246     5       129     |
 | 2349    1349    1239    | 5      *14689   12368   | 24678   12479   12789   |
 *-----------------------------------------------------------------------------*

05: Present as diagram: r2c5<>45

Code: Select all

(8)r2c5*
 ||
(8)r79c5-(8=12)r67c4-(1)r2c4=r2c5*
 ||
(8)r6c5-r6c3=r3c3-r2c1=(18)r2c45*

Code: Select all

 *-----------------------------------------------------------------------------*
 | 1       2       359     | 347-6   456     356     | 457     8       579     |
 | 3458    345     7       | 1348    18      9       | 245     234     6       |
 | 345689  34569   3589    | 3478    2       358     | 1       3479    579     |
 |-------------------------+-------------------------+-------------------------|
 | 2568    1567    12      | 9       3       12568   | 258     127     4       |
 | 23568   1356    4       | 1268    7       12568   | 9       12      1258    |
 | 2589    1579    12589   | 12     *158     4       | 3       6       12578   |
 |-------------------------+-------------------------+-------------------------|
 | 2459    1459    6       | 128     1489    7       | 248     1249    3       |
 | 7       8       1239    | 1234    1469    123     | 246     5       129     |
 | 2349    1349    1239    | 5       14689   12368   | 24678   12479   12789   |
 *-----------------------------------------------------------------------------*

06: Present as diagram: => r1c4<>6, r5c4=6

Code: Select all

(1)r6c5-r2c5=(128)r267c4-(128=6)r5c4*                (6)r1c5*
 ||                                                   ||
(5)r6c5--r6c3=r13c3-r2c12=(579)r2c7,r13c9-(57=4)r1c7-(4)r1c5
 ||     |                                             ||
 ||      --------------------------------------------(5)r1c5
 ||
(8)r6c5-r6c3=r3c3-r2c1=(128)r267c4-(128=6)r5c4*

From here, the puzzle is ER-7.8 and not hard to finish.
totuan

[eleven]

Excellent !
Now the puzzle is solvable with "normal" chains, but hodoku still needs 8 chains and 13 advanced moves, to solve it