proposal for digit 9

Post puzzles for others to solve here.

proposal for digit 9

Postby urhegyi » Tue Jun 06, 2023 5:58 pm

Code: Select all
...358.....2...1...3.....4...5....8....26193........6..7.....5...9...2.....682...
...358.....2...1...3.....4...5....8....26193........6..7.....5...3...2.....682...
urhegyi
 
Posts: 748
Joined: 13 April 2020

Re: proposal for digit 9

Postby Hajime » Thu Jun 08, 2023 3:25 pm

urhegyi wrote:
Code: Select all
...358.....2...1...3.....4...5....8....26193........6..7.....5...9...2.....682...
...358.....2...1...3.....4...5....8....26193........6..7.....5...3...2.....682...

#1 possible solution path
Hidden Text: Show
Code: Select all
[1,1] r2c9=3 Hidden Single in row 2
[1,2] r5c9=5 Hidden Single in row 5
[1,3] r7c1=2 Hidden Single in row 7
[1,4] r6c4=8 Hidden Single in col 4
[1,5] r3c5=2 Hidden Single in col 5
[1,6] r3c7=5 Hidden Single in col 7
[1,7] r7c7=8 Hidden Single in col 7
[1,8] r1c8=2 Hidden Single in col 8
[1,9] r3c9=8 Hidden Single in col 9
[1,10] r3c4=1 Hidden Single in box 2
[1,11] r6c6=5 Hidden Single in box 5
[1,12] r8c4=5 Hidden Single in box 8
[1,13] r9c7=3 Hidden Single in box 9
[2,14] r5c3=8 Hidden Single in col 3
[2,15] r1c7=6 Hidden Single in col 7
[3,16] r5c2=4 Naked Single
[4,17] r5c1=7 Naked Single
[5,17] Naked/Hidden Pairs,Triplets,Quads  | NQuin (14679)b1e12379 => (-469)r2c1 (-69)r2c2 | NQuin (45789)r2c12458 => (-479)r2c6 | 1 (6)b2e6 => (-6)r3c6 | NQuad (3479)r4c4567 => (-39)r4c1 (-9)r4c2 (-47)r4c9 | NPair (47)b6e17 => (-47)r6c9 | NTriple (145)b7e789 => (-14)r7c3 (-14)r8c1 (-1)r8c2 | NTriple (145)r9c123 => (-1)r9c8 (-14)r9c9 | NQuad (1279)c9r1469 => (-19)r7c9 (-17)r8c9 | NQuad (4679)b9e3689 => (-7)r8c8
[6,18] r2c6=6 Naked Single
[6,19] r8c8=1 Naked Single
[7,20] r7c5=1 Hidden Single in row 7
[8,20] Naked/Hidden Pairs,Triplets,Quads  | NQuad (1239)r6c1239 => (-39)r6c5
[9,20] XY-wing  [3]  (1)(1=9)r1c2-(9=6)r3c1-(6=1)r4c1 => (-1)r1c1 (-1)r4c2 (-1)r6c2
[10,20] XY-wing  [3]  (6)(6=1)r4c1-(1=3)r6c3-(3=6)r7c3 => (-6)r8c1
[11,20] XY-chain [10]  (4)(4=9)r1c1-(9=1)r1c2-(1=5)r9c2-(5=8)r2c2-(8=6)r8c2-(6=4)r8c9-(4=6)r7c9-(6=3)r7c3-(3=1)r6c3-(1=4)r9c3 => (-4)r1c3 (-4)r9c1
[12,21] r1c1=4 Hidden Single in row 1
[12,22] r9c3=4 Hidden Single in row 9
[13,22] XY-chain [10]  (1)(1=6)r4c1-(6=2)r4c2-(2=1)r4c9-(1=2)r6c9-(2=9)r6c2-(9=1)r1c2-(1=7)r1c3-(7=6)r3c3-(6=3)r7c3-(3=1)r6c3 => (-1)r6c1
[14,22] AIC [7]  (9)(9=7)r2c8-7-r2c4=7=r4c4-(7=4)r6c5-4-r2c5=4=r2c4-(4=9)r7c4 => (-9)r2c4
[15,22] XY-wing  [3]  (9)(9=7)r3c6-(7=4)r2c4-(4=9)r7c4 => (-9)r7c6
[16,23] r7c4=9 Hidden Single in row 7
[17,23] Naked/Hidden Pairs,Triplets,Quads  | NQuin (12467)r4c12479 => (-47)r4c5 (-47)r4c6
[18,23] Pointing, Claiming  | (4)c6,b8 => (-4)r8c5
[19,23] XY-chain [9]  (1)(1=9)r1c2-(9=6)r3c1-(6=7)r3c3-(7=9)r3c6-(9=3)r4c6-(3=4)r7c6-(4=6)r7c9-(6=3)r7c3-(3=1)r6c3 => (-1)r1c3
[20,24] r1c3=7 Naked Single
[20,25] r1c9=9 Naked Single
[20,26] r2c8=7 Naked Single
[20,27] r3c3=6 Naked Single
[20,28] r7c3=3 Naked Single
[20,29] r7c6=4 Naked Single
[20,30] r7c9=6 Naked Single
[20,31] r8c1=8 Naked Single
[20,32] r8c2=6 Naked Single
[20,33] r8c9=4 Naked Single
[20,34] r9c8=9 Naked Single
[20,35] r9c9=7 Naked Single
[21,36] r1c2=1 Naked Single
[21,37] r2c1=5 Naked Single
[21,38] r2c2=8 Naked Single
[21,39] r2c4=4 Naked Single
[21,40] r2c5=9 Naked Single
[21,41] r3c1=9 Naked Single
[21,42] r3c6=7 Naked Single
[21,43] r4c2=2 Naked Single
[21,44] r4c4=7 Naked Single
[21,45] r4c5=3 Naked Single
[21,46] r4c6=9 Naked Single
[21,47] r4c7=4 Naked Single
[21,48] r4c9=1 Naked Single
[21,49] r6c1=3 Naked Single
[21,50] r6c2=9 Naked Single
[21,51] r6c3=1 Naked Single
[21,52] r6c5=4 Naked Single
[21,53] r6c7=7 Naked Single
[21,54] r6c9=2 Naked Single
[21,55] r8c5=7 Naked Single
[21,56] r8c6=3 Naked Single
[21,57] r9c1=1 Naked Single
[21,58] r9c2=5 Naked Single
[22,59] r4c1=6 Naked Single
So 3 XY-wings, 3 XY-chains of length 9 or 10 and an AIC of length 7

