Changeset 127 for liacs/SCA2010/BDD/report.tex
- Timestamp:
- Jun 20, 2010, 7:11:59 PM (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
liacs/SCA2010/BDD/report.tex
r126 r127 25 25 26 26 \section{Inleiding} 27 Samenvoegen van een Binary Decision Diagram \emph{BDD} is het meestbelangrijke27 Samenvoegen van een Binary Decision Diagram \emph{BDD} is het belangrijke 28 28 \emph{BDD} algoritme~\cite[pp 86]{DK2009}. Welke in essentie een \emph{BDD} 29 29 functie,$f$, pakt en deze combineert met een andere \emph{BDD} functie,$g$, 30 30 zodanig dat er een nieuwe \emph{BDD} ontstaat voor de nieuwe functie. 31 In sectie~\ref{werking} zal deze techniek uitgelegd worden, welke in 32 sectie~\ref{voorbeeld} dit toegepast zal worden als concreet voorbeeld. 31 Bijvoorbeeld $f \wedge g$ of $f \oplus g$. 32 De reden dat dit zo belangrijk is komt met het feit dat het combineren van 33 \emph{BDD}s aan de basis staat aan het uitdrukken van complexe systemen dmv van 34 gecombineerde simpele functies. In sectie~\ref{werking} zal deze techniek 35 uitgelegd worden, welke in sectie~\ref{voorbeeld} dit toegepast zal worden in een 36 concreet voorbeeld. 33 37 34 38 \section{Samenvoegen} 35 39 \label{werking} 36 XXX: TODO 40 De term voor het samenvoegen \emph{BDD} structuren zullen we smelten 41 (\emph{melding}) noemen. Er werkt volgens de volgende principies. Men neme 42 $\alpha = (v,l,h)"$ en $\alpha' = (v',l',h')$. De $\alpha \diamond \alpha'$, de 43 "\emph{emulsie}" (\emph{meld}) van $\alpha$ en $\alpha'$, is dan als volgt 44 gedefineerd als $\alpha$ ad $\alpha'$ niet beiden bladeren (\emph{sinks}) zijn: 45 \begin{equation} 46 \alpha \diamond \alpha' = \left\{ 47 \begin{array}{l l} 48 (v, l \diamond \l'), h \diamond h'), & \mathrm{if~} v = v'; \\ 49 (v, l \diamond \alpha'), h \diamond \alpha'), & \mathrm{if~} v < v'; \\ 50 (v, \alpha \diamond l'), \alpha \diamond h'), & \mathrm{if~} v > v'. \\ 51 \end{array} \right. 52 \end{equation} 53 37 54 38 55 \section{Voorbeeld}
Note:
See TracChangeset
for help on using the changeset viewer.