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/ru/numerical-methods/binary-decision-diagram
Нашли ошибку на этой странице? Сообщите о ней или предложите исправление →