More Pi 2

Post puzzles for others to solve here.

More Pi 2

Postby mith » Fri Sep 04, 2020 4:55 pm

Code: Select all
+-------+-------+-------+
| . . 3 | . 1 . | . . . |
| . 4 1 | . . . | 5 9 . |
| 2 . . | . 6 5 | . . 3 |
+-------+-------+-------+
| 5 . . | . . 8 | 9 . . |
| . . . | . 7 . | . . . |
| . . 9 | 3 . . | . . 2 |
+-------+-------+-------+
| 3 . . | 8 4 . | . . 6 |
| . 2 6 | . . . | 4 3 . |
| . . . | . 3 . | 8 . . |
+-------+-------+-------+
..3.1.....41...59.2...65..35....89......7......93....23..84...6.26...43.....3.8..
mith
 
Posts: 301
Joined: 14 July 2020

Re: More Pi 2

Postby Cenoman » Fri Sep 04, 2020 7:53 pm

Code: Select all
 +-------------------+-------------------+--------------------+
 |  9     5    3     |  47    1   a47    |  26   26     8     |
 |  6     4    1     |  2     8    3     |  5    9      7     |
 |  2     7    8     |  9     6    5     |  1    4      3     |
 +-------------------+-------------------+--------------------+
 |  5     3    47    |  146   2    8     |  9    167    14    |
 |  14    68   2     |  146   7    9     |  3    1568   145   |
 |  147   8-6  9     |  3     5   a146   | b67   178-6  2     |
 +-------------------+-------------------+--------------------+
 |  3     9    57    |  8     4   a12    | b27   157-2  6     |
 |  8     2    6     |  157   9   a17    |  4    3      15    |
 |  47    1    457   |  56    3    26    |  8    257    9     |
 +-------------------+-------------------+--------------------+

Doubly linked ALS's: (2=1476)r1678c6 - (6=72)r67c7 loop => -2 r7c8, -6 r6c28; ste
Cenoman
Cenoman
 
Posts: 1517
Joined: 21 November 2016
Location: Paris, France

Re: More Pi 2

Postby denis_berthier » Sat Sep 05, 2020 4:30 am

Code: Select all
(solve-sudoku-grid
   +-------+-------+-------+
   ! . . 3 ! . 1 . ! . . . !
   ! . 4 1 ! . . . ! 5 9 . !
   ! 2 . . ! . 6 5 ! . . 3 !
   +-------+-------+-------+
   ! 5 . . ! . . 8 ! 9 . . !
   ! . . . ! . 7 . ! . . . !
   ! . . 9 ! 3 . . ! . . 2 !
   +-------+-------+-------+
   ! 3 . . ! 8 4 . ! . . 6 !
   ! . 2 6 ! . . . ! 4 3 . !
   ! . . . ! . 3 . ! 8 . . !
   +-------+-------+-------+
)

Requires only the simplest (3D) bivalue-chains:

Code: Select all
***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
***  Using CLIPS 6.32-r770
***********************************************************************************************
singles
;;; Resolution state RS1
102 candidates, 284 csp-links and 284 links. Density = 5.51%
whip[1]: r8n7{c6 .} ==> r9c6 ≠ 7, r7c6 ≠ 7, r9c4 ≠ 7
finned-x-wing-in-columns: n7{c7 c1}{r6 r7} ==> r7c3 ≠ 7
naked-single ==> r7c3 = 5
whip[1]: r7n7{c8 .} ==> r9c8 ≠ 7
biv-chain[3]: r1c8{n6 n2} - r9n2{c8 c6} - c6n6{r9 r6} ==> r6c8 ≠ 6
biv-chain[3]: r4n6{c8 c4} - r9c4{n6 n5} - c8n5{r9 r5} ==> r5c8 ≠ 6
biv-chain-cn[4]: c7n2{r7 r1} - c7n6{r1 r6} - c6n6{r6 r9} - c6n2{r9 r7} ==> r7c8 ≠ 2
biv-chain[3]: r7c8{n1 n7} - c7n7{r7 r6} - b6n6{r6c7 r4c8} ==> r4c8 ≠ 1
naked-pairs-in-a-block: b6{r4c8 r6c7}{n6 n7} ==> r6c8 ≠ 7
biv-chain[3]: r4n1{c4 c9} - c9n4{r4 r5} - r5c1{n4 n1} ==> r5c4 ≠ 1
biv-chain[3]: r5c4{n6 n4} - c9n4{r5 r4} - r4n1{c9 c4} ==> r4c4 ≠ 6
stte


