denis_berthier wrote:In cases you add block constraints (2 rows in the same floor or 2 columns in the same tower) , there are some trivial whip[1] eliminations, but they are not due to any new pattern.
To be more precise, starting from exactly the same pattern of 1s as Pupp (a special case with 2 columns in the same tower), with no other clue:
- Code: Select all
+-------------------------------+-------------------------------+-------------------------------+
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
! 23456789 23456789 23456789 ! 123456789 23456789 123456789 ! 23456789 23456789 23456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
+-------------------------------+-------------------------------+-------------------------------+
! 23456789 123456789 23456789 ! 123456789 23456789 123456789 ! 23456789 23456789 23456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 123456789 ! 123456789 123456789 123456789 !
+-------------------------------+-------------------------------+-------------------------------+
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
+-------------------------------+-------------------------------+-------------------------------+
we get the trivial eliminations:
whip[1]: r2n1{c6 .} ==> r3c5 ≠ 1, r1c5 ≠ 1
whip[1]: b8n1{r9c5 .} ==> r6c5 ≠ 1, r5c5 ≠ 1
- Code: Select all
+-------------------------------+-------------------------------+-------------------------------+
! 123456789 123456789 123456789 ! 23456789 23456789 23456789 ! 123456789 123456789 123456789 !
! 23456789 23456789 23456789 ! 123456789 23456789 123456789 ! 23456789 23456789 23456789 !
! 123456789 123456789 123456789 ! 23456789 23456789 23456789 ! 123456789 123456789 123456789 !
+-------------------------------+-------------------------------+-------------------------------+
! 23456789 123456789 23456789 ! 123456789 23456789 123456789 ! 23456789 23456789 23456789 !
! 123456789 123456789 123456789 ! 23456789 23456789 23456789 ! 123456789 123456789 123456789 !
! 123456789 123456789 123456789 ! 23456789 23456789 123456789 ! 123456789 123456789 123456789 !
+-------------------------------+-------------------------------+-------------------------------+
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
! 123456789 123456789 123456789 ! 23456789 123456789 23456789 ! 123456789 123456789 123456789 !
+-------------------------------+-------------------------------+-------------------------------+
and that's all we can get.