dailysudoku.com Forum Index dailysudoku.com
Discussion of Daily Sudoku puzzles
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

What can we call this?
Goto page Previous  1, 2
 
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Solving techniques, and terminology
View previous topic :: View next topic  
Author Message
daj95376



Joined: 23 Aug 2008
Posts: 3855

PostPosted: Mon Jul 05, 2010 4:02 am    Post subject: Reply with quote

keith wrote:
If A and B are two mutually exclusive (complementary) choices.

Forcing: A choice of A or B forces a result C in another cell. Therefore, C is true.

Pincers: A choice of A forces C in a cell, @. A choice of B forces C in a different cell, #. @ # are pincers; any cell that sees both cannot be C.

A forcing chain has two or more streams that lead to a common conclusion. This conclusion can be either an assignment or an elimination. A pincer is a forcing chain with two streams.

Just because someone wants to claim that the streams started from a recognized pattern doesn't change how the final elimination was obtained!
Back to top
View user's profile Send private message
storm_norm



Joined: 18 Oct 2007
Posts: 1741

PostPosted: Mon Jul 05, 2010 5:54 am    Post subject: Reply with quote

the UR posted in the original post can also be categorized as a UR type 3. right?

it can't, however, be categorized as a UR type 1 or a UR type 2.

and like Marty said, it can be categorized as a UR type 4 if more information was present.
Back to top
View user's profile Send private message
ronk



Joined: 07 May 2006
Posts: 397

PostPosted: Mon Jul 05, 2010 2:23 pm    Post subject: Reply with quote

keith wrote:
If A and B are two mutually exclusive (complementary) choices.

Forcing: A choice of A or B forces a result C in another cell. Therefore, C is true.

Pincers: A choice of A forces C in a cell, @. A choice of B forces C in a different cell, #. @ # are pincers; any cell that sees both cannot be C.

So a forcing chain (or network) results only in placements? Wow, that's news to me. Wink
Back to top
View user's profile Send private message
keith



Joined: 19 Sep 2005
Posts: 3175
Location: near Detroit, Michigan, USA

PostPosted: Mon Jul 05, 2010 3:04 pm    Post subject: Reply with quote

ronk wrote:
keith wrote:
If A and B are two mutually exclusive (complementary) choices.

Forcing: A choice of A or B forces a result C in another cell. Therefore, C is true.

Pincers: A choice of A forces C in a cell, @. A choice of B forces C in a different cell, #. @ # are pincers; any cell that sees both cannot be C.

So a forcing chain (or network) results only in placements? Wow, that's news to me. Wink

By "forces a result" I meant any conclusion, including an elimination. Sloppy language.

Keith
Back to top
View user's profile Send private message
Mogulmeister



Joined: 03 May 2007
Posts: 695

PostPosted: Tue Jul 06, 2010 10:07 am    Post subject: Reply with quote

daj95376 wrote:

A forcing chain has two or more streams that lead to a common conclusion. This conclusion can be either an assignment or an elimination. A pincer is a forcing chain with two streams.

Just because someone wants to claim that the streams started from a recognized pattern doesn't change how the final elimination was obtained!


Indeed and amen to Keith's point on the philosophy.
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Solving techniques, and terminology All times are GMT
Goto page Previous  1, 2
Page 2 of 2

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group