ZDDの単一家族代数演算による指数的な膨張への洞察

ZDDを用いた家族の効率的な表現は、演算によって指数的な計算時間が発生することを示唆しています。