Machine learningSymbolic Computation
Diagramă de Decizie Binară
Diagramele de Decizie Binare (BDD) sunt o reprezentare canonică, eficientă din punct de vedere al memoriei, a funcțiilor booleene, dezvoltată de Randal Bryant în 1986. Un BDD este un graf orientat aciclic care codifică toate atribuirile de variabile și rezultatele; BDD-urile reduse sunt unice pentru fiecare funcție și permit manipularea eficientă a logicii combinatoriale în verificarea modelelor, proiectarea circuitelor și calculul simbolic.
Citește metoda completă
Doar pentru membri
AutentificareAutentifică-te cu un cont gratuit pentru a citi această secțiune.
Surse
- 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
Cum se citează această pagină
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/ro/numerical-methods/binary-decision-diagram
Ai observat o problemă pe această pagină? Raportează sau sugerează o corectură →