5
¿Cuál es el algoritmo para calcular la combinación de dos diagramas de decisión binarios con cero suprimido?Algoritmo para calcular la unión en el diagrama de decisión binario suprimido cero
Lo he buscado durante horas, simplemente no puedo encontrarlo. Tampoco está en el libro de Knuth, hasta donde puedo encontrar, aunque da una definición del resultado.
Preferiría no tener que pasar por una implementación específica; Encuentro que los detalles de implementación son muy molestos.
La unión de ZDDS fg y es { a ∪ b | a ∈ f and b ∈ g }
Perdóneme, pero ¿qué quiere decir con "unirse" aquí? ¿Unión? ¿Intersección? ¿Algo más? –
@Henning Makholm: Tampoco, es el conjunto de todas las uniones de todas las combinaciones de conjuntos 'a' y' b' donde 'a' es de una ZDD y' b' es de la otra. – harold
Está bien, eso está más allá de mí. Cuando aprendí sobre BDD cada uno codificó un solo conjunto (de bitstrings), en lugar de un conjunto de conjuntos. Pudo haber sido una versión simplificada. –