#23427, more anti-tridagon guardians

Post puzzles for others to solve here.

#23427, more anti-tridagon guardians

Postby denis_berthier » Fri Sep 02, 2022 9:28 am

.
Code: Select all
+-------+-------+-------+
! . . . ! 4 5 . ! . . . !
! . . . ! . 8 . ! 1 . 3 !
! 7 9 . ! 2 3 1 ! . . . !
+-------+-------+-------+
! . 6 7 ! 3 9 . ! . 1 8 !
! . . . ! . . . ! . . . !
! 9 1 . ! . 6 . ! . 3 . !
+-------+-------+-------+
! 3 . . ! . . . ! 8 . 7 !
! . 7 . ! . . 8 ! 3 6 . !
! 6 8 . ! . . 3 ! . 9 1 !
+-------+-------+-------+
...45........8.1.379.231....6739..18.........91..6..3.3.....8.7.7...836.68...3.91;4815;73447
SER = 11.0


Code: Select all
Resolution state after Singles and whips[1]:
  +----------------------+----------------------+----------------------+
  ! 128    23     12368  ! 4      5      67     ! 2679   278    269    !
  ! 245    245    2456   ! 679    8      679    ! 1      2457   3      !
  ! 7      9      4568   ! 2      3      1      ! 456    458    456    !
  +----------------------+----------------------+----------------------+
  ! 245    6      7      ! 3      9      245    ! 245    1      8      !
  ! 2458   2345   23458  ! 1578   1247   2457   ! 245679 2457   24569  !
  ! 9      1      2458   ! 578    6      2457   ! 2457   3      245    !
  +----------------------+----------------------+----------------------+
  ! 3      245    12459  ! 1569   124    24569  ! 8      245    7      !
  ! 1245   7      12459  ! 159    124    8      ! 3      6      245    !
  ! 6      8      245    ! 57     247    3      ! 245    9      1      !
  +----------------------+----------------------+----------------------+
174 candidates
denis_berthier
2010 Supporter
 
Posts: 3972
Joined: 19 June 2007
Location: Paris

Re: #23427, more anti-tridagon guardians

Postby totuan » Fri Sep 02, 2022 5:08 pm

Code: Select all
 *--------------------------------------------------------------------*
 |*128    23    *12368  | 4      5      67     | 2679   278    269    |
 | 245    245    2456   | 679    8      679    | 1      2457   3      |
 | 7      9      4568   | 2      3      1      | 456    458    456    |
 |----------------------+----------------------+----------------------|
 | 245    6      7      | 3      9      245    | 245    1      8      |
 |*2458   2345  *2345-8 | 1578   1247   2457   | 69     2457   69     |
 | 9      1      2458   | 578    6      2457   | 2457   3      245    |
 |----------------------+----------------------+----------------------|
 | 3      245    12459  | 1569   124    24569  | 8      245    7      |
 | 1245   7      12459  | 159    124    8      | 3      6      245    |
 | 6      8      245    | 57     247    3      | 245    9      1      |
 *--------------------------------------------------------------------*

My path for this one:
01. (8)r5c1=(8-1)r1c1=(1-3)r1c3=r5c3 => r5c3<>8
Code: Select all
 *--------------------------------------------------------------------*
 |#12-8   23    &12368  | 4      5     &67     |*2679   278   *269    |
 | 245    245    2456   | 679    8      679    | 1      2457   3      |
 | 7      9      4568   | 2      3      1      | 456    458    456    |
 |----------------------+----------------------+----------------------|
 | 245    6      7      | 3      9      245    | 245    1      8      |
 |%2458   2345   2345   |@1578  @1247   2457   |*69     2457  *69     |
 | 9      1      2458   | 578    6      2457   | 2457   3      245    |
 |----------------------+----------------------+----------------------|
 | 3      245   #12459  |#1569  #124   $24569  | 8      245    7      |
 | 1245   7      12459  | 159    124    8      | 3      6      245    |
 | 6      8      245    | 57     247    3      | 245    9      1      |
 *--------------------------------------------------------------------*

