Exponentieller Anstieg bei Algebraoperationen auf ZDDs in der Familie

Viele Transformationen auf ZDDs führen zu exponentiellem Zeitverbrauch.