Télécharger Linnk AI
•
Assistant de recherche
>
Connexion
Idée
-
Zero-suppressed binary decision diagram (ZDD)
ZDDの単一家族代数演算による指数的な膨張への洞察
ZDDを用いた家族の効率的な表現は、演算によって指数的な計算時間が発生することを示唆しています。
1