Machine learningSymbolic Computation
Diagrama de Decisão Binária
Diagramas de Decisão Binária (BDDs) são uma representação canônica e eficiente em memória de funções booleanas, desenvolvida por Randal Bryant em 1986. Um BDD é um grafo acíclico direcionado que codifica todas as atribuições de variáveis e resultados; BDDs reduzidos são únicos para cada função e permitem a manipulação eficiente de lógica combinacional em verificação de modelos, projeto de circuitos e computação simbólica.
Leia o método completo
Exclusivo para membros
EntrarEntre com uma conta gratuita para ler esta seção.
Fontes
- 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
Como citar esta página
ScholarGate. (2026, June 3). Binary Decision Diagram (BDD). ScholarGate. https://scholargate.app/pt/numerical-methods/binary-decision-diagram
Encontrou um problema nesta página? Relate ou sugira uma correção →