Your SlideShare is downloading. ×

2 sat 2

223
views

Published on


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

  • Be the first to like this

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

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

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

×