02. Present as diagram: => r1c1<>8, r5c1 & r6c4=8
Look at UR(69)r15c79 => (6)r1c3=(6)r1c6
Code: Select all
(1)r7c3-r1c3=r1c1*
 ||
(1-6)r7c4=r7c6-r1c6==(6-1)r1c3=r1c1*
 ||
(1)r7c5-r5c5=(1-8)r5c4=r5c1*

Code: Select all
 *--------------------------------------------------------------------*
 |&12    &23    *12368  | 4      5      67     | 2679  *28-7   269    |
 | 245    245    2456   | 679    8      679    | 1      2457   3      |
 | 7      9      4568   | 2      3      1      | 456    458    456    |
 |----------------------+----------------------+----------------------|
 |#245    6      7      | 3      9      245    |#245    1      8      |
 | 8     #2345   2345   | 157    1247   2457   | 69    #2457   69     |
 | 9      1     #245    | 8      6      2457   | 2457   3     #245    |
 |----------------------+----------------------+----------------------|
 | 3     #245    12459  | 1569   124    24569  | 8     #245    7      |
 |#1245   7      12459  | 159    124    8      | 3      6     #245    |
 | 6      8     #245    | 57     247    3      |#245    9      1      |
 *--------------------------------------------------------------------*

Look at tridagon (245) => (1)r8c1=(3)r5c2=(7)r5c8
03. (8)r1c8=(8-13)r1c3=(13)r1c12-(13)r8c1/r5c2==(7)r5c8 => r1c8<>7
Code: Select all
*--------------------------------------------------------------------*
 |*12    *23    %12368  | 4      5     %67     |%2679   28    %269    |
 | 245    245    2456   | 679    8      679    | 1      245-7  3      |
 | 7      9      4568   | 2      3      1      | 456    458    456    |
 |----------------------+----------------------+----------------------|
 |#245    6      7      | 3      9      245    |#245    1      8      |
 | 8     #2345   2345   | 157    1247   2457   |%69    #2457  %69     |
 | 9      1     #245    | 8      6      2457   | 2457   3     #245    |
 |----------------------+----------------------+----------------------|
 | 3     #245    12459  | 1569   124    24569  | 8     #245    7      |
 |#1245   7      12459  | 159    124    8      | 3      6     #245    |
 | 6      8     #245    | 57     247    3      |#245    9      1      |
 *--------------------------------------------------------------------*

Look at tridagon (245) => (1)r8c1=(3)r5c2=(7)r5c8 and UR(69)r15c79 => (6)r1c3=(6)r1c6
04. (7)r1c7=(7-6)r1c6==(6-13)r1c3=(13)r1c12-(13)r8c1/r5c2==(7)r5c8 => r2c8<>7, some singles
Code: Select all
 *-----------------------------------------------------------*
 | 12    23    1238  | 4     5     6     | 7     28    9     |
 | 245   245   6     | 7     8     9     | 1     245   3     |
 | 7     9     458   | 2     3     1     | 6     458   45    |
 |-------------------+-------------------+-------------------|
 | 245   6     7     | 3     9     245   |*245   1     8     |
 | 8     2345  2345  | 1     24    245   | 9     7     6     |
 | 9     1    *245   | 8     6     7     | 24-5  3    *24    |
 |-------------------+-------------------+-------------------|
 | 3     245   9     | 6     1     24    | 8     45    7     |
 | 1245  7     1245  | 9     24    8     | 3     6     245   |
 | 6     8    *24    | 5     7     3     |*24    9     1     |
 *-----------------------------------------------------------*

