Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

of

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.7  Slide 1
Upcoming SlideShare
ΠΛΗ20 ΜΑΘΗΜΑ 3.7
Next
Download to read offline and view in fullscreen.

1 Like

Share

Download to read offline

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.7

Download to read offline

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.7

Related Audiobooks

Free with a 30 day trial from Scribd

See all

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.7

  1. 1. ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗH ΓΛΩΣΣΑ ΤΩΝ ΚΑΤΕΥΘΥΝΟΜΕΝΩΝ ΓΡΑΦΗΜΑΤΩΝ Ορισμός: Ορίζουμε τη γλώσσα των κατευθυνόμενων γραφημάτων να συμπεριλαμβάνει ερμηνείες που περιλαμβάνουν τα εξής στοιχεία: • Το σύμπαν είναι το σύνολο κορυφών |Α|={1,2,…,n} (Γράφημα με n κορυφές) • Το κατηγορηματικό σύμβολο P(x,y) είναι αληθές αν υπάρχει η κατευθυνόμενη ακμή από το x στο y. Παράδειγμα: Να ερμηνεύσετε τις προτάσεις σε φυσική γλώσσα: Παράδειγμα: Ερμηνείας- - Γραφήματος Α |Α| , , , , , ),( , , , , , } Συντομογραφίες στα κατευθυνόμενα γραφήματα: • K(x) αληθεύει αν η x είναι απομονωμένη: ≡ ∀ , ∨ , → • out αληθεύει αν η κορυφή x έχει έξω βαθμό 0 ≡ ∀ ! , • out" αληθεύει αν η κορυφή x έχει έξω βαθμό # 1 out" ≡ ∃ , • out αληθεύει αν η κορυφή x έχει έξω βαθμό 1 out ≡ ∃ , ∧ ∀' , ' → ' • out( αληθεύει αν η κορυφή x έχει έξω βαθμό ) 1 out( ≡ ∨ out • out" αληθεύει αν η κορυφή x έχει έξω βαθμό # 2 out" ≡ ∃ ∃' , ∧ , ' ∧ * ' • out αληθεύει αν η κορυφή x έχει έξω βαθμό 2 out ≡ ∃ ∃' , ∧ , ' ∧ * ' ∧ ∧ ∀+ , + → + ∨ + ' • out( αληθεύει αν η κορυφή x έχει έξω βαθμό ) 1 out( ≡ ∨ out ∨ out Αντιστρέφοντας τη σειρά των ορισμάτων στο κατηγόρημα P(x,y) έχουμε συντομογραφίες για τον έσω βαθμό. Ορισμοί σε Κατευθυνόμενα Γραφήματα: Ανακυκλώσεις (Είναι ακμές με αρχή και τέλος την ίδια κορυφή) Παράλληλες Ακμές (Είναι ακμές με κοινά άκρα και κοινή φορά) Αντιπαράλληλες ακμές (Είναι ακμές με κοινά άκρα και αντίθετη φορά) Μονοπάτι P μήκους n είναι μια ακολουθία n διαδοχικών ακμών (ακολουθώντας τις κατευθύνσεις τους) Απλό μονοπάτι είναι ένα μονοπάτι χωρίς επαναλαμβανόμενες κορυφές Κύκλος είναι ένα μονοπάτι χωρίς επαναλαμβανόμενες ακμές που αρχίζει και τελειώνει στην ίδια κορυφή Απλός Κύκλος είναι ένας κύκλος χωρίς επαναλαμβανόμενες κορυφές Έσω Βαθμός της κορυφής v- είναι το πλήθος των ακμών που εισέρχονται στην κορυφη v- Έξω Βαθμός της κορυφής v- είναι το πλήθος των ακμών που εξέρχονται από την κορυφη v- Απομονωμένη κορυφή είναι μία κορυφή στην οποία δεν εισέρχονται ούτε εξέρχονται ακμές από άλλες κορυφές.
  • RaniaKanellou

    Jul. 12, 2017

ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.7

Views

Total views

3,347

On Slideshare

0

From embeds

0

Number of embeds

2,759

Actions

Downloads

201

Shares

0

Comments

0

Likes

1

×