Forcing net <-> Dynamic Forcing chains

Advanced methods and approaches for solving Sudoku puzzles

Forcing net <-> Dynamic Forcing chains

Postby Hajime » Sat Feb 13, 2021 3:30 pm

In this post http://forum.enjoysudoku.com/post266913.html#p266913 I extracted the next puzzle:
1to9only wrote:This puzzle, which I may have taken from the Patterns Game, ran for 7+ minutes, and no solution was forthcoming!!
Code: Select all
..1.....2..231..4.56...27...3........2....5....7..1.8...6.5...9.1...4...9.....3.4

When pasting it into SukakuSolver 1.17.7.1 the first hint came up:
Code: Select all
Dynamic Region Forcing Chains
With this solving technique, we will prove the following assertions:
If r1c1 contains the value 4, then r1c1 cannot contain the value 7
If r1c2 contains the value 4, then r1c1 cannot contain the value 7
If r3c3 contains the value 4, then r1c1 cannot contain the value 7
Because the value 4 cannot be placed elsewhere in the block, and the results are the same, we can conclude that r1c1 cannot contain the value 7.
...
And the next hint: same for candidate 8.

In my implementation in SiSeSuSo (not released yet) with "Forcing Net" (a T&E for 1 depth) I get :
Code: Select all
r1c1=8 --> r5c1 is empty => (-8)r1c1
r1c1=7 --> r5c1 is empty => (-7)r1c1
meaning that if you try a cell (r1c1=8) then you end up somewhere with an empty cell (no solution, no candidates).
Conform http://sudopedia.enjoysudoku.com/Forcing_Net.html

My question: Does "Dynamic Region Forcing Chains" and "Forcing Net" lead to the same eliminations?
User avatar
Hajime
 
Posts: 1348
Joined: 20 April 2018
Location: Fryslân

Re: Forcing net <-> Dynamic Forcing chains

Postby champagne » Sat Feb 13, 2021 5:06 pm

I ran your puzzle with skfr (cloning more or less Sudoku Explainer).
The first step clears 7r1c1 8r1c1 using dynamic forcing chains
champagne
2017 Supporter
 
Posts: 7336
Joined: 02 August 2007
Location: France Brittany

Re: Forcing net <-> Dynamic Forcing chains

Postby Hajime » Sat Feb 13, 2021 6:18 pm

champagne wrote:I ran your puzzle with skfr (cloning more or less Sudoku Explainer).
The first step clears 7r1c1 8r1c1 using dynamic forcing chains

That is what I said.
And also what "Forcing Net" does, so what is the difference ?
User avatar
Hajime
 
Posts: 1348
Joined: 20 April 2018
Location: Fryslân

Re: Forcing net <-> Dynamic Forcing chains

Postby champagne » Sat Feb 13, 2021 6:45 pm

Hajime wrote:
champagne wrote:I ran your puzzle with skfr (cloning more or less Sudoku Explainer).
The first step clears 7r1c1 8r1c1 using dynamic forcing chains

That is what I said.
And also what "Forcing Net" does, so what is the difference ?


I would not answer in a wrong way but

Any process leading to a contradiction tells you that the start point is wrong.

Expanding a "true" till a contradiction is used in many ways in the sudoku solving field.

"Dynamic forcing chains" refers to a specific set of rules used in the expansion process leading to the contradiction.
"Dynamic forcing chains plus " does the same with another set or rules for the expansion...

Kites, Sky_scrapers, AICs can be seen as the simplest sets of rules used in such an expansion (others sees them as patterns). You can have in this specific case a reduced set of rules leading to the contradiction.

As I don't know what is your set of rules for the expansion, I can't make more precise comments.
champagne
2017 Supporter
 
Posts: 7336
Joined: 02 August 2007
Location: France Brittany

Re: Forcing net <-> Dynamic Forcing chains

Postby Hajime » Sat Feb 13, 2021 8:15 pm

Thank you champagne. You are quite right.
What I meant with
if I implement "Forcing Net", then all of those dynamic forcing chains are included?
From the SE rating list:
Code: Select all
8.8-9.6: Dynamic Forcing Chains (common 8.8-9.4; rare 8.7 and 9.5(9.6?))
9.1-10.1: Dynamic Forcing Chains(+) (comon 9.4-10.1; rare 9.3 and 10.2; ?9.1-9.2)
9.9-10.9: Dynamic Forcing Chains(+Forcing Chains) (common 10.2-10.7;
          rare 10.1 and 10.8(10.9?); ultra rare 9.9-10.0)
10.8-11.5?: Dynamic Forcing Chains(+Multiple Forcing Chains)
11.4-11.9: Dynamic Forcing Chains(+Dynamic Forcing Chains) 12.0-12.7(Pencilmarks)
in http://forum.enjoysudoku.com/revision-of-se-ratings-and-resolution-rules-t36376-30.html?hilit=revision#p292744
User avatar
Hajime
 
Posts: 1348
Joined: 20 April 2018
Location: Fryslân

Re: Forcing net <-> Dynamic Forcing chains

Postby creint » Sat Feb 13, 2021 10:25 pm

Code: Select all
if I implement "Forcing Net", then all of those dynamic forcing chains are included?


Depends on how you implement it.
Using almost singles, almost group, almost set, almost fish.
When net is built then you can try to do the same but on the net as a new sudoku. What I have read from SE code is that it only does 1 extra layer. That part is the slowest part.
When you have done that it should be the same as what Sudoku Explainer does.

There are some ways for building the net.
With almost singles, almost group and no extra layers then you can solve up to SE 10.
creint
 
Posts: 393
Joined: 20 January 2018


Return to Advanced solving techniques