2-SAT — Forcing variable to be true

Revision en1, by tom, 2015-10-14 21:32:48

Hello,

I'm solving problem with 2-SAT algorithm and I need to be sure that some x will be 1 (or 0). How can I make this happen with 2SAT algorithm? When I add xvx, I put x and notx into one SCC and 2-SAT returns me that there is no solution. Is it possible?

Thanks

Tags 2sat

History

 
 
 
 
Revisions
 
 
  Rev. Lang. By When Δ Comment
en2 English tom 2015-10-14 21:33:54 21 Tiny change: 'at some $x$ will be ' -
en1 English tom 2015-10-14 21:32:48 321 Initial revision (published)