05. Oddagon (24) => (5)r4c7=(5)r6c3 => r6c7<>5, some singles
Code: Select all
*-----------------------------------------------------------*
 | 12   e23   f1238  | 4     5     6     | 7     28    9     |
 | 245   245   6     | 7     8     9     | 1     24    3     |
 | 7     9     48    | 2     3     1     | 6     458   45    |
 |-------------------+-------------------+-------------------|
 |a24    6     7     | 3     9    b24    | 5     1     8     |
 | 8     34-2 g34-2  | 1     24    5     | 9     7     6     |
 | 9     1     5     | 8     6     7     | 24    3     24    |
 |-------------------+-------------------+-------------------|
 | 3    d245   9     | 6     1    c24    | 8     45    7     |
 | 1245  7     124   | 9     24    8     | 3     6     245   |
 | 6     8     24    | 5     7     3     | 24    9     1     |
 *-----------------------------------------------------------*

06.(2)r4c1=r4c6-r7c6=r7c2*-(2=3)r1c2-r1c3=r5c3 => r5c3<>2 and r5c2<>2 at “d”, stte

Thanks for the puzzle!
totuan
totuan
 
Posts: 230
Joined: 25 May 2010
Location: vietnam

Re: #23427, more anti-tridagon guardians

Postby Cenoman » Fri Sep 02, 2022 5:27 pm

More or less similar to totuan's
Code: Select all
 +------------------------+------------------------+----------------------+
 |  128    23     12368   |  4      5      67      |  2679   278    269   |
 |  245    245    2456    |  679    8      679     |  1      2457   3     |
 |  7      9      4568    |  2      3      1       |  456    458    456   |
 +------------------------+------------------------+----------------------+
 |  245    6      7       |  3      9      245     |  245    1      8     |
 |  2458   2345   2345-8  |  178-5  1247   2457    |  69     2457   69    |
 |  9      1      2458    |  8-57   6      2457    |  2457   3      245   |
 +------------------------+------------------------+----------------------+
 |  3      245    12459   |  1569   124    2469-5  |  8      245    7     |
 |  1245   7      12459   |  159    124    8       |  3      6      245   |
 |  6      8      245     |  57     247    3       |  245    9      1     |
 +------------------------+------------------------+----------------------+

1. (5=7)r9c4 - r2c4 = r12c6 - (7=245)r456c6 => -5 r7c6, r56c4

2. (8)r3c3 = (8-13)r1c13 = (3)r5c3 => -8 r5c3

3. Kraken column (1)r578c4
(1-8)r5c4 = (8)r6c4
(1-6)r7c4 = r7c6 - (6=7)r1c6 - r1c7 = (7)r6c7
(1)r8c4 - r8c1 = (1-8)r1c1 = r5c1 - r5c4 = (8)r6c4
=> -7 r6c4

Code: Select all
 +------------------------+-----------------------+----------------------+
 | c12    c23     12368   |  4      5    d'67     |d'2679   28-7 d'269   |
 | d245   d245   d2456    |  679    8      679    |  1     e245-7  3     |
 |  7      9      4568    |  2      3      1      |  456    458    456   |
 +------------------------+-----------------------+----------------------+
 | *245    6      7       |  3      9      245    | *245    1      8     |
 |  8    b*2345   2345    |  17     1247   2457   |  69   a*2457   69    |
 |  9      1     *245     |  8      6      2457   |  2457   3     *245   |
 +------------------------+-----------------------+----------------------+
 |  3     *245    12459   |  1569   124    2469   |  8     *245    7     |
 |b*1245   7      12459   |  159    124    8      |  3      6     *245   |
 |  6      8     *245     |  57     247    3      | *245    9      1     |
 +------------------------+-----------------------+----------------------+

TH (245)b4679 having three guardians: 3r5c2, 7r5c8, 1r8c1
4. (7)r5c8 == (1r8c1 | 3r5c2) - (13=2)r1c12 - r2c123 = (2)r2c8 => -7 r2c8
5. (7)r5c8 == (1r8c1 | 3r5c2) - (13=2)r1c12 - (2=697)r1c679=> -7 r1c8
lcls, 18 placements, (55 eliminations or 2, according to the number of fingers you have)

