Changeset 133 for liacs/SCA2010/BDD

Timestamp:

Jun 29, 2010, 5:46:24 AM (14 years ago)

Author:

Rick van der Zwet

Message:

Changes made on the bus

File:

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

liacs/SCA2010/BDD/report.tex

@@ -113 +113 @@
 $(b'_{0},...,b_{n}$ hebben. En de respectieve \emph{quasi-profielen}
 (\emph{quasi-profiles})~\cite[pg 103]{DK2009} $(q_{0},...,q_{n})$ en
-$(q'_{0},...,q'_{n})$.
+$(q'_{0},...,q'_{n}$.  Om te laten zijn dat de smolten $f \diamond g$ het
+aantal knopen van $B(f \diamond g) \leq
+\sum^{n}_{j=0}(q_{j}b'_{j}+b_{j}q'_{j}-b_{j}b'_{j})$ bevat.
+
+XXX: Detail uitwerking
 
 
@@ -120 +124 @@
 Het volgende voorbeeld is een uitwerking van opgave 63~\cite[pg. 131]{DK2009}
 de offi\"{e}le uitwerking is te vinden op pagina 160~\cite{DK2009}
+
+Laat $f(x_{1},...,x_{n}) = M_{m}(x_{1} \oplus x_{2},x_{3} \oplus
+x_{4},...,x_{2m-1} \oplus x_{2m};x_{2m+1},...,x_{n})$ en $g(x_{1},...,x_{n}) =
+M_{m}(x_{2} \oplus x_{3},...,x_{2m-2} \oplus x_{2m-1},x_{2m};\overline
+x_{2m+1},...,\overline x_{n})$ waar $n = 2m + 2^{m}$. Dan is $B(f)$ XXX:TODO,
+$B(g)$ XXX:TODO. $B(g \hat f)$
+
+
 
 
@@ -128 +140 @@
 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,
+\url{http://www.liacs.nl/~kosters/semcom/}, dr. W.A. (Walter) Kosters, LIACS,
 Spring 2010