We Have Pi (SER 7.4)

Post puzzles for others to solve here.

We Have Pi (SER 7.4)

Postby mith » Mon Jan 04, 2021 3:51 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 . . |
+-------+-------+-------+
..31.........4.15.9..2....6....5..3.5.8...9.7.9..3....2....3..8.46.2.........64..
mith
 
Posts: 996
Joined: 14 July 2020

Re: We Have Pi (SER 7.4)

Postby denis_berthier » Mon Jan 04, 2021 4:47 pm

.
Nothing interesting using only Subsets:
Hidden Text: Show
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
hidden-single-in-a-row ==> r7c4 = 4
naked-single ==> r5c4 = 6
naked-single ==> r5c5 = 1
hidden-single-in-a-column ==> r8c6 = 1
hidden-single-in-a-block ==> r1c5 = 6
hidden-single-in-a-row ==> r5c2 = 3
hidden-single-in-a-row ==> r3c7 = 3
hidden-single-in-a-row ==> r2c4 = 3
175 candidates, 922 csp-links and 922 links. Density = 6.06%
whip[1]: c5n9{r9 .} ==> r9c4 ≠ 9, r8c4 ≠ 9
hidden-single-in-a-column ==> r4c4 = 9
PUZZLE 0 NOT SOLVED. 48 VALUES MISSING.
FINAL RESOLUTION STATE:

Code: Select all
   478       2578      3         1         6         5789      278       24789     249       
   678       2678      27        3         4         789       1         5         29       
   9         1578      1457      2         78        578       3         478       6         
   1467      1267      1247      9         5         2478      268       3         124       
   5         3         8         6         1         24        9         24        7         
   1467      9         1247      78        3         2478      2568      12468     1245     
   2         157       1579      4         79        3         567       167       8         
   378       4         6         578       2         1         57        79        359       
   1378      1578      1579      578       789       6         4         127       1235


The solution requires whips (in W4) or longer chains (in Z5):

Hidden Text: Show
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r779
***********************************************************************************************
158 candidates, 839 csp-links and 839 links. Density = 6.76%
z-chain[3]: r1n5{c2 c6} - c6n9{r1 r2} - r2n7{c6 .} ==> r1c2 ≠ 7
z-chain[3]: r1n5{c2 c6} - c6n9{r1 r2} - r2n8{c6 .} ==> r1c2 ≠ 8
z-chain[3]: b3n8{r1c8 r3c8} - c5n8{r3 r9} - c2n8{r9 .} ==> r1c1 ≠ 8
z-chain[3]: r1c1{n7 n4} - r3n4{c3 c8} - b3n7{r3c8 .} ==> r1c6 ≠ 7
z-chain[3]: c2n6{r2 r4} - c2n2{r4 r1} - r2c3{n2 .} ==> r2c2 ≠ 7
t-whip[3]: r9n2{c9 c8} - r5c8{n2 n4} - c9n4{r6 .} ==> r1c9 ≠ 2
t-whip[3]: r3n4{c8 c3} - r1c1{n4 n7} - b3n7{r1c8 .} ==> r3c8 ≠ 8
whip[1]: b3n8{r1c8 .} ==> r1c6 ≠ 8
biv-chain-rc[3]: r1c9{n9 n4} - r3c8{n4 n7} - r8c8{n7 n9} ==> r1c8 ≠ 9, r8c9 ≠ 9
hidden-single-in-a-block ==> r8c8 = 9
t-whip[3]: r3c8{n7 n4} - r5c8{n4 n2} - c7n2{r6 .} ==> r1c7 ≠ 7
whip[1]: c7n7{r8 .} ==> r7c8 ≠ 7, r9c8 ≠ 7
biv-chain[3]: r1n7{c1 c8} - c8n8{r1 r6} - r6c4{n8 n7} ==> r6c1 ≠ 7
t-whip[3]: r5c8{n4 n2} - c7n2{r6 r1} - r1n8{c7 .} ==> r1c8 ≠ 4
biv-chain-rc[4]: r1c1{n7 n4} - r1c9{n4 n9} - r2c9{n9 n2} - r2c3{n2 n7} ==> r2c1 ≠ 7, r3c2 ≠ 7, r3c3 ≠ 7
finned-x-wing-in-rows: n7{r2 r6}{c3 c6} ==> r4c6 ≠ 7
whip[1]: b5n7{r6c6 .} ==> r6c3 ≠ 7
whip[3]: r2c3{n7 n2} - c2n2{r2 r4} - c2n7{r4 .} ==> r9c3 ≠ 7
whip[3]: r2c3{n7 n2} - c2n2{r2 r4} - c2n7{r4 .} ==> r7c3 ≠ 7
biv-chain-rn[4]: r2n7{c6 c3} - r1n7{c1 c8} - r1n8{c8 c7} - r4n8{c7 c6} ==> r2c6 ≠ 8
whip[1]: b2n8{r3c6 .} ==> r3c2 ≠ 8
hidden-pairs-in-a-block: b1{n6 n8}{r2c1 r2c2} ==> r2c2 ≠ 2
finned-x-wing-in-columns: n2{c2 c7}{r1 r4} ==> r4c9 ≠ 2
biv-chain-rc[3]: r4c9{n1 n4} - r5c8{n4 n2} - r9c8{n2 n1} ==> r6c8 ≠ 1, r9c9 ≠ 1
biv-chain[3]: c2n2{r4 r1} - r1c7{n2 n8} - r4n8{c7 c6} ==> r4c6 ≠ 2
biv-chain[4]: r2c9{n9 n2} - b9n2{r9c9 r9c8} - r5c8{n2 n4} - b3n4{r3c8 r1c9} ==> r1c9 ≠ 9
stte


