Changeset 130 for liacs/SCA2010/BDD

Timestamp:

Jun 26, 2010, 2:59:51 PM (14 years ago)

Author:

Rick van der Zwet

Message:

Introduction foo

File:

• liacs/SCA2010/BDD/report.tex (modified) (4 diffs)

liacs/SCA2010/BDD/report.tex

@@ -25 +25 @@
 
 \section{Inleiding}
+De hierin besproken inhoud is een samenvatting gemaakt van pagina 86--88 en de
+daarin genoemde opgave 60 en 63 uit het college boek~\cite{DK2009} na
+aanleiding van het vak Seminar Combinatorial Algorithms 2010~\cite{SCA2010}. 
+
+
+\section{Introductie BDD}
 Synthese van een Binary Decision Diagram \emph{BDD} is het belangrijke
 \emph{BDD} algoritme~\cite[pp 86]{DK2009}. Welke in essentie een \emph{BDD}
@@ -71 +77 @@
 het eind van de rit. De gegeneerde gesmolten \emph{BDD} is geldig voor allen.
 
-Kijkend naar de limieten kan hetzelfde altijd bereikt worden door in het
-slechte geval de \emph{BDD}s achter elkaar te plakken welke dan in dit geval
-$B(f)B(g)$ knopen oplevert. Voorbeeld~\ref{voorbeeldPlakken} is hier een geval
-van. In het meer algemene geval $B(f) + B(g)$
+Kijkend naar de limieten moet geoordeeld worden kan hetzelfde altijd bereikt
+worden door in het slechte geval de \emph{BDD}s achter elkaar te plakken welke
+dan in dit geval $B(f)B(g)$ knopen oplevert. Voorbeeld~\ref{voorbeeldPlakken}
+is hier een geval van. In het meer algemene geval geldt $B(f) + B(g)$ 
 XXX: TODO 
 
@@ -80 +86 @@
 \label{voorbeeld}
 \label{voorbeeldSamenvoegen}
-XXX: TODO
+XXX: Ex 60
 \label{voorbeeldPlakken}
+XXX: Ex 63
 
 \begin{thebibliography}{}
@@ -87 +94 @@
 Techniques; Binary Decision Diagrams}, volume 4 of \texttt{The Art of Computer
 Programming}. Pearson Education, first edition, March 2009.
+\bibitem[SCA2010]{SCA2010} Lecture Seminar Combinatorial Algorithms, 
+\url{http://www.liacs.nl/~kosters/semcom/}, dr. W.A.  (Walter) Kosters, LIACS,
+Spring 2010
+
 \end{thebibliography}
 \end{document}