One can also start directly after the obvious singles (resolution state RS1; Cenoman's PM, without the markings):

Code: Select all
(solve-sukaku-grid
    +-------------------+-------------------+--------------------+
    !  9     5    3     !  47    1    47    !  26   26     8     !
    !  6     4    1     !  2     8    3     !  5    9      7     !
    !  2     7    8     !  9     6    5     !  1    4      3     !
    +-------------------+-------------------+--------------------+
    !  5     3    47    !  146   2    8     !  9    167    14    !
    !  14    68   2     !  146   7    9     !  3    1568   145   !
    !  147   86   9     !  3     5    146   !  67   1786   2     !
    +-------------------+-------------------+--------------------+
    !  3     9    57    !  8     4    12    !  27   1572   6     !
    !  8     2    6     !  157   9    17    !  4    3      15    !
    !  47    1    457   !  56    3    26    !  8    257    9     !
    +-------------------+-------------------+--------------------+
)
denis_berthier
2010 Supporter
 
Posts: 1672
Joined: 19 June 2007
Location: Paris

Re: More Pi 2

Postby Leren » Sat Sep 05, 2020 4:50 am

Code: Select all
*-----------------------------------------*
| 9   5   3   | 47  1  47  |a26 26    8   |
| 6   4   1   | 2   8  3   | 5  9     7   |
| 2   7   8   | 9   6  5   | 1  4     3   |
|-------------+------------+--------------|
| 5   3   47  | 146 2  8   | 9  167   14  |
| 14  68  2   | 146 7  9   | 3  1568  145 |
| 147 8-6 9   | 3   5 e146 |f67 178-6 2   |
|-------------+------------+--------------|
| 3   9   57  | 8   4 c12  |b27 157-2 6   |
| 8   2   6   | 157 9  17  | 4  3     15  |
| 47  1   457 | 56  3 d26  | 8  257   9   |
*-----------------------------------------*

Double Skyscraper loop : (6-2) r1c7 = r7c7 - r7c6 = (2-6) r9c6 = r6c6 - r6c7 loop => - 2 r7c8, - 6 r7c28; stte

Leren
Leren
 
Posts: 3928
Joined: 03 June 2012

Re: More Pi 2

Postby pjb » Sat Sep 05, 2020 1:15 pm

Code: Select all
 9       5       3      | 47     1      47     | 26     26     8     
 6       4       1      | 2      8      3      | 5      9      7     
 2       7       8      | 9      6      5      | 1      4      3     
------------------------+----------------------+---------------------
 5       3       47     | 146    2      8      | 9      167    14     
 14      68      2      | 146    7      9      | 3      1568   145   
 147     8-6     9      | 3      5     a146    |e67     178-6  2     
------------------------+----------------------+---------------------
 3       9       57     | 8      4     c12     |d27     157-2  6     
 8       2       6      | 157    9      17     | 4      3      15     
 47      1       457    | 56     3     b26     | 8      257    9     

(6)r6c6 = (6-2)r9c6 = (2)r7c6 - (2=7)r7c7 - (7=6)r6c7 - loop => -6 r6c28, -2r6c8; stte

Phil
pjb
2014 Supporter
 
Posts: 2230
Joined: 11 September 2011
Location: Sydney, Australia

Re: More Pi 2

Postby SteveG48 » Sat Sep 05, 2020 3:13 pm

Code: Select all
 *-----------------------------------------------------------*
 | 9     5     3     | 47    1     47    | 26    26    8     |
 | 6     4     1     | 2     8     3     | 5     9     7     |
 | 2     7     8     | 9     6     5     | 1     4     3     |
 *-------------------+-------------------+-------------------|
 | 5     3     47    |b146   2     8     | 9    f167   14    |
 | 14    68    2     |b146   7     9     | 3     1568  145   |
 | 147  e68    9     | 3     5    a146   |e7-6  f1678  2     |
 *-------------------+-------------------+-------------------|
 | 3     9    d57    | 8     4    d12    |d27   e1257  6     |
 | 8     2     6     |c157   9    c17    | 4     3     15    |
 | 47    1     457   |b56    3     26    | 8     257   9     |
 *-----------------------------------------------------------*


6r6c6 = (65)r459c4 - (5=71)r8c46 - (1=257)r7c367 - (2|5|7=681)r6c27,r7c8 - (1|8=76)r46c8 => -6 r6c7 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 3052
Joined: 08 November 2013
Location: Orlando, Florida


Return to Puzzles