Might be new types of UR

Advanced methods and approaches for solving Sudoku puzzles

Might be new types of UR

Postby pea18013 » Thu Aug 17, 2023 2:48 pm

Hi! I'm new to this forum, and this is my first post. I hope this adheres to all the rules. Today, I would like to share some interesting discoveries regarding Unique Rectangles (UR). They might be new types of UR.

Consider the following grid:
Code: Select all
*-------.--------------.-------*
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | 1234 14 1234 | . . . |
.-------.--------------.-------.
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
.-------.--------------.-------.
| . . . | 23   .  234  | . . . |
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
*-------.--------------.-------*


From my analysis, I've discovered that if r7c6 is 4, then r12c6 cannot be 4. Conversely, if r7c6 is not 4, it creates a UR type 3, leading to the conclusion that r12c6 must not be 4. Similarly, if r7c6 contains 1, 2, or 3 only, then r12c6 must not be 1.

Now, let's examine another grid:
Code: Select all
*-------.--------------.-------*
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | 1234 14 1234 | . . . |
.-------.--------------.-------.
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
.-------.--------------.-------.
| . . . | 123  .  234  | . . . |
| . . . | 234  .  123  | . . . |
| . . . | .    .  .    | . . . |
*-------.--------------.-------*


In this case, we can observe that we can split the 8th box into 4 cases:

Case 1:
r7c4=1, r8c4=4, [2, 3] pair on r78c6
=>> [1, 4] pair on r3c56
=>> Remove 1/4 at r12c456 and r3c123789

Case 2:
r7c6=4, r8c6=1, [2, 3] pair on r78c4
=>> [1, 4] pair on r3c45
=>> Remove 1/4 at r12c456 and r3c123789

Case 3:
r7c4=1, r7c6=4, [2, 3] pair on r8c46
=>> UR type 3 at r38c46
=>> Remove 1/4 at r12c456 and r3c123789

Case 4:
r8c4=4, r8c6=1, [2, 3] pair on r7c46
=>> UR type 3 at r37c46
=>> Remove 1/4 at r12c456 and r3c123789

In each of these cases, the same result can be achieved, indicating that r12c456 and r3c123789 must not contain 1 or 4.
Similarly, we can apply this strategy to remove 1/4 from cells r1c4, r1c5, r1c6, r2c4, r2c6, and r3c5 in the following grid:

Code: Select all
*-------.--------------.-------*
| . . . | .    .  .    | . . . |
| . . . | .    14 .    | . . . |
| . . . | 1234 .  1234 | . . . |
.-------.--------------.-------.
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
.-------.--------------.-------.
| . . . | 123  .  234  | . . . |
| . . . | 234  .  123  | . . . |
| . . . | .    .  .    | . . . |
*-------.--------------.-------*


Of course, the 2nd box can change to the following forms, these 2 types of UR still work while a and b are different numbers:
Code: Select all
*---------------*
| .    .   .    |
| .    14a .    |
| 1234 14a 1234 |
*---------------*

*----------------*
| .    14ab .    |
| .    14ab .    |
| 1234 14ab 1234 |
*----------------*

etc. They are still work while adding c, d, e with the same pattern.


That's it. I need more feedback, thank you.
pea18013
 
Posts: 1
Joined: 13 August 2023

Re: Might be new types of UR

Postby totuan » Fri Aug 18, 2023 5:01 am

Hi pea18013,
Welcome to this forum!
pea18013 wrote:Now, let's examine another grid:
Code: Select all
*-------.--------------.-------*
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | 1234 14 1234 | . . . |
.-------.--------------.-------.
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
| . . . | .    .  .    | . . . |
.-------.--------------.-------.
| . . . | 123  .  234  | . . . |
| . . . | 234  .  123  | . . . |
| . . . | .    .  .    | . . . |
*-------.--------------.-------*

In this case, we can observe that we can split the 8th box into 4 cases:
Case 1:
r7c4=1, r8c4=4, [2, 3] pair on r78c6
=>> [1, 4] pair on r3c56
=>> Remove 1/4 at r12c456 and r3c123789
Case 2:
r7c6=4, r8c6=1, [2, 3] pair on r78c4
=>> [1, 4] pair on r3c45
=>> Remove 1/4 at r12c456 and r3c123789
Case 3:
r7c4=1, r7c6=4, [2, 3] pair on r8c46
=>> UR type 3 at r38c46
=>> Remove 1/4 at r12c456 and r3c123789
Case 4:
r8c4=4, r8c6=1, [2, 3] pair on r7c46
=>> UR type 3 at r37c46
=>> Remove 1/4 at r12c456 and r3c123789

In each of these cases, the same result can be achieved, indicating that r12c456 and r3c123789 must not contain 1 or 4.

Nice find! But, I’m not sure it’s new type of URs and have real puzzles with this pattern or not.
All your cases, it meant: to advoid the empty cell in box 8 => must be pair(14) at r78c46.
So, IMO, this pattern look like combination of DP & UR.

totuan
totuan
 
Posts: 230
Joined: 25 May 2010
Location: vietnam


Return to Advanced solving techniques