Print value of each varaible in 2-SAT (loj — 1251 — Forming the Council)

Правка en2, от ivplay, 2015-11-21 19:50:51

I failed to manage any good resource on 2-SAT that illustrates printing solution for the value of each variable.Basically, I am stuck with this problem: lighoj — 1251 — Forming the Council http://www.lightoj.com/volume_showproblem.php?problem=1251

  • What I did: for each (a v b) I connected -a ->b and -b ->a. Then I run SCC and check if a and -a exist in same component.

But how can I decide value of each variable?

Thanks in advance ...

Теги 2-sat, graph

История

 
 
 
 
Правки
 
 
  Rev. Язык Кто Когда Δ Комментарий
en2 Английский ivplay 2015-11-21 19:50:51 19 Tiny change: 't I did:\nWhat I tried , for each (' -> 't I did:\nfor each ('
en1 Английский ivplay 2015-11-21 19:50:13 548 Initial revision (published)