#2 much harder, needs forcing chains/nets
User avatar
Hajime
 
Posts: 1375
Joined: 20 April 2018
Location: Fryslân

Re: proposal for digit 9

Postby P.O. » Thu Jun 08, 2023 4:10 pm

puzzle #1
basics:
Hidden Text: Show
Code: Select all
( n2r1c8   n2r7c1   n2r3c5   n3r2c9   n5r5c9   n8r6c4   n1r3c4
  n5r6c6   n5r8c4   n5r3c7   n8r7c7   n8r3c9   n3r9c7   n6r1c7
  n8r5c3   n4r5c2   n7r5c1 )

intersections:
((((9 0) (9 8 9) (1 7 9)) ((9 0) (9 9 9) (1 4 7 9)))
 (((7 0) (9 8 9) (1 7 9)) ((7 0) (9 9 9) (1 4 7 9)))
 (((7 0) (4 7 6) (4 7)) ((7 0) (6 7 6) (4 7)))
 (((4 0) (7 9 9) (1 4 6)) ((4 0) (8 9 9) (1 4 6)) ((4 0) (9 9 9) (1 4 7 9)))
 (((4 0) (2 4 2) (4 7 9)) ((4 0) (2 5 2) (4 7 9)) ((4 0) (2 6 2) (4 6 7 9)))
 (((1 0) (8 8 9) (1)) ((1 0) (9 8 9) (1 7 9))) ( n1r7c5   n1r8c8 ))

PAIR COL: ((7 9 9) (4 6)) ((8 9 9) (4 6)) 
(((9 9 9) (4 7 9)))