The pattern (but not the clues) has a central symmetry that I haven't taken into account.
denis_berthier
2010 Supporter
 
Posts: 4213
Joined: 19 June 2007
Location: Paris

Re: We Have Pi (SER 7.4)

Postby Cenoman » Mon Jan 04, 2021 10:52 pm

Code: Select all
 +-----------------------+---------------------+------------------------+
 |  478    2578   3      |  1     6     5789   |  278    2789-4 d249    |
 |  678    2678   27     |  3     4     789    |  1      5      d29     |
 |  9      1578   1457   |  2     78    578    |  3      78-4    6      |
 +-----------------------+---------------------+------------------------+
 |  1467   1267   1247   |  9     5     2478   |  268    3       12-4   |
 |  5      3      8      |  6     1     24     |  9     a24      7      |
 |  1467   9      1247   |  78    3     2478   |  2568   12468   125-4  |
 +-----------------------+---------------------+------------------------+
 |  2      157    1579   |  4     79    3      |  567    167     8      |
 |  378    4      6      |  578   2     1      |  57     79      359    |
 |  1378   1578   1579   |  578   789   6      |  4     b127    c1235   |
 +-----------------------+---------------------+------------------------+

ALS W-Wing (4=2)r5c8 - r9c8 = r9c9 - (2=94)r12c9 => -4 r46c9, r13c8; ste
Cenoman
Cenoman
 
Posts: 2975
Joined: 21 November 2016
Location: France

Re: We Have Pi (SER 7.4)

Postby Leren » Mon Jan 04, 2021 11:44 pm

Code: Select all
*---------------------------------------------------*
| 478  2578 3    | 1   6   5789 | 278   24789 f4-29 |
| 678  2678 27   | 3   4   789  | 1     5     a29   |
| 9    1578 1457 | 2   78  578  | 3     478    6    |
|----------------+--------------+-------------------|
| 1467 1267 1247 | 9   5   2478 | 268   3     e124  |
| 5    3    8    | 6   1   24   | 9    d24     7    |
| 1467 9    1247 | 78  3   2478 | 2568  12468 e1245 |
|----------------+--------------+-------------------|
| 2    157  1579 | 4   79  3    | 567   167    8    |
| 378  4    6    | 578 2   1    | 57    79     359  |
| 1378 1578 1579 | 578 789 6    | 4    c127   b1235 |
*---------------------------------------------------*

(9=2) r2c9 - (2) r9c9 = r9c8 - (2=4) r5c8 - r46c9 = (4) r1c9 => - 29 r1c9; stte

Also, we certainly do have a good approximation to PI = 3.14159265358979323846264 .... Well done ! And the pattern is Pi like as well. Looks like a Pi with Tomato sauce :D

Leren
Last edited by Leren on Tue Jan 05, 2021 2:07 am, edited 1 time in total.
Leren
 
Posts: 5117
Joined: 03 June 2012

Re: We Have Pi (SER 7.4)

Postby pjb » Tue Jan 05, 2021 1:40 am

Code: Select all
 478     2578    3      | 1      6      5789   |c278    2789-4 d249   
 678     2678    27     | 3      4      789    | 1      5      d29     
 9       1578    1457   | 2      78     578    | 3      78-4    6     
------------------------+----------------------+---------------------
 1467    1267    1247   | 9      5      2478   |b268    3       12-4   
 5       3       8      | 6      1      24     | 9     a24      7     
 1467    9       1247   | 78     3      2478   |b2568   12468   125-4   
------------------------+----------------------+---------------------
 2       157     1579   | 4      79     3      | 567    167     8     
 378     4       6      | 578    2      1      | 57     79      359   
 1378    1578    1579   | 578    789    6      | 4      127     1235   


(4=2)r5c8 - (2)r46c7 = (2)r1c7 - (2=4)r12c9 => -4 r13c8, r46c9; stte

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


Return to Puzzles