#157309 in 158276 T&E(3) min-expands

Post puzzles for others to solve here.

#157309 in 158276 T&E(3) min-expands

Postby denis_berthier » Fri Jun 23, 2023 5:47 am

.
Another typical puzzle in T&E(3), requiring no g-chains and no other impossible pattern than tridagon. In the easy category.

Code: Select all
+-------+-------+-------+
! 1 . 3 ! 4 . 6 ! . . . !
! . . 7 ! 1 8 . ! . . . !
! 6 . . ! . . . ! 1 4 . !
+-------+-------+-------+
! . . . ! . . . ! 9 5 . !
! 7 . 1 ! . . . ! . 2 8 !
! . . . ! 8 4 . ! . . 7 !
+-------+-------+-------+
! 3 . . ! 7 1 . ! . . . !
! . . 6 ! 3 . 8 ! . . . !
! 8 . . ! . 6 4 ! . . 3 !
+-------+-------+-------+
1.34.6.....718....6.....14.......95.7.1....28...84...73..71......63.8...8...64..3;43792;833164
SER = 10.2


Code: Select all
Resolution state after Singles and whips[1]:
   +----------------------+----------------------+----------------------+
   ! 1      259    3      ! 4      259    6      ! 2578   789    259    !
   ! 2459   2459   7      ! 1      8      259    ! 2356   369    2569   !
   ! 6      2589   2589   ! 259    23579  23579  ! 1      4      259    !
   +----------------------+----------------------+----------------------+
   ! 24     23468  248    ! 26     237    1237   ! 9      5      146    !
   ! 7      34569  1      ! 569    359    359    ! 346    2      8      !
   ! 259    23569  259    ! 8      4      12359  ! 36     136    7      !
   +----------------------+----------------------+----------------------+
   ! 3      2459   2459   ! 7      1      259    ! 24568  689    24569  !
   ! 2459   124579 6      ! 3      259    8      ! 2457   179    12459  !
   ! 8      12579  259    ! 259    6      4      ! 257    179    3      !
   +----------------------+----------------------+----------------------+
188 candidates.
denis_berthier
2010 Supporter
 
Posts: 3976
Joined: 19 June 2007
Location: Paris

Re: #157309 in 158276 T&E(3) min-expands

Postby Leren » Fri Jun 23, 2023 8:49 am

Two URs, Type 2 & Type 3 => Th (259) b1278 => + 4 r2c1; stte

Leren
Leren
 
Posts: 5046
Joined: 03 June 2012

Re: #157309 in 158276 T&E(3) min-expands

Postby pjb » Fri Jun 23, 2023 11:54 pm

A bit different to Leren:
1. (2=1)r4c149 - (1=2)r6c12378 => -2 r4c3
2. (4=2)r4c1 - (2=1)r6c12378 - (1=4)r4c149 => -4 r4c3
3. Type1 TH as above => stte

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

Re: #157309 in 158276 T&E(3) min-expands

Postby Cenoman » Sat Jun 24, 2023 9:00 pm

Code: Select all
 +--------------------------+----------------------+------------------------+
 |   1      259*     3      |  4     259*  6       |  78      78    259     |
 |  a2459*  2459     7      |  1     8     259*    |  2356    369   2569    |
 |   6      2589    y2589*  |  259*  37    37      |  1       4     259     |
 +--------------------------+----------------------+------------------------+
 |zDb24     3468-2 zC248    |  6-2   37-2  137-2   |  9       5     146     |
 |   7      34569    1      |  569   359   359     |  346     2     8       |
 |   59-2   3569-2   59-2   |  8     4     12359   |  36      136   7       |
 +--------------------------+----------------------+------------------------+
 |   3     A2459*   B2459   |  7     1     259*    |  24568   689   24569   |
 |  a2459*  17       6      |  3     259*  8       |  2457    179   12459   |
 |   8      17       259*   |  259*  6     4       |  257     179   3       |
 +--------------------------+----------------------+------------------------+

TH(259)b1278 having four guardians (4r2c1, 8r3c3, 4r7c2, 4r8c1)
(4)r28c1 - (4=2)r4c1
(4)r7c2 - r7c3 = r4c3 - (4=2)r4c1
(8)r3c3 - (8=42)r4c13
=> -2 r4c456, r6c123; ste
Cenoman
Cenoman
 
Posts: 2766
Joined: 21 November 2016
Location: France

Re: #157309 in 158276 T&E(3) min-expands

Postby denis_berthier » Fri Jun 30, 2023 4:04 am

.
Thanks for your solutions.
The simplest-first one:
Code: Select all
hidden-pairs-in-a-column: c2{n1 n7}{r8 r9} ==> r9c2≠9, r9c2≠5, r9c2≠2, r8c2≠9, r8c2≠5, r8c2≠4, r8c2≠2
hidden-pairs-in-a-row: r3{n3 n7}{c5 c6} ==> r3c6≠9, r3c6≠5, r3c6≠2, r3c5≠9, r3c5≠5, r3c5≠2
hidden-pairs-in-a-row: r1{n7 n8}{c7 c8} ==> r1c8≠9, r1c7≠5, r1c7≠2
finned-x-wing-in-columns: n4{c3 c9}{r4 r7} ==> r7c7≠4

Trid-OR4-relation for digits 2, 5 and 9 in blocks:
        b1, with cells (marked #): r1c2, r2c1, r3c3
        b2, with cells (marked #): r1c5, r2c6, r3c4
        b7, with cells (marked #): r7c2, r8c1, r9c3
        b8, with cells (marked #): r7c6, r8c5, r9c4
with 4 guardians (in cells marked @): n4r2c1 n8r3c3 n4r7c2 n4r8c1

   +----------------------+----------------------+----------------------+
   ! 1      259#   3      ! 4      259#   6      ! 78     78     259    !
   ! 2459#@ 2459   7      ! 1      8      259#   ! 2356   369    2569   !
   ! 6      2589   2589#@ ! 259#   37     37     ! 1      4      259    !
   +----------------------+----------------------+----------------------+
   ! 24     23468  248    ! 26     237    1237   ! 9      5      146    !
   ! 7      34569  1      ! 569    359    359    ! 346    2      8      !
   ! 259    23569  259    ! 8      4      12359  ! 36     136    7      !
   +----------------------+----------------------+----------------------+
   ! 3      2459#@ 2459   ! 7      1      259#   ! 2568   689    24569  !
   ! 2459#@ 17     6      ! 3      259#   8      ! 2457   179    12459  !
   ! 8      17     259#   ! 259#   6      4      ! 257    179    3      !
   +----------------------+----------------------+----------------------+

t-whip[4]: r5n4{c7 c2} - r4c1{n4 n2} - r4c4{n2 n6} - r5n6{c4 .} ==> r5c7≠3
whip[1]: b6n3{r6c8 .} ==> r6c2≠3, r6c6≠3
t-whip[4]: r6n2{c3 c6} - c6n1{r6 r4} - r4n7{c6 c5} - r4n3{c5 .} ==> r4c2≠2


Trid-OR4-whip[4]: r4c1{n2 n4} - r4c3{n4 n8} - OR4{{n8r3c3 n4r2c1 n4r8c1 | n4r7c2}} - r2n4{c2 .} ==> r6c3≠2, r6c2≠2, r6c1≠2
stte
denis_berthier
2010 Supporter
 
Posts: 3976
Joined: 19 June 2007
Location: Paris


Return to Puzzles