Code: Select all
 +-----------------------+------------------+--------------------+
 |  12     23     1238   |  4    5    6     |  7     28    9     |
 |  245    245    6      |  7    8    9     |  1     245   3     |
 |  7      9      458    |  2    3    1     |  6     458   45    |
 +-----------------------+------------------+--------------------+
 |  245    6      7      |  3    9    245   |  5-24  1     8     |
 |  8      2345   2345   |  1    24   245   |  9     7     6     |
 |  9      1     *245    |  8    6    7     | *245   3    *24    |
 +-----------------------+------------------+--------------------+
 |  3      245    9      |  6    1    24    |  8     45    7     |
 |  1245   7      1245   |  9    24   8     |  3     6     245   |
 |  6      8     *24     |  5    7    3     | *24    9     1     |
 +-----------------------+------------------+--------------------+

6. Remote pair (24)r6c79, r9c6 (r6c3, r9c3) => -24 r4c7

Code: Select all
 +----------------------+-----------------+-------------------+
 |  12    c23    1238   |  4    5    6    |  7    28    9     |
 |  245    245   6      |  7    8    9    |  1    24    3     |
 |  7      9     48     |  2    3    1    |  6    458   45    |
 +----------------------+-----------------+-------------------+
 |  24     6     7      |  3    9   a24   |  5    1     8     |
 |  8    ba234   234    |  1   a24   5    |  9    7     6     |
 |  9      1     5      |  8    6    7    |  24   3     24    |
 +----------------------+-----------------+-------------------+
 |  3      45-2  9      |  6    1   a24   |  8    45    7     |
 |  1245   7     124    |  9    24   8    |  3    6     245   |
 |  6      8     24     |  5    7    3    |  24   9     1     |
 +----------------------+-----------------+-------------------+

7. Almost Remote pair (24)r5c2, r7c6 (r4c6, r7c6), spoiler 3r5c2
RP(24)r5c2, r7c6 = (3)r5c2 - (3=2)r1c2 => -2 r7c2; ste
Cenoman
Cenoman
 
Posts: 2747
Joined: 21 November 2016
Location: France

Re: #23427, more anti-tridagon guardians

Postby DEFISE » Fri Sep 02, 2022 8:18 pm

After basics :
Code: Select all
|-----------------------------------------------------------|
| 128   23    12368 | 4     5     67    | 2679  278   269   |
| 245   245   2456  | 679   8     679   | 1     2457  3     |
| 7     9     4568  | 2     3     1     | 456   458   456   |
|-----------------------------------------------------------|
| 245   6     7     | 3     9     245   | 245   1     8     |
| 2458  2345  23458 | 1578  1247  2457  | 69    2457  69    |
| 9     1     2458  | 578   6     2457  | 2457  3     245   |
|-----------------------------------------------------------|
| 3     245   12459 | 1569  124   24569 | 8     245   7     |
| 1245  7     12459 | 159   124   8     | 3     6     245   |
| 6     8     245   | 57    247   3     | 245   9     1     |
|-----------------------------------------------------------|

Tridagon (2,4,5) in B4p159, B6p159, B7p249, B9p267
4 guardians : 3r5c2, 8r6c3, 7r5c8, 1r8c1

whip[3]: c1n8{r5 r1}- r1n1{c1 c3}- c3n3{r1 .} => -8r5c3
whip[3]: r9c4{n5 n7}- c5n7{r9 r5}- r5n1{c5 .} => -5r5c4
whip[4]: r9c4{n5 n7}- c5n7{r9 r5}- r5n1{c5 c4}- c4n8{r5 .} => -5r6c
4
Box/Line: 5c4b8 => -5r7c6
whip[7]: r5n8{c1 c4}- r6c4{n8 n7}- c7n7{r6 r1}- r1c6{n7 n6}- r7n6{c6 c4}- c4n1{r7 r8}- c1n1{r8 .} => -8r1c1
Single(s): 8r5c1, 8r6c4 (=> guardian 8r6c3 deleted).

