Machine learningSymbolic Computation
Диаграма на двоични решения
Диаграмите на двоични решения (BDD) са канонично, паметноефективно представяне на булеви функции, разработено от Рандал Брайънт през 1986 г. BDD е насочен ацикличен граф, кодиращ всички присвоявания на променливи и резултати; редуцираните BDD са уникални за всяка функция и позволяват ефективна манипулация на комбинаторна логика при проверка на модели, проектиране на схеми и символични изчисления.
Прочетете целия метод
Само за членове
ВходВлезте с безплатен профил, за да прочетете този раздел.
Източници
- 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
Как да цитирате тази страница
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/bg/numerical-methods/binary-decision-diagram
Забелязахте ли проблем на тази страница? Съобщете или предложете поправка →