Machine learningSymbolic Computation
Diagramma di Decisione Binaria
I Diagrammi di Decisione Binaria (BDD) sono una rappresentazione canonica ed efficiente in termini di memoria delle funzioni booleane, sviluppata da Randal Bryant nel 1986. Un BDD è un grafo aciclico diretto che codifica tutte le assegnazioni di variabili e i risultati; i BDD ridotti sono unici per ogni funzione e consentono una manipolazione efficiente della logica combinatoria nel model checking, nella progettazione di circuiti e nel calcolo simbolico.
Leggi il metodo completo
Riservato ai membri
AccediAccedi con un account gratuito per leggere questa sezione.
Fonti
- 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
Come citare questa pagina
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/it/numerical-methods/binary-decision-diagram
Hai notato un problema in questa pagina? Segnalalo o proponi una correzione →