Partial g-braid[4] from 7r1c6 : r2n7{c6 c8*}- r2n2{c8 c123}- r1c1{n2 n1*}- r1c2{n2 n3*}
Each of the remaining 3 guardians is seen by a right element tagged with *.
So 7r1c6 is false.
Single(s): 6r1c6, 6r2c3, 6r7c4
Box/Line: 7r1b3 => -7r2c8

Partial braid[3] from 7r1c8 : r1n8{c8 c3}- r1n1{c3 c1*}- r1n3{c3 c2*}
Each of the remaining 3 guardians is seen by 7r1c8 or by a right element tagged with *.
So 7r1c8 is false.

Single(s): 7r1c7, 9r1c9, 6r5c9, 9r5c7, 6r3c7, 7r6c6, 9r2c6, 7r2c4, 1r5c4, 5r9c4, 9r8c4, 7r5c8, 9r7c3, 1r7c5, 7r9c5
Box/Line: 5c7b6 => -5r6c9
Box/Line: 2b3c8 => -2r7c8

Code: Select all
|--------------------------------------------------|
| 12   23   1238 | 4    5    6    | 7    28   9    |
| 245  245  6    | 7    8    9    | 1    245  3    |
| 7    9    458  | 2    3    1    | 6    458  45   |
|--------------------------------------------------|
| 245  6    7    | 3    9    245  | 245  1    8    |
| 8    2345 2345 | 1    24   245  | 9    7    6    |
| 9    1    245  | 8    6    7    | 245  3    24   |
|--------------------------------------------------|
| 3    245  9    | 6    1    24   | 8    45   7    |
| 1245 7    1245 | 9    24   8    | 3    6    245  |
| 6    8    24   | 5    7    3    | 24   9    1    |
|--------------------------------------------------|


whip[2]: r9n2{c3 c7}- c9n2{r8 .} => -2r6c3
Box/Line: 2r6b6 => -2r4c7
whip[4]: r7n2{c6 c2}- r1c2{n2 n3}- r5n3{c2 c3}- r5n2{c3 .} => -2r4c6
Single(s): 2r4c1, 1r1c1, 1r8c3
whip[2]: r9n4{c3 c7}- b6n4{r4c7 .} => -4r6c3
STTE
DEFISE
 
Posts: 270
Joined: 16 April 2020
Location: France

Re: #23427, more anti-tridagon guardians

Postby m_b_metcalf » Sat Sep 03, 2022 9:54 am

:idea: => 4r5c3, stte.

Mike
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 13584
Joined: 15 May 2006
Location: Berlin

Re: #23427, more anti-tridagon guardians

Postby totuan » Sat Sep 03, 2022 10:10 am

Code: Select all
 *--------------------------------------------------------------------*
 |%128   %23    @12368  | 4      5     @6-7    |#2679   278   #269    |
 | 245    245    2456   | 679    8      679    | 1      2457   3      |
 | 7      9     %4568   | 2      3      1      | 456    458    456    |
 |----------------------+----------------------+----------------------|
 |*245    6      7      | 3      9      245    |*245    1      8      |
 | 2458  *2345   23458  | 1578   1247   2457   |#69    *2457  #69     |
 | 9      1     *2458   | 578    6      2457   | 2457   3     *245    |
 |----------------------+----------------------+----------------------|
 | 3     *245    12459  | 1569   124    24569  | 8     *245    7      |
 |*1245   7      12459  | 159    124    8      | 3      6     *245    |
 | 6      8     *245    | 57     247    3      |*245    9      1      |
 *--------------------------------------------------------------------*

I studied more then see that can solve this one without kraken/diagram :D
Look at tridagon (245) => (1)r8c1=(3)r5c2=(8)r6c3=(7)r5c8 and UR(69)r15c79 => (6)r1c3=(6)r1c6

