- Code: Select all
+-------+-------+-------+
| . . . | 9 . . | 8 . . |
| 7 . . | . . . | . . 6 |
| 5 4 . | . . 3 | . . 7 |
+-------+-------+-------+
| . 2 . | . . . | . . . |
| 6 . . | . 1 5 | . . 3 |
| . . . | 8 . . | 4 . . |
+-------+-------+-------+
| . . . | 1 . . | 2 . . |
| 3 . . | . 7 6 | . . 1 |
| . . . | . . . | . . . |
+-------+-------+-------+
...9..8..7.......654...3..7.2.......6...15..3...8..4.....1..2..3...76..1.........
Battle of Yavin
7 posts
• Page 1 of 1
Battle of Yavin
by mith » Tue Jan 26, 2021 5:04 pm
- mith
- Posts: 996
- Joined: 14 July 2020
Re: Battle of Yavin
by rjamil » Tue Jan 26, 2021 6:05 pm
- rjamil
- Posts: 785
- Joined: 15 October 2014
- Location: Karachi, Pakistan
Re: Battle of Yavin
by Leren » Tue Jan 26, 2021 8:02 pm
2 Non Basic Steps.
(3) r9c4 = (3-7) r4c4 = (7) r5c4 - (7=3) r258c7 => - 3 r9c7
ALS Loop : (7=5) r58c7 - (5=7) r258c2 Loop => 13 eliminations : - 9 r34c7, r6c2, - 7 r5c348, - 5 r8c348, - 89 r79c2; btte
Leren
- Code: Select all
*-------------------------------------------------------------*
| 12 136 1236 | 9 2456 7 | 8 12345 245 |
| 7 389 2389 | 245 2458 1 |d359 23459 6 |
| 5 4 12689 | 26 268 3 | 19 129 7 |
|-----------------------+-----------------+-------------------|
| 1489 2 1345789 |b3467 3469 49 | 15679 156789 589 |
| 6 789 4789 |c247 1 5 |d79 2789 3 |
| 19 13579 13579 | 8 2369 29 | 4 125679 259 |
|-----------------------+-----------------+-------------------|
| 489 56789 456789 | 1 3459 489 | 2 367 4589 |
| 3 589 24589 | 245 7 6 |d59 4589 1 |
| 12489 156789 12456789 |a2345 23459 2489 | 67-3 367 4589 |
*-------------------------------------------------------------*
(3) r9c4 = (3-7) r4c4 = (7) r5c4 - (7=3) r258c7 => - 3 r9c7
- Code: Select all
*----------------------------------------------------------------*
| 12 136 1236 | 9 2456 7 | 8 1245 245 |
| 7 b89 289 | 245 2458 1 | 3 2459 6 |
| 5 4 12689 | 26 268 3 | 1-9 129 7 |
|-------------------------+-----------------+--------------------|
| 1489 2 1345789 | 3467 3469 49 | 1567-9 156789 589 |
| 6 b789 489-7 | 24-7 1 5 |a79 289-7 3 |
| 19 1357-9 13579 | 8 2369 29 | 4 125679 259 |
|-------------------------+-----------------+--------------------|
| 489 567-89 456789 | 1 3459 489 | 2 367 4589 |
| 3 b589 2489-5 | 24-5 7 6 |a59 489-5 1 |
| 12489 1567-89 12456789 | 2345 23459 2489 | 67 367 4589 |
*----------------------------------------------------------------*
ALS Loop : (7=5) r58c7 - (5=7) r258c2 Loop => 13 eliminations : - 9 r34c7, r6c2, - 7 r5c348, - 5 r8c348, - 89 r79c2; btte
Leren
- Leren
- Posts: 5124
- Joined: 03 June 2012
Re: Battle of Yavin
by pjb » Tue Jan 26, 2021 8:33 pm
MSLS + basics + X-wing:
15 cell Truths: r2358 c2478
15 links: 35r2, 1r3, 7r5, 5r8, 89c2, 624c4, 9c7, 2489c8
21 eliminations: r2c3<>3, r2c5<>5, r3c3<>1, r5c3<>7, r8c3<>5, r6c2<>9, r7c2<>89, r9c2<>89, r4c4<>46, r9c4<>24, r4c7<>9, r1c8<>24, r4c8<>89, r6c8<>29,
1s at r3c78 only ones in row/column => -1 r1c8.
Naked quads of 2489 at r2358c3 => -2 r19c3, -4 r479c3, -8 r479c3, -9 r4679c3
Naked quins of 13567 at r9c23478 => -1 r9c1, -3 r9c5, -5 r9c59
Naked quads of 1567 at r79c23 => -5 r8c2
Naked quins of 13567 at r14679c8 => -1 r3c8, -3 r2c8, -5 r28c8, -7 r5c8
X-wing of 5s (r28\c47) => -5 r4c7, r9c4 => stte
Phil
15 cell Truths: r2358 c2478
15 links: 35r2, 1r3, 7r5, 5r8, 89c2, 624c4, 9c7, 2489c8
21 eliminations: r2c3<>3, r2c5<>5, r3c3<>1, r5c3<>7, r8c3<>5, r6c2<>9, r7c2<>89, r9c2<>89, r4c4<>46, r9c4<>24, r4c7<>9, r1c8<>24, r4c8<>89, r6c8<>29,
1s at r3c78 only ones in row/column => -1 r1c8.
Naked quads of 2489 at r2358c3 => -2 r19c3, -4 r479c3, -8 r479c3, -9 r4679c3
Naked quins of 13567 at r9c23478 => -1 r9c1, -3 r9c5, -5 r9c59
Naked quads of 1567 at r79c23 => -5 r8c2
Naked quins of 13567 at r14679c8 => -1 r3c8, -3 r2c8, -5 r28c8, -7 r5c8
X-wing of 5s (r28\c47) => -5 r4c7, r9c4 => stte
Phil
- pjb
- 2014 Supporter
- Posts: 2673
- Joined: 11 September 2011
- Location: Sydney, Australia
Re: Battle of Yavin
by Cenoman » Tue Jan 26, 2021 9:29 pm
Solved with fishes and basics:
Swordfish^ (8)c169\r479 => -8 r4c38, r79c23
Swordfish% (2)c169\r169 => -2 r1c358, r6c58, r9c345; HP(28)r23c5, HP(45)b2p24; +6 r3c4
- Code: Select all
+------------------------------+------------------------+--------------------------+
| 12% 136 136-2 | 9 456-2 7 | 8 1345-2 245% |
| 7 389* 2389 | 245 2458 1 | 359* 23459* 6 |
| 5 4 12689* | 26 268 3 | 19* 129* 7 |
+------------------------------+------------------------+--------------------------+
| 1489^ 2 13457-89 | 3467 3469 49 | 1567-9 1567-89 589^$ |
| 6 789* 4789* | 247 1 5 | 79* 2789* 3 |
| 19 1357-9 1357-9 | 8 369-2 29% | 4 1567-29 259% |
+------------------------------+------------------------+--------------------------+
| 489^ 567-89 4567-89 | 1 3459 489^ | 2 367 4589^ |
| 3 589* 24589* | 245 7 6 | 59* 4589* 1 |
| 12489^% 1567-89 14567-289 | 345-2 3459-2 2489^% | 367 367 4589^ |
+------------------------------+------------------------+--------------------------+
Swordfish^ (8)c169\r479 => -8 r4c38, r79c23
Swordfish% (2)c169\r169 => -2 r1c358, r6c58, r9c345; HP(28)r23c5, HP(45)b2p24; +6 r3c4
- Code: Select all
+-------------------------+----------------------+------------------------+
| 12 136 136 | 9 45 7 | 8 135-4 245 |
| 7 389 2389 | 45* 28 1 | 359 23459* 6 |
| 5 4 1289 | 6 28 3 | 19 129 7 |
+-------------------------+----------------------+------------------------+
| 1489 2 1357-4 | 37-4 3469 49 | 1567 1567 589 |
| 6 789 4789* | 247* 1 5 | 79 2789 3 |
| 19 1357 1357 | 8 369 29 | 4 1567 259 |
+-------------------------+----------------------+------------------------+
| 489 567 567-4 | 1 3459 489 | 2 367 4589 |
| 3 589 24589* | 245* 7 6 | 59 4589* 1 |
| 12489 1567 1567-4 | 35-4 3459 2489 | 367 367 4589 |
+-------------------------+----------------------+------------------------+
- Code: Select all
+-----------------------+----------------------+----------------------+
| 12 136 136 | 9 45 7 | 8 35 245 |
| 7 389 289 | 45* 28 1 | 359* 249 6 |
| 5 4 289 | 6 28 3 | 1 29 7 |
+-----------------------+----------------------+----------------------+
| 1489 2 1357 | 37 3469 49 | 67-5 1567 589 |
| 6 789 489 | 247 1 5 | 79 289 3 |
| 19 1357 1357 | 8 369 29 | 4 1567 259 |
+-----------------------+----------------------+----------------------+
| 489 567 567 | 1 3459 489 | 2 367 4589 |
| 3 89 2489 | 245* 7 6 | 59* 489 1 |
| 2489 1567 1567 | 3-5 49 2489 | 367 367 489 |
+-----------------------+----------------------+----------------------+
Cenoman
- Cenoman
- Posts: 3001
- Joined: 21 November 2016
- Location: France
Re: Battle of Yavin
by denis_berthier » Wed Jan 27, 2021 7:15 am
Can be solved using only Subsets:
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = SFin
*** Using CLIPS 6.32-r779
*** Download from: https://github.com/denis-berthier/CSP-Rules-V2.1
***********************************************************************************************
singles ==> r1c6 = 7, r2c6 = 1
237 candidates, 1680 csp-links and 1680 links. Density = 6.01%
whip[1]: c6n8{r9 .} ==> r9c5 ≠ 8, r7c5 ≠ 8
hidden-triplets-in-a-block: b9{n3 n6 n7}{r9c8 r9c7 r7c8} ==> r9c8 ≠ 9, r9c8 ≠ 8, r9c8 ≠ 5, r9c8 ≠ 4, r9c7 ≠ 9, r9c7 ≠ 5, r7c8 ≠ 9, r7c8 ≠ 8, r7c8 ≠ 5, r7c8 ≠ 4
swordfish-in-columns: n8{c1 c6 c9}{r4 r9 r7} ==> r9c3 ≠ 8, r9c2 ≠ 8, r7c3 ≠ 8, r7c2 ≠ 8, r4c8 ≠ 8, r4c3 ≠ 8
swordfish-in-columns: n2{c1 c6 c9}{r1 r9 r6} ==> r9c5 ≠ 2, r9c4 ≠ 2, r9c3 ≠ 2, r6c8 ≠ 2, r6c5 ≠ 2, r1c8 ≠ 2, r1c5 ≠ 2, r1c3 ≠ 2
whip[1]: c5n2{r3 .} ==> r2c4 ≠ 2, r3c4 ≠ 2
naked-single ==> r3c4 = 6
naked-pairs-in-a-block: b2{r1c5 r2c4}{n4 n5} ==> r2c5 ≠ 5, r2c5 ≠ 4
swordfish-in-rows: n4{r2 r5 r8}{c8 c4 c3} ==> r9c4 ≠ 4, r9c3 ≠ 4, r7c3 ≠ 4, r4c4 ≠ 4, r4c3 ≠ 4, r1c8 ≠ 4
jellyfish-in-columns: n9{c1 c9 c5 c6}{r9 r7 r6 r4} ==> r9c3 ≠ 9, r9c2 ≠ 9, r7c3 ≠ 9, r7c2 ≠ 9, r6c8 ≠ 9, r6c3 ≠ 9, r6c2 ≠ 9, r4c8 ≠ 9, r4c7 ≠ 9, r4c3 ≠ 9
naked-quads-in-a-block: b7{r7c2 r7c3 r9c2 r9c3}{n5 n6 n7 n1} ==> r9c1 ≠ 1, r8c3 ≠ 5, r8c2 ≠ 5
hidden-quads-in-a-column: c3{n2 n8 n4 n9}{r2 r3 r5 r8} ==> r5c3 ≠ 7, r3c3 ≠ 1, r2c3 ≠ 3
whip[1]: r3n1{c8 .} ==> r1c8 ≠ 1
hidden-quads-in-a-column: c8{n2 n4 n8 n9}{r3 r2 r8 r5} ==> r8c8 ≠ 5, r5c8 ≠ 7, r3c8 ≠ 1, r2c8 ≠ 5, r2c8 ≠ 3
hidden-single-in-a-block ==> r3c7 = 1
x-wing-in-rows: n5{r2 r8}{c4 c7} ==> r9c4 ≠ 5, r4c7 ≠ 5
stte
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = SFin
*** Using CLIPS 6.32-r779
*** Download from: https://github.com/denis-berthier/CSP-Rules-V2.1
***********************************************************************************************
singles ==> r1c6 = 7, r2c6 = 1
237 candidates, 1680 csp-links and 1680 links. Density = 6.01%
whip[1]: c6n8{r9 .} ==> r9c5 ≠ 8, r7c5 ≠ 8
hidden-triplets-in-a-block: b9{n3 n6 n7}{r9c8 r9c7 r7c8} ==> r9c8 ≠ 9, r9c8 ≠ 8, r9c8 ≠ 5, r9c8 ≠ 4, r9c7 ≠ 9, r9c7 ≠ 5, r7c8 ≠ 9, r7c8 ≠ 8, r7c8 ≠ 5, r7c8 ≠ 4
swordfish-in-columns: n8{c1 c6 c9}{r4 r9 r7} ==> r9c3 ≠ 8, r9c2 ≠ 8, r7c3 ≠ 8, r7c2 ≠ 8, r4c8 ≠ 8, r4c3 ≠ 8
swordfish-in-columns: n2{c1 c6 c9}{r1 r9 r6} ==> r9c5 ≠ 2, r9c4 ≠ 2, r9c3 ≠ 2, r6c8 ≠ 2, r6c5 ≠ 2, r1c8 ≠ 2, r1c5 ≠ 2, r1c3 ≠ 2
whip[1]: c5n2{r3 .} ==> r2c4 ≠ 2, r3c4 ≠ 2
naked-single ==> r3c4 = 6
naked-pairs-in-a-block: b2{r1c5 r2c4}{n4 n5} ==> r2c5 ≠ 5, r2c5 ≠ 4
swordfish-in-rows: n4{r2 r5 r8}{c8 c4 c3} ==> r9c4 ≠ 4, r9c3 ≠ 4, r7c3 ≠ 4, r4c4 ≠ 4, r4c3 ≠ 4, r1c8 ≠ 4
jellyfish-in-columns: n9{c1 c9 c5 c6}{r9 r7 r6 r4} ==> r9c3 ≠ 9, r9c2 ≠ 9, r7c3 ≠ 9, r7c2 ≠ 9, r6c8 ≠ 9, r6c3 ≠ 9, r6c2 ≠ 9, r4c8 ≠ 9, r4c7 ≠ 9, r4c3 ≠ 9
naked-quads-in-a-block: b7{r7c2 r7c3 r9c2 r9c3}{n5 n6 n7 n1} ==> r9c1 ≠ 1, r8c3 ≠ 5, r8c2 ≠ 5
hidden-quads-in-a-column: c3{n2 n8 n4 n9}{r2 r3 r5 r8} ==> r5c3 ≠ 7, r3c3 ≠ 1, r2c3 ≠ 3
whip[1]: r3n1{c8 .} ==> r1c8 ≠ 1
hidden-quads-in-a-column: c8{n2 n4 n8 n9}{r3 r2 r8 r5} ==> r8c8 ≠ 5, r5c8 ≠ 7, r3c8 ≠ 1, r2c8 ≠ 5, r2c8 ≠ 3
hidden-single-in-a-block ==> r3c7 = 1
x-wing-in-rows: n5{r2 r8}{c4 c7} ==> r9c4 ≠ 5, r4c7 ≠ 5
stte
- denis_berthier
- 2010 Supporter
- Posts: 4238
- Joined: 19 June 2007
- Location: Paris
Re: Battle of Yavin
by Cenoman » Wed Jan 27, 2021 2:17 pm
Leren wrote:2 Non Basic Steps.
(3) r9c4 = (3-7) r4c4 = (7) r5c4 - (7=3) r258c7 => - 3 r9c7
ALS Loop : (7=5) r58c7 - (5=7) r258c2 Loop => 13 eliminations : - 9 r34c7, r6c2, - 7 r5c348, - 5 r8c348, - 89 r79c2; btte
Nice Sue de Coq finding.
I like this !
Cenoman
- Cenoman
- Posts: 3001
- Joined: 21 November 2016
- Location: France
7 posts
• Page 1 of 1
