Machine learningSymbolic Computation
Diagramu za Uamuzi wa Binary
Diagramu za Uamuzi wa Binary (BDD) ni uwakilishi wa kipekee, wa kuhifadhi kumbukumbu wa hisabati za Boolean ulioanzishwa na Randal Bryant mwaka 1986. BDD ni grafu isiyo na mzunguko inayoelekeza inayoelezea vigezo vyote vya kutathmini na matokeo; BDD zilizopunguzwa ni za kipekee kwa kila utendaji na huwezesha urahisi wa uendeshaji wa mantiki ya mchanganyiko katika ukaguzi wa modeli, usanifu wa saketi, na hesabu za ishara.
Soma mbinu kamili
Kwa wanachama pekee
IngiaIngia kwa akaunti ya bure ili kusoma sehemu hii.
Vyanzo
- 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
Jinsi ya kunukuu ukurasa huu
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/sw/numerical-methods/binary-decision-diagram
Umeona tatizo kwenye ukurasa huu? Ripoti au pendekeza marekebisho →