\begin{slide}{Übung BDD}

  \begin{itemize}
  \item 
    ROBDD für die Zählfunktion

    $\operatorname{count}_{\ge k}(x_1,\ldots,x_n) :=$
    let $s=x_1+\dots+x_n$ in $s\ge k$
  \item
    obere Schranke für Anzahl der BDD für $n$ Variablen mit $k$ Knoten ($2^{\text{Anzahl der Bits}}$)

    vergleiche mit Anzahl Boolescher Funktionen
    von $n$ Variablen, Schlußfolgerung?
  \item Bsp. ROBDD-Operation
  \item Anzahl der Überdeckungen eines 
    Schachbretts $(w\times h)$
    durch Dominos $(2\times 1)$:

    Modellierung (Formel), Implementierung mit \verb|obdd|
  \end{itemize}
\end{slide}
