Ajò Dimonios wrote:HI ChampagneChampagne wrote:

As written before applying a uniqueness rule to a puzzle with multiple solutions can lead to one of the solutions.

When I read the TDP description, I noticed some implicit uses of the uniqueness property. It is likely the case for these puzzles.

As noticed eleven, no logical rule can give you an elimination in the area where are the multiple solutions.

EDIT: I had a look to the puzzle 600.

It is clear that the final step is to count valid solutions, having solved what can be solved.

By chance, this puzzle has only 5 solutions.

In this forum, this is not called a logical elimination

I have plenty of code sequences counting the solutions of a puzzle. This is the best approach to extract unavoidable sets from a solution grid. But this is another story.

I disagree with the fact that the solutions found are illogical. The solutions are fully logical. They are not accepted on the site simply because they are chains of contradiction that use the basic technique. When a logical chain proves that a candidate leads to a contradiction, this contradiction is valid for all solutions of the puzzle, not just one in particular. All deletions made with an AIC are also valid for all solutions.

Paolo

?????? I see nothing in relation with my statement.

EDIT but I have nothing against the fact that part of a puzzle with multiple solutions can be solved with logical eliminations. The limit is in the area where you have multiple solutions