<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\begin{slide}{Beispiele, EinfluÃŸ der Variablenordnung}
Bestimme das ROBDD fÃ¼r $(a_1\wedge b_1)\vee (a_2\wedge b_2)\vee (a_3\wedge b_3)$
\begin{itemize}\itemsep 2pt \parskip 2pt
\item fÃ¼r $a_1&gt;b_1&gt;a_2&gt;b_2&gt;a_3&gt;b_3$
\item fÃ¼r $a_1&gt;a_2&gt;a_3&gt;b_1&gt;b_2&gt;b_3$
\end{itemize}
Funktionen mit exponentieller ROBDD-GrÃ¶ÃŸe fÃ¼r \emph{jede} Variablenordnung:
Bryant 1991
\begin{itemize}\itemsep 2pt\parskip 2pt
\item hidden weighted bit function $f(x_1,\ldots,x_n)=$

  let $s=x_1+\ldots+x_n$ in if $s=0$ then 0 else $x_s$
\item (das mittlere Bit bei) integer multiplication 
\end{itemize}
fÃ¼r Ordnung $y_{2n} &gt; \ldots &gt; y_1$ betrachte
InformationsfluÃŸ (Anzahl der Kanten) zw. $\{y_{2n},\ldots,y_{n+1}\}$ und
$\{y_n,\ldots,y_1\}$.

 (\begin{small}
\url{http://www.cs.cmu.edu/~bryant/pubdir/ieeetc91.pdf}
\end{small})

\end{slide}
</pre></body></html>