Скачать Linnk AI
•
Научный ассистент
>
Войти
аналитика
-
Zero-suppressed binary decision diagram (ZDD)
ZDDの単一家族代数演算による指数的な膨張への洞察
ZDDを用いた家族の効率的な表現は、演算によって指数的な計算時間が発生することを示唆しています。
1