Machine learningSymbolic Computation
Binääripäätöskaavio
Binääripäätöskaaviot (BDD) ovat Randal Bryantin vuonna 1986 kehittämiä kanonisia, muistitehokkaita Boolen funktioiden esitysmuotoja. BDD on suunnattu syklitön verkko, joka koodaa kaikki muuttujien arvot ja tulokset; redusoidut BDD:t ovat uniikkeja kullekin funktiolle ja mahdollistavat kombinatorisen logiikan tehokkaan käsittelyn mallintarkastuksessa, piirisuunnittelussa ja symbolisessa laskennassa.
Lue koko menetelmä
Vain jäsenille
Kirjaudu sisäänKirjaudu sisään maksuttomalla tilillä lukeaksesi tämän osion.
Lähteet
- 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
Näin viittaat tähän sivuun
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/fi/numerical-methods/binary-decision-diagram
Huomasitko virheen tällä sivulla? Ilmoita siitä tai ehdota korjausta →