2 sat 2

369 views

Published on

  • Be the first to comment

  • Be the first to like this

2 sat 2

  1. 1. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και <br />Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το <br />και μια από το <br />
  2. 2. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και <br />Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το <br />και μια από το <br />
  3. 3. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και <br />Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το <br />και μια από το <br />
  4. 4. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και <br />Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το <br />και μια από το <br />
  5. 5. Για κάθε μεταβλητή x κατασκευάζω δύο κόμβους, x και <br />Και για κάθε ακμή (x,y) κατασκευάζω δύο ακμές, μια από το <br />και μια από το <br />
  6. 6. Και υπολογίζουμε τις SCC.<br />
  7. 7. Κατασκευάζουμε το ανάστροφο<br />1<br />5<br />10<br />12<br />Και κάνουμε DFS για να πάρουμε τη φθίνουσα σειρά post των κόμβων<br />2<br />6<br />7<br />11<br />3<br />4<br />8<br />9<br />
  8. 8. Και κάνουμε DFS στο κανονικό διάγραμμα με βάση τη σειρά αυτή<br />1<br />6<br />7<br />12<br />2<br />3<br />8<br />11<br />4<br />5<br />9<br />10<br />
  9. 9. Επομένως θα έχουμε 2 SCC<br />Και από τη στιγμή που και δε βρίσκονται στην ίδια SCC <br />η πρόταση είναι ικανοποιήσιμη<br />Βρείτε μια αποτίμηση που ικανοποιεί την πρόταση!<br />(1,1,1)<br />

×