(6)r1c6==(6-138)r1c13=(138)r1c12/r3c3-(138)r8c1/r5c2/r6c3==(7)r5c8-r6c7=r1c7
=> r1c6<>7, r1c6,r2c3,r7c4=6 => r7c4<>1 then can solve r5c1=8 without kraken/diagram.

Again, thanks for the puzzle.
totuan
totuan
 
Posts: 230
Joined: 25 May 2010
Location: vietnam

Re: #23427, more anti-tridagon guardians

Postby denis_berthier » Sun Sep 04, 2022 4:51 am

.
Thanks for your solutions. Here's mine.
As usual, starting from the resolution state after whips[1], some cleaning before trying to find tridagons (trying to minimise the number of guardians):
Code: Select all
hidden-pairs-in-a-row: r5{n6 n9}{c7 c9} ==> r5c9≠5, r5c9≠4, r5c9≠2, r5c7≠7, r5c7≠5, r5c7≠4, r5c7≠2
biv-chain[3]: r9c4{n5 n7} - c5n7{r9 r5} - b5n1{r5c5 r5c4} ==> r5c4≠5
biv-chain[3]: c1n8{r5 r1} - b1n1{r1c1 r1c3} - c3n3{r1 r5} ==> r5c3≠8
biv-chain[4]: r9c4{n5 n7} - c5n7{r9 r5} - b5n1{r5c5 r5c4} - b5n8{r5c4 r6c4} ==> r6c4≠5
whip[1]: c4n5{r9 .} ==> r7c6≠5
z-chain[7]: r6c4{n8 n7} - c7n7{r6 r1} - r1c6{n7 n6} - c4n6{r2 r7} - c4n1{r7 r8} - c1n1{r8 r1} - c1n8{r1 .} ==> r5c4≠8
singles ==> r6c4=8 (which eliminates a guardian), r5c1=8
  +-------------------+-------------------+-------------------+
  ! 12    23    12368 ! 4     5     67    ! 2679  278   269   !
  ! 245   245   2456  ! 679   8     679   ! 1     2457  3     !
  ! 7     9     4568  ! 2     3     1     ! 456   458   456   !
  +-------------------+-------------------+-------------------+
  ! 245   6     7     ! 3     9     245   ! 245   1     8     !
  ! 8     2345  2345  ! 17    1247  2457  ! 69    2457  69    !
  ! 9     1     245   ! 8     6     2457  ! 2457  3     245   !
  +-------------------+-------------------+-------------------+
  ! 3     245   12459 ! 1569  124   2469  ! 8     245   7     !
  ! 1245  7     12459 ! 159   124   8     ! 3     6     245   !
  ! 6     8     245   ! 57    247   3     ! 245   9     1     !
  +-------------------+-------------------+-------------------+


The tridagon part:
Code: Select all
OR3-anti-tridagon[12] (type antidiag) for digits 2, 4 and 5 in blocks:
       b4, with cells: r4c1, r5c2, r6c3
       b6, with cells: r4c7, r5c8, r6c9
       b7, with cells: r8c1, r7c2, r9c3
       b9, with cells: r8c9, r7c8, r9c7
with 3 guardians: n3r5c2 n7r5c8 n1r8c1

OR3-forcing-whip-elim[4] based on OR3-anti-tridagon[12] for n1r8c1, n3r5c2 and  n7r5c8:
  || n1r8c1 - partial-whip[1]: r1c1{n1 n2} -
  || n3r5c2 - partial-whip[1]: r1c2{n3 n2} -
  || n7r5c8 - partial-whip[1]: c7n7{r6 r1} -
==> r1c7≠2

OR3-forcing-whip-elim[5] based on OR3-anti-tridagon[12] for n7r5c8, n1r8c1 and  n3r5c2:
  || n7r5c8 -
  || n1r8c1 - partial-whip[2]: r1c1{n1 n2} - b3n2{r1c9 r2c8} -
  || n3r5c2 - partial-whip[2]: r1c2{n3 n2} - r2n2{c3 c8} -
