Δέντρο (θεωρία γράφων): Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Zimbelina (συζήτηση | συνεισφορές)
Χωρίς σύνοψη επεξεργασίας
Γραμμή 18:
|header2 =
|label2 = Dewey
|data2 = {{#if:512|[http://dewey.info/class/512/2009/08/about.en 512]}}
|data2 = 512
|header3 =
|label3 = MSC2010
|data3 = {{#if:05Cxx|[http://msc2010.org/mscwiki/index.php?title=05Cxx 05Cxx]}}
|data3 = 05Cxx
|header4 =
|label4 =
Γραμμή 33:
}}
[[Image:Tree graph.svg|180px|thumb|Ένα δέντρο με 6 κορυφές και 5 πλευρές]]
Ένα δέντρο στα μαθηματικά και ειδικά στη [[Θεωρία Γράφων]], είναι ένας [['''μη Κατευθυνόμενος Γράφος]]''' στον οποίο οποιεσδήποτε δύο [[Κορυφή (Θεωρία Γράφων)|'''κορυφές]]''' συνδέονται με ένα και μόνο [[μονοπάτι (Θεωρία Γράφων)|'''απλό μονοπάτι]]'''. Με άλλα λόγια κάθε συνεκτικός γράφος χωρίς [[Κύκλος (Θεωρία Γράφων)| '''κύκλους]]''' είναι ένα δέντρο.
 
Στην επιστήμη των υπολογιστών δέντρα ονομάζονται οι [[δομές δεδομένων]] που είναι παρόμοιες με τα δέντρα της θεωρίας γράφων, με τη διαφορά ότι τα δέντρα στην επιστήμη των υπολογιστών έχουν κατευθυνόμενες ακμές.
Γραμμή 39:
== Ορισμοί ==
Ένα '''δέντρο''' είναι ένας μη κατευθυνόμενος [[Γράφος|απλός γράφος]] ''G'' που ικανοποιεί οποιαδήποτε από τις παρακάτω ισοδύναμες συνθήκες:
*Ο ''G'' είναι [['''συνεκτικός γράφος|συνεκτικός]]''' και δεν έχει [[κλειστό μονοπάτι|'''κύκλους]]'''.
*Ο ''G'' δεν έχει κύκλους,αλλά ένας απλός κύκλος μπορεί να σχηματιστεί αν προστεθεί μία οποιαδήποτε [[Ακμή (Θεωρία Γράφων)|'''ακμή]]''' στον ''G''.
*Ο ''G'' είναι συνεκτικός, αλλά παύει να είναι αν αφαιρεθεί έστω και μία ακμή του.
*Δύο οποιεσδήποτε κορυφές του ''G'' μπορούν να συνδεθούν μέσω ενός μοναδικού [[μονοπάτι (Θεωρία Γράφων)|'''απλού μονοπατιού]]'''.
'''Δάσος''' είναι ένας μη κατευθυνόμενος γράφος, του οποίου όλες οι [[συνεκτική συνιστώσα (Θεωρία Γράφων)|'''συνεκτικές συνιστώσες]]''' είναι δέντρα. Με άλλα λόγια, ο γράφος αποτελείται από την ένωση ενός αριθμού ξένων μεταξύ τους δέντρων. Ένα '''πολυδέντρο''' ή ένα '''προσανατολισμένο δέντρο''' είναι ένας κατευθυνόμενος γράφος με το πολύ ένα μη-κατευθυνόμενο μονοπάτι μεταξύ δύο οποιωνδήποτε κορυφών. Δηλαδή ένα πολυδέντρο είναι ένας [['''άκυκλος κατευθυνόμενος γράφος]]'''.
Ένα '''κατευθυνόμενο δέντρο''' προκύπτει όταν από ένα [[κατευθυνόμενος γράφος| '''κατευθυνόμενο γράφο]]''' αφαιρέσουμε τις κατευθύνεσεις των ακμών του.
Ένα δέντρο ονομάζεται '''ριζωμένο δέντρο''' εάν μία κορυφή έχει οριστεί ως '''ρίζα'''. Τότε λέμε ότι οι ακμές έχουν προσανατολισμό ''προς'' ή ''από'' τη ρίζα. Σε ένα ριζωμένο δέντρο, ο '''γονιός''' μιας κορυφής είναι η κορυφή που συνδέεται σε αυτή στο μονοπάτι προς τη ρίζα. Κάθε κορυφή εκτός από τη ρίζα έχει ένα μοναδικό γονιό. Το '''παιδί''' μιας κορυφής ''v'' είναι μια κορυφή της οποίας η ''v'' είναι γονιός. Μία κορυφή χωρίς παιδιά λέγεται '''φύλο'''. Μία '''τερματική κορυφή''' ενός δέντρου είναι μία κορυφή βαθμού 1. Σε ένα ριζωμένο δέντρο, όλα τα φύλλα είναι τερματικές κορυφές.
== Παράδειγμα ==
Γραμμή 53:
* [[Donald E. Knuth]]. ''The Art of Computer Programming Volume 1: Fundamental Algorithms''. Addison-Wesley Professional; 3rd edition (November 14, 1997).
 
[[Κατηγορία:Θεωρία γράφωνΓράφων]]
 
[[cs:Strom (graf)]]