Machine learningSymbolic Computation
Diagrama de Decisión Binaria
Los Diagramas de Decisión Binaria (BDD) son una representación canónica y eficiente en memoria de funciones booleanas desarrollada por Randal Bryant en 1986. Un BDD es un grafo acíclico dirigido que codifica todas las asignaciones de variables y resultados; los BDD reducidos son únicos para cada función y permiten la manipulación eficiente de la lógica combinatoria en la verificación de modelos, el diseño de circuitos y la computación simbólica.
Leer el método completo
Solo para miembros
Iniciar sesiónInicia sesión con una cuenta gratuita para leer esta sección.
Fuentes
- 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
Cómo citar esta página
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/es/numerical-methods/binary-decision-diagram
¿Has visto un problema en esta página? Infórmanos o sugiere una corrección →