2つのゼロ抑制二分決定図の結合を計算するアルゴリズムは何ですか?
私は今何時間もそれを探しました、私はそれを見つけることができません。結果の定義はありますが、私が知る限り、それはKnuthの本にもありません。
特定の実装を通り抜ける必要はありません。実装の詳細は非常に気が散ります。
ZDDの結合f
とg
は{ a ∪ b | a ∈ f and b ∈ g }
2つのゼロ抑制二分決定図の結合を計算するアルゴリズムは何ですか?
私は今何時間もそれを探しました、私はそれを見つけることができません。結果の定義はありますが、私が知る限り、それはKnuthの本にもありません。
特定の実装を通り抜ける必要はありません。実装の詳細は非常に気が散ります。
ZDDの結合f
とg
は{ a ∪ b | a ∈ f and b ∈ g }
The Art of Computer Programming, Volume 4A の私のコピーでは、この正確な質問がセクション 7.1.4 の演習 205 として提起されています。これは前の 2 つの質問に関連していますが、3 つすべての答えは本の最後にあります。参考資料としてチェックしてみてはいかがでしょうか。
私は、Knuth が数年前に行った講演で、ZDD とそのアルゴリズムについて話し合っていました。参加方法も含まれています。興味があれば、講義は録画されていると思いますので、ここでオンラインにすべきです。
お役に立てれば!