==> r5c8≠2, r2c8≠7

whip[1]: r2n7{c6 .} ==> r1c6≠7
singles ==> r1c6=6, r7c4=6, r2c3=6

OR3-forcing-whip-elim[5] based on OR3-anti-tridagon[12] for n7r5c8, n1r8c1 and  n3r5c2:
  || n7r5c8 -
  || n1r8c1 - partial-whip[1]: c4n1{r8 r5} -
  || n3r5c2 - partial-whip[3]: c3n3{r5 r1} - r1n8{c3 c8} - c8n7{r1 r5} -
==> r5c4≠7

naked-single ==> r5c4=1

OR3-forcing-whip-elim[5] based on OR3-anti-tridagon[12] for n1r8c1, n3r5c2 and  n7r5c8:
  || n1r8c1 - partial-whip[1]: r1c1{n1 n2} -
  || n3r5c2 - partial-whip[1]: r1c2{n3 n2} -
  || n7r5c8 - partial-whip[2]: c7n7{r6 r1} - r1n9{c7 c9} -
==> r1c9≠2

The end is easy, in BC3:
Code: Select all
singles ==> r1c9=9, r1c7=7, r5c9=6, r5c7=9, r3c7=6, r5c8=7, r6c6=7, r2c6=9, r2c4=7, r9c4=5, r8c4=9, r7c3=9, r7c5=1, r9c5=7
whip[1]: c7n5{r6 .} ==> r6c9≠5
whip[1]: b3n2{r2c8 .} ==> r7c8≠2
finned-x-wing-in-rows: n2{r9 r6}{c3 c7} ==> r4c7≠2
whip[1]: b6n2{r6c9 .} ==> r6c3≠2
finned-x-wing-in-rows: n2{r4 r7}{c6 c1} ==> r8c1≠2
finned-x-wing-in-rows: n2{r7 r4}{c6 c2} ==> r5c2≠2
finned-x-wing-in-rows: n4{r9 r6}{c3 c7} ==> r4c7≠4
singles ==> r4c7=5, r5c6=5, r6c3=5
whip[1]: r3n5{c9 .} ==> r2c8≠5
biv-chain[2]: c5n4{r8 r5} - r4n4{c6 c1} ==> r8c1≠4
biv-chain[3]: r9n4{c3 c7} - b9n2{r9c7 r8c9} - r8c5{n2 n4} ==> r8c3≠4
biv-chain[3]: r1n1{c1 c3} - r8c3{n1 n2} - b4n2{r5c3 r4c1} ==> r1c1≠2
singles ==> r1c1=1, r8c1=5, r2c2=5, r7c8=5, r3c9=5, r8c3=1
finned-x-wing-in-rows: n4{r7 r4}{c6 c2} ==> r5c2≠4
stte


I chose this puzzle because, in spite of still having 3 guardians after some cleaning (instead of 4 at the start), it has a high number (5) of direct OR3-Forcing-Whip eliminations based on it.
Notice that, the higher the number of guardians the harder it is (statistically) to use it for many eliminations.
(In a week or so, I should have more detailed stats about this, but it seems intuitively obvious.)
denis_berthier
2010 Supporter
 
Posts: 3972
Joined: 19 June 2007
Location: Paris

Re: #23427, more anti-tridagon guardians

Postby denis_berthier » Mon Sep 05, 2022 5:19 am

DEFISE wrote:Partial g-braid[4] from 7r1c6 : r2n7{c6 c8*}- r2n2{c8 c123}- r1c1{n2 n1*}- r1c2{n2 n3*}
Each of the remaining 3 guardians is seen by a right element tagged with *.
So 7r1c6 is false.

Hi François

Good idea to use the anti-tridagon for proving that some rlc in a partial-whip/braid/... must be false.
denis_berthier
2010 Supporter
 
Posts: 3972
Joined: 19 June 2007
Location: Paris


Return to Puzzles