 by P.O. » Fri Dec 23, 2022 9:52 am
by P.O. » Fri Dec 23, 2022 9:52 am 
			
			thank you for your answers, my solution:
- Code: Select all
- 8r129c3 => r1c4 <> 2
 r1c3=8 - r1n5{c3 c8} - r1n1{c8 c4}
 r2c3=8 - r2n2{c3 c5}
 r9c3=8 - r9c4{n8 n2}
 
 ste.
 
with templates:
- Code: Select all
- initialization:
 
 #VT: (14 7 5 13 24 5 22 13 8)
 Cells: nil nil nil nil nil nil nil nil nil
 Candidates:nil nil nil nil nil nil nil nil nil
 
 6      7      1258   128    238    9      38     135    4
 148    3      1248   5      248    7      89     6      189
 1458   145    9      168    3468   16     2      1357   13578
 2      8      157    9      56     4      367    1357   1357
 4579   4569   457    3      1      256    4678   2457   2578
 145    1456   3      7      256    8      46     9      125
 1789   19     6      4      2789   12     5      237    2379
 14579  2      1457   16     5679   3      479    8      79
 3      459    4578   28     25789  25     1      247    6
 
 1: (1 2 5 8) 52 compatible instances:
 
 ..512.8..8.25....1.1.8..2.528..5..1.....12.5815...8..2....8152.521....8...82.51..
 ..512.8..8.25....1.1.8..25.28.....15.5..12..81...58..2....8152.521....8...82.51..
 ...12.85.8.25....115.8..2..28.....15..5.12..8.1..58..2....8152.521....8...82.51..
 ..812..5...25..8.115.8..2..28.....15..5.12..8.1..58..28....152.521....8....2851..
 ..512.8..8.25....11..8..25.28.....15.5..12..8.1..58..2....8152.521....8...82.51..
 ..21..85...852...115.8..2..28.....15..5.12..8.1..58..28....152.521....8....2851..
 ..21..85.8..52...115.8..2..28.....15..5.12..8.1..58..2....8152.521....8...82.51..
 ..21..85.8.152.....5.8..2.128.....155...12..8.1..58..2....8152.125....8...82.51..
 ..21..85.8.152....5..8..2.128.....15.5..12..8.1..58..2....8152.125....8...82.51..
 ..582..1.1.25....88..1..2.528.....51.5..128...1..58..2....8152.521....8...82.51..
 ..582..1.1.25..8..8..1..2.528.....51.5..12..8.1..58..2....8152.521....8...82.51..
 ..812..5.1.25....8.5.8..2.128.....15..5.128...1..58..28....152.521....8....2851..
 ..812..5.1.25..8...5.8..2.128.....15..5.12..8.1..58..28....152.521....8....2851..
 ..812..5.1.25....8.5.8..2.1285....1.....128.5.1..58..28....152.521....8....2851..
 ..21..85.1.852.....5.8..2.128.....15..5.12..8.1..58..28....152.521....8....2851..
 ..812..5.1.25....8.5.8..21.285.....1....128.5.1..58..28....152.521....8....2851..
 ..182..5.8.25....1.5...12.828..5..1.....128.551...8..21...8.52..251...8...82.51..
 ..182..5...25..8.185...12..28.....15..5.12..8.1..58..21...8.52.52.1...8...82.51..
 ..1.2.85.8.25....1.5.8.12..28.....15..5.12..8.1..58..21...8.52.52.1...8...82.51..
 ..182..5.8.25....1.5...12.828.....15..5.128...1..58..21...8.52.52.1...8...82.51..
 ..182..5...25..8.185...12..28.....155...12..8.1..58..21...8.52..251...8...82.51..
 ..1.2.85.8.25....1.5.8.12..28.....155...12..8.1..58..21...8.52..251...8...82.51..
 ..182..5.8.25....1.5...12.828.....155...128...1..58..21...8.52..251...8...82.51..
 ..182..5.8.25....1.5...12.8285....1.....128.5.1..58..21...8.52.52.1...8...82.51..
 ..1.2.85.8.25....15..8.12..28.....15.5..12..8.1..58..21...8.52..251...8...82.51..
 ..182..5.8.25....15....12.828.....15.5..128...1..58..21...8.52..251...8...82.51..
 ..12..85.8.25....1.5.8.12..28.....15....15.2851..28...1...8.5.2.251...8...8.521..
 ..12..85.8.25....1.5.8.12..285....1.....15.28.1..28..51...8.5.252.1...8...8.521..
 ..12..85.8.25....15..8.12..285....1.....15.28.1..28..51...8.5.2.2.15..8..58..21..
 ..12..85.8.25....1.5.8.12..28.....15..5.12..8.1..58..21...8.52.52.1...8...8.251..
 ..12..85.8.25....1.5.8.12..28.....155...12..8.1..58..21...8.52..251...8...8.251..
 ..12..85.8.25....15..8.12..28.....15.5..12..8.1..58..21...8.52..251...8...8.251..
 ..182..5...25..8.185...12..28.....15..5.12..81...58..2.1..8.52.52.1...8...82.51..
 ..1.2.85.8.25....1.5.8.12..28.....15..5.12..81...58..2.1..8.52.52.1...8...82.51..
 ..182..5.8.25....1.5...12.828.....15..5.128..1...58..2.1..8.52.52.1...8...82.51..
 ..182..5...25..8.185...12..28.....155...12..81...58..2.1..8.52..251...8...82.51..
 ..1.2.85.8.25....1.5.8.12..28.....155...12..81...58..2.1..8.52..251...8...82.51..
 ..182..5.8.25....1.5...12.828.....155...128..1...58..2.1..8.52..251...8...82.51..
 ..182..5.8.25....1.5...12.8285....1.....128.51...58..2.1..8.52.52.1...8...82.51..
 ..182..5.8.25....15....12.828..5..1.....128.515...8..2.1..8.52..251...8...82.51..
 ..1.2.85.8.25....15..8.12..28.....15.5..12..81...58..2.1..8.52..251...8...82.51..
 ..182..5.8.25....15....12.828.....15.5..128..1...58..2.1..8.52..251...8...82.51..
 ..12..85.8.25....1.5.8.12..285....1.....15.281...28..5.1..8.5.252.1...8...8.521..
 ..12..85.8.25....15..8.12..28.....15....15.2815..28....1..8.5.2.251...8...8.521..
 ..12..85.8.25....15..8.12..285....1.....15.281...28..5.1..8.5.2.2.15..8..58..21..
 ..12..85.8.25....1.5.8.12..28.....15..5.12..81...58..2.1..8.52.52.1...8...8.251..
 ..12..85.8.25....1.5.8.12..28.....155...12..81...58..2.1..8.52..251...8...8.251..
 ..12..85.8.25....15..8.12..28.....15.5..12..81...58..2.1..8.52..251...8...8.251..
 ..182..5.8.25....1.5.1..2.828..5..1.....128.551...8..2....8152.125....8...82.51..
 ..182..5...25..8.185.1..2..28.....155...12..8.1..58..2....8152.125....8...82.51..
 ..182..5.8.25....1.5.1..2.828.....155...128...1..58..2....8152.125....8...82.51..
 ..182..5.8.25....15..1..2.828.....15.5..128...1..58..2....8152.125....8...82.51..
 
 ...1.............1.1..............1.....1....1.............1.....1............1..
 ...1.............11...............1.....1.....1............1.....1............1..
 ...1.......1..............1.......1.....1.....1............1...1..............1..
 .......1.1...........1.............1....1.....1............1.....1............1..
 ...1.....1................1.......1.....1.....1............1.....1............1..
 ...1.....1...............1.........1....1.....1............1.....1............1..
 ..1..............1.....1..........1.....1.....1.......1...........1...........1..
 ..1..............1.....1..........1.....1....1.........1..........1...........1..
 ..1..............1...1............1.....1.....1............1...1..............1..
 
 ....2......2............2..2.............2...........2.......2..2..........2.....
 ...2.......2............2..2...............2.....2............2.2............2...
 ...2.......2............2..2.............2...........2.......2..2...........2....
 ..2..........2..........2..2.............2...........2.......2..2..........2.....
 
 .......5....5......5...............5.....5...5..............5....5..........5....
 .......5....5......5...........5............55..............5....5...........5...
 .......5....5......5...............5..5..........5..........5..5.............5...
 .......5....5......5...............55............5..........5....5...........5...
 .......5....5......5.........5..............5....5..........5..5.............5...
 .......5....5......5.........5...........5...........5......5..5............5....
 .......5....5.....5................5.....5....5.............5....5..........5....
 .......5....5.....5............5............5.5.............5....5...........5...
 .......5....5.....5................5.5...........5..........5....5...........5...
 .......5....5.....5..........5...........5...........5......5......5.....5.......
 ..5.........5.............5....5...........5..5.............5..5.............5...
 ..5.........5.............5.......5..5...........5..........5..5.............5...
 ..5.........5............5.........5.5...........5..........5..5.............5...
 
 ...8.............88.........8.............8.......8.......8...........8...8......
 ...8...........8..8.........8...............8.....8.......8...........8...8......
 ......8....8.........8......8...............8.....8...8...............8.....8....
 ......8..8...........8......8...............8.....8.......8...........8...8......
 ...8.....8................8.8.............8.......8.......8...........8...8......
 ..8..............8...8......8.............8.......8...8...............8.....8....
 ..8............8.....8......8...............8.....8...8...............8.....8....
 
 #VT: (9 4 5 13 13 5 22 7 8)
 Cells: nil nil nil nil nil nil nil nil nil
 Candidates:(30 54) (45 59 60 80) nil nil (75) nil nil (5 14 23 76) nil
 EraseCC: ( n1r7c6   n6r8c4   n2r9c4   n5r9c6   n6r3c6   n2r5c6
 n9r7c2   n4r9c2   n7r9c8   n9r8c9   n8r9c3   n9r9c5
 n7r7c1   n8r7c5   n7r8c5   n4r8c7   n6r6c7   n5r6c5
 n2r6c9   n3r7c9   n6r4c5   n1r6c2   n2r7c8   n5r3c2
 n6r5c2   n4r6c1   n4r5c8   n4r3c5   n4r2c3   n5r1c8
 n7r3c9   n9r2c7   n9r5c1   n2r2c5   n3r1c5   n8r1c7
 n1r2c9   n3r3c8   n1r4c8   n5r4c9   n7r5c7   n8r5c9
 n1r1c4   n8r2c1   n1r3c1   n8r3c4   n7r4c3   n3r4c7
 n5r5c3   n5r8c1   n1r8c3   n2r1c3 )
 6 7 2   1 3 9   8 5 4
 8 3 4   5 2 7   9 6 1
 1 5 9   8 4 6   2 3 7
 2 8 7   9 6 4   3 1 5
 9 6 5   3 1 2   7 4 8
 4 1 3   7 5 8   6 9 2
 7 9 6   4 8 1   5 2 3
 5 2 1   6 7 3   4 8 9
 3 4 8   2 9 5   1 7 6