5
Qual è l'algoritmo per calcolare il join di due diagrammi di decisione binaria a soppressione dello zero?Algoritmo per calcolare il join nel diagramma di decisione binaria a soppressione dello zero
L'ho cercato per ore ora, proprio non riesco a trovarlo. Non è nemmeno nel libro di Knuth, per quanto posso trovare, sebbene dia una definizione del risultato.
Preferirei non dover passare da una specifica implementazione; Trovo i dettagli di implementazione molto distraenti.
L'unione di ZDDs f e g è { a ∪ b | a ∈ f and b ∈ g }
Perdonami, ma cosa intendi esattamente per "unirti" qui? Unione? Intersezione? Qualcos'altro? –
@Henning Makholm: Né, è l'insieme di tutti i sindacati di tutte le combinazioni di insiemi 'a' e' b' dove 'a' è da un ZDD e' b' è dall'altro. – harold
Ok, questo è oltre me. Quando ho saputo dei BDD, ognuno ha codificato un singolo set (di bitstring), piuttosto che una serie di set. Potrebbe essere stata una versione semplificata. –