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

2 sat 2

232

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
232
On Slideshare
0
From Embeds
0
Number of Embeds
0
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Transcript of "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 />
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×