2-SAT — Forcing variable to be true

Правка en1, от 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

Теги 2sat

История

 
 
 
 
Правки
 
 
  Rev. Язык Кто Когда Δ Комментарий
en2 Английский tom 2015-10-14 21:33:54 21 Tiny change: 'at some $x$ will be ' -
en1 Английский tom 2015-10-14 21:32:48 321 Initial revision (published)