Διάγραμμα Δυαδικών Αποφάσεων
Τα Διαγράμματα Δυαδικών Αποφάσεων (BDDs) αποτελούν μια κανονική, αποδοτική ως προς τη μνήμη αναπαράσταση λογικών συναρτήσεων, που αναπτύχθηκε από τον Randal Bryant το 1986. Ένα BDD είναι ένας κατευθυνόμενος ακυκλικός γράφος που κωδικοποιεί όλες τις αναθέσεις μεταβλητών και τα αποτελέσματα· τα μειωμένα BDDs είναι μοναδικά για κάθε συνάρτηση και επιτρέπουν την αποδοτική χειραγώγηση της συνδυαστικής λογικής στον έλεγχο μοντέλων, στο σχεδιασμό κυκλωμάτων και στον συμβολικό υπολογισμό.
Διαβάστε ολόκληρη τη μέθοδο
Συνδεθείτε με δωρεάν λογαριασμό για να διαβάσετε αυτή την ενότητα.
Πηγές
- Bryant, R. E. (1986). Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677–691. DOI: 10.1109/TC.1986.1676819 ↗
- Andersen, H. R. (1997). An introduction to binary decision diagrams. Technical Report, IT University of Copenhagen. link ↗
- Becker, B., & Drechsler, R. (1998). Binary Decision Diagrams: Theory and Implementation. Kluwer. ISBN: 0792380185
Πώς να παραπέμψετε σε αυτή τη σελίδα
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/el/numerical-methods/binary-decision-diagram
Εντοπίσατε πρόβλημα σε αυτή τη σελίδα; Αναφέρετέ το ή προτείνετε διόρθωση →