intersection:
((((4 0) (9 1 7) (1 4 5)) ((4 0) (9 3 7) (1 4))))

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

( n6r2c6 )

QUAD ROW: ((4 4 5) (4 7 9)) ((4 5 5) (3 4 7 9)) ((4 6 5) (3 4 7 9)) ((4 7 6) (4 7))
(((4 1 4) (1 3 6 9)) ((4 2 4) (1 2 6 9)))

intersections:
((((9 0) (6 1 4) (1 3 9)) ((9 0) (6 2 4) (1 2 9)))
 (((3 0) (6 1 4) (1 3 9)) ((3 0) (6 3 4) (1 3))))

Code: Select all
149   19    147   3     5     8     6     2     79             
58    58    2     479   479   6     1     79    3             
69    3     67    1     2     79    5     4     8             
16    126   5     479   3479  3479  47    8     12             
7     4     8     2     6     1     9     3     5             
139   129   13    8     47    5     47    6     12             
2     7     36    49    1     349   8     5     46             
368   68    9     5     347   347   2     1     46             
145   15    14    6     8     2     3     79    79             

3r7c6 => r3c16 <> 9
 r7c6=3 - r7c3{n3 n6} - r3n6{c3 c1}
 r7c6=3 - r4n3{c6 c5} - c5n9{r4 r2}
 
=> r7c6 <> 3
ste.

puzzle #2
basics:
Hidden Text: Show
Code: Select all
( n2r1c8   n2r7c1   n2r3c5   n3r2c9   n5r5c9   n8r6c4   n1r3c4
  n3r9c7   n5r6c6   n5r8c4   n5r3c7   n8r7c7   n8r3c9   n6r1c7
  n8r5c3   n4r5c2   n7r5c1 )

intersections:
((((7 0) (9 8 9) (1 7 9)) ((7 0) (9 9 9) (1 4 7 9)))
 (((7 0) (4 7 6) (4 7)) ((7 0) (6 7 6) (4 7)))
 (((4 0) (7 9 9) (1 4 6 9)) ((4 0) (8 9 9) (1 4 6 9))
  ((4 0) (9 9 9) (1 4 7 9)))
 (((4 0) (2 4 2) (4 7 9)) ((4 0) (2 5 2) (4 7 9)) ((4 0) (2 6 2) (4 6 7 9)))
 (((1 0) (8 8 9) (1 9)) ((1 0) (9 8 9) (1 7 9))))

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

( n6r2c6 )

TRIPLET ROW: ((6 2 4) (1 2 9)) ((6 3 4) (1 9)) ((6 9 6) (1 2))
(((6 1 4) (1 3 9)) ((6 5 5) (3 4 7 9)))

( n3r6c1 )

intersection:
((((9 0) (6 2 4) (1 2 9)) ((9 0) (6 3 4) (1 9))))

Code: Select all
149    19     1479   3      5      8      6      2      79             
58     58     2      479    479    6      1      79     3               
69     3      679    1      2      79     5      4      8               
16     126    5      479    3479   3479   47     8      12             
7      4      8      2      6      1      9      3      5               
3      129    19     8      47     5      47     6      12             
2      7      1469   49     1349   349    8      5      469             
14689  1689   3      5      1479   479    2      19     469             
1459   159    149    6      8      2      3      179    479         

9r3c1 => r7c34569 <> 4
 r3c1=9 - 147r1c123 - c9n7{r1 r9} - r9n4{c9 c13}
 r3c1=9 - r3c6{n9 n7} - c4n7{r2 r4} - r6c5{n7 n4} - r2n4{c5 c4}
 r3c1=9 - r3c6{n9 n7} - c4n7{r2 r4} - r6c5{n7 n4}
 r3c1=9 - r3c6{n9 n7} - r8n7{c6 c5} - c5n1{r8 r7} - r7n3{c5 c6}
 r3c1=9 - 147r1c123 - r3c3{n79 n6} - r7n6{c3 c9}
 
=>r3c1 <> 9
ste.
P.O.
 
Posts: 1733
Joined: 07 June 2021


Return to Puzzles