Είναι ένας κόμβος σε ένα δέντρο θεωρείται δική του προγόνου του;

Question

Είναι ένας κόμβος σε ένα δέντρο θεωρείται δική του προγόνου του;

ψήφοι

4

Αναρωτιέμαι ποια είναι η συναίνεση είναι σχετικά με τον ορισμό των «πρόγονος» στο πλαίσιο της επιστήμης των υπολογιστών.

Ζητώ μόνο και μόνο επειδή το Εισαγωγή στους Αλγόριθμους , δεύτερη έκδοση, σελ. 259 υπάρχει μια περιγραφή του αλγορίθμου Tree-Successor(x)που φαίνεται περίεργο. Στην εύρεση του διαδόχου του κόμβου x ,

[...] εάν το δικαίωμα υποδένδρο του κόμβου x είναι άδειο και χ έχει μια διάδοχο y , τότε y είναι η χαμηλότερη πρόγονος του χ με το αριστερό της παιδί είναι επίσης ένας πρόγονος του x .

Σε ένα δυαδικό δέντρο αναζήτησης με μια ρίζα με κλειδί 2και τα παιδιά 1και 3η διάδοχος της 1είναι η μητρική της 2. Σε αυτή την περίπτωση, το Χ είναι το αριστερό παιδί του x διαδόχου «s, y . Σύμφωνα με τον ορισμό του βιβλίου, στη συνέχεια, x πρέπει να είναι δική του προγόνου του, εκτός αν είμαι λείπει κάτι.

Δεν έχω βρει τίποτα στην λίστα σφαλμάτων για αυτό.

algorithm binary-search-tree clrs

Δημοσιεύθηκε 20/06/2010 στις 04:48
πηγή χρήστη kostmo

Σε άλλες γλώσσες...

3 απαντήσεις

ψήφοι

3

Είναι ένας κόμβος σε ένα δέντρο θεωρείται δική του προγόνου του;

Δεν κανονικά, AFAIK. Για παράδειγμα, στην σελίδα της Wikipedia για δυαδικά δέντρα , πρόγονος ορίζεται ως εξής:

Εάν υπάρχει μία διαδρομή από τον κόμβο p στον κόμβο q, όπου ο κόμβος ρ είναι πιο κοντά στον κόμβο ρίζας από q, τότε το ρ είναι ένας πρόγονος του q και το q είναι ένας απόγονος του p.

Αλλά προφανώς τον ορισμό της εν λόγω βιβλίο του προγόνου είναι τέτοια ώστε ένας κόμβος είναι η δική προγόνου του. Ο ορισμός αυτός δεν είναι ακριβώς διαισθητική, αλλά ένα βιβλίο είναι ελεύθερα να θεσπίσουν τις δικές τους ορισμούς για την ορολογία που χρησιμοποιεί. Ίσως αυτός ο ορισμός απλοποιεί κάποιες από τις σχετικές περιγραφές / θεωρήματα / κ.α.

Απαντήθηκε 20/06/2010 στις 05:14
πηγή χρήστη Stephen C

ψήφοι

-1

Όχι, ένας κόμβος δεν είναι πρόγονος του εαυτού του. Κατά τη γνώμη μου θα πρέπει να είναι: αν το δικαίωμα υποδένδρο του κόμβου x είναι άδειο και το χ έχει διάδοχο y, τότε y είναι η χαμηλότερη πρόγονος του x με το αριστερό παιδί either x or an ancestor of x., αλλά ο κώδικας δίνεται στο βιβλίο δήθεν χειρισμό τέτοιου είδους περιπτώσεις.

Απαντήθηκε 20/06/2010 στις 05:23
πηγή χρήστη Ravi Gupta

ShreevatsaR · Accepted Answer · 2010-06-20 05:33

Είναι απλώς θέμα ορισμού, αλλά στην προκειμένη περίπτωση, ναι . CLRS ορίζουν ένα πρόγονο του χ ως κάθε κόμβος στο μοναδικό μονοπάτι από τη ρίζα προς το Χ, η οποία εξ ορισμού περιλαμβάνει x.

Το θραύσμα φράση που αναφέρεται αρχίζει αναφέροντας την άσκηση 12,2 έως 6 στην επόμενη σελίδα, η οποία καθορίζει το εξής:

(Θυμηθείτε ότι κάθε κόμβος είναι δική του προγόνου του.)

:-)