Diferencia entre revisiones de «Diagrama de decisión binario»
Contenido eliminado Contenido añadido
Línea 12:
En el uso popular, el término '''DDB''' también se refiere a '''Diagrama de decisión binario reducido ordenado''' ('''DDBRO''', mejor conocido en la literatura en inglés como '''ROBDD''': ''Reduced Ordered Binary Decision Diagram'').<ref>The Art of Computer Programming, vol 4A, Donald E. Knuth</ref> Una ventaja de un DDBRO es que es canónico (único) para una función particular y un orden de variables.<ref>Graph-Based Algorithms
for Boolean Function Manipulation, Randal E. Bryant, 1986</ref> Esta propiedad es útil por ejemplo en la verificación de [[
Un camino desde el nodo raíz al terminal-1 representa una asignación de variables (posiblemente parcial) para la cual la función booleana es verdadera. Si el camino desciende desde un nodo hasta un hijo menor (mayor), la variable del nodo adquiere el valor 0 (1).
| |||