Machine learningSymbolic Computation
Diagram decyzyjny binarny
Diagramy decyzyjne binarne (BDD) to kanoniczna, pamięciowo wydajna reprezentacja funkcji boolowskich opracowana przez Randala Bryanta w 1986 roku. BDD to skierowany graf acykliczny kodujący wszystkie przypisania zmiennych i wyniki; zredukowane BDD są unikalne dla każdej funkcji i umożliwiają efektywną manipulację logiką kombinatoryczną w weryfikacji modelowej, projektowaniu układów scalonych i obliczeniach symbolicznych.
Przeczytaj pełny opis metody
Tylko dla członków
Zaloguj sięZaloguj się na bezpłatne konto, aby przeczytać tę sekcję.
Źródła
- 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
Jak cytować tę stronę
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/pl/numerical-methods/binary-decision-diagram
Widzisz błąd na tej stronie? Zgłoś go lub zaproponuj poprawkę →