referencesdéfiniesplusieurs fois

diff --git a/12TIPE.tex b/12TIPE.tex
index 4cbc26dbf3263c619e9ab6faa50caccece609b51..85efe7887f31637058b7eba14c7e397640342c05 100644 (file)
--- a/12TIPE.tex
+++ b/12TIPE.tex
@@ -119,7 +119,7 @@ Leur preuve est donnée en annexe~\ref{anx:chaos:unaire}.
 \end{theorem}
 
 \begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:u} $\mathcal{T} \subset \mathcal{R}$.
 \end{theorem}
 
 On peut conclure  que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}

diff --git a/14Secrypt.tex b/14Secrypt.tex
index b7cb0d398c9e99eeb53a93f531134b820d910661..d4f76f43b71f1fa00568c314a0fcfef58446aedc 100644 (file)
--- a/14Secrypt.tex
+++ b/14Secrypt.tex
@@ -83,7 +83,7 @@ bistoc(X):-
   allpositive(S4).
 \end{lstlisting}
 \end{scriptsize}
-\caption{Prolog Problem to Find DSSC Matrix when $n=2$}\label{fig:prolog}
+\caption{Code PROLOG permettant de trouver toutes les matrices DSSC pour $n=2$}\label{fig:prolog}
 \end{figure}
 
 Enfin, on définit la relation $\mathcal{R}$, qui est établie pourles deux 
@@ -156,7 +156,8 @@ Cependant, le graphe $\textsc{giu}(f^*)$
 (donné à la Figure~\ref{fig:iteration:f*})
 est le $3$-cube dans lequel le cycle 
 $000,100,101,001,011,111,110,010,000$ 
-a été enlevé.
+a été enlevé. Dans cette figure, le le graphe $\textsc{giu}(f)$ est
+en continu tandis que le cycle est en pointillés.
 Ce cycle qui visite chaque n{\oe}ud exactement une fois est un  
 \emph{cycle hamiltonien}.
 La matrice de Markov correspondante est donnée à 
@@ -173,7 +174,7 @@ On s'intéresse  par la suite à la génération de ce genre de cycles.
     \label{fig:iteration:f*}]{
       \begin{minipage}{0.55\linewidth}
         \centering
-        \includegraphics[width=\columnwidth]{images/iter_f0c}%
+        \includegraphics[width=\columnwidth]{images/iter_f0d}%
       \end{minipage}
     }%
     \subfigure[Matrice de Markov associée à $\textsc{giu}(f^*)$

diff --git a/15TSI.tex b/15TSI.tex
index 7d1d8429d9b21e6015aad11847303cc23aac668e..76e0203ebf681fa2c274c0ceaf26a6fd60e24aa1 100644 (file)
--- a/15TSI.tex
+++ b/15TSI.tex
@@ -26,7 +26,7 @@ $x^0\in\Bool^{\mathsf{N}}$ et une stratégie $S = \left(s_t\right)_{t \in  \math
 \in \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$,
 les
 configurations $x^t$ sont définies par la récurrence
-\begin{equation}\label{eq:asyn}
+\begin{equation}\label{eq:asyn:g}
     x^{t+1}=F_{f_g}(s_t,x^t).
   \end{equation}
   Soit alors $G_{f_g}$ une fonction de $\Bool^{\mathsf{N}}  \times  \mathcal{P}(\{1, \ldots, {\mathsf{N}}\})^{\Nats}$ 
@@ -93,12 +93,12 @@ annexe~\ref{anx:chaos:generalise}.
 \end{theorem}
 
 \begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:g} $\mathcal{T} \subset \mathcal{R}$.
 \end{theorem}
 
 
 \begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}  
+\label{Th:CaracIC:g}  
 Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_g}$ est chaotique  
 si et seulement si $\textsc{gig}(f)$ est fortement connexe.
 \end{theorem}

diff --git a/caracgeneralise.tex b/caracgeneralise.tex
index 0427db87648bac22bf28aab93b5943f6f6cb4475..54d99afba1bd4b8b0cb69b8de08c487633980134 100644 (file)
--- a/caracgeneralise.tex
+++ b/caracgeneralise.tex
@@ -56,7 +56,7 @@ par contraposée, on a la démonstration souhaitée.
 Prouvons à présent le théorème suivant: 
 
 \begin{theorem}
-\label{Prop: T est dans R} $\mathcal{T} \subset \mathcal{R}$.
+\label{Prop: T est dans R:gp} $\mathcal{T} \subset \mathcal{R}$.
 \end{theorem}
 
 
@@ -91,7 +91,7 @@ On peut conclure  que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
 = \mathcal{T}$. On a alors la  caractérisation suivante:
 
 \begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}  
+\label{Th:CaracIC:gp}  
 Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_g}$ est chaotique  
 si et seulement si $\textsc{gig}(f)$ est fortement connexe.
 \end{theorem}

diff --git a/caracunaire.tex b/caracunaire.tex
index c74aaf063e463c156d6342829e7e9ceca306731c..1111939ac3e8596062ee0388e2c33fb40936a37f 100644 (file)
--- a/caracunaire.tex
+++ b/caracunaire.tex
@@ -94,7 +94,7 @@ On peut conclure  que $\mathcal{C} = \mathcal{R} \cap \mathcal{T}
 = \mathcal{T}$. On a alors la  caractérisation suivante:
 
 \begin{theorem}%[Characterization of $\mathcal{C}$]
-\label{Th:CaracIC}  
+\label{Th:CaracIC:up}  
 Soit $f:\Bool^{\mathsf{N}}\to\Bool^{\mathsf{N}}$. La fonction $G_{f_u}$ est chaotique  
 si et seulement si $\textsc{giu}(f)$ est fortement connexe.
 \end{theorem}

diff --git a/images/iter_f0d.eps b/images/iter_f0d.eps
new file mode 100644 (file)
index 0000000..8e4f8dc
--- /dev/null
+++ b/images/iter_f0d.eps
@@ -0,0 +1,902 @@
+%!PS-Adobe-3.0
+%%Creator: graphviz version 2.36.0 (20140111.2315)
+%%Title: %3
+%%Pages: (atend)
+%%BoundingBox: (atend)
+%%EndComments
+save
+%%BeginProlog
+/DotDict 200 dict def
+DotDict begin
+
+/setupLatin1 {
+mark
+/EncodingVector 256 array def
+ EncodingVector 0
+
+ISOLatin1Encoding 0 255 getinterval putinterval
+EncodingVector 45 /hyphen put
+
+% Set up ISO Latin 1 character encoding
+/starnetISO {
+        dup dup findfont dup length dict begin
+        { 1 index /FID ne { def }{ pop pop } ifelse
+        } forall
+        /Encoding EncodingVector def
+        currentdict end definefont
+} def
+/Times-Roman starnetISO def
+/Times-Italic starnetISO def
+/Times-Bold starnetISO def
+/Times-BoldItalic starnetISO def
+/Helvetica starnetISO def
+/Helvetica-Oblique starnetISO def
+/Helvetica-Bold starnetISO def
+/Helvetica-BoldOblique starnetISO def
+/Courier starnetISO def
+/Courier-Oblique starnetISO def
+/Courier-Bold starnetISO def
+/Courier-BoldOblique starnetISO def
+cleartomark
+} bind def
+
+%%BeginResource: procset graphviz 0 0
+/coord-font-family /Times-Roman def
+/default-font-family /Times-Roman def
+/coordfont coord-font-family findfont 8 scalefont def
+
+/InvScaleFactor 1.0 def
+/set_scale {
+       dup 1 exch div /InvScaleFactor exch def
+       scale
+} bind def
+
+% styles
+/solid { [] 0 setdash } bind def
+/dashed { [9 InvScaleFactor mul dup ] 0 setdash } bind def
+/dotted { [1 InvScaleFactor mul 6 InvScaleFactor mul] 0 setdash } bind def
+/invis {/fill {newpath} def /stroke {newpath} def /show {pop newpath} def} bind def
+/bold { 2 setlinewidth } bind def
+/filled { } bind def
+/unfilled { } bind def
+/rounded { } bind def
+/diagonals { } bind def
+/tapered { } bind def
+
+% hooks for setting color 
+/nodecolor { sethsbcolor } bind def
+/edgecolor { sethsbcolor } bind def
+/graphcolor { sethsbcolor } bind def
+/nopcolor {pop pop pop} bind def
+
+/beginpage {   % i j npages
+       /npages exch def
+       /j exch def
+       /i exch def
+       /str 10 string def
+       npages 1 gt {
+               gsave
+                       coordfont setfont
+                       0 0 moveto
+                       (\() show i str cvs show (,) show j str cvs show (\)) show
+               grestore
+       } if
+} bind def
+
+/set_font {
+       findfont exch
+       scalefont setfont
+} def
+
+% draw text fitted to its expected width
+/alignedtext {                 % width text
+       /text exch def
+       /width exch def
+       gsave
+               width 0 gt {
+                       [] 0 setdash
+                       text stringwidth pop width exch sub text length div 0 text ashow
+               } if
+       grestore
+} def
+
+/boxprim {                             % xcorner ycorner xsize ysize
+               4 2 roll
+               moveto
+               2 copy
+               exch 0 rlineto
+               0 exch rlineto
+               pop neg 0 rlineto
+               closepath
+} bind def
+
+/ellipse_path {
+       /ry exch def
+       /rx exch def
+       /y exch def
+       /x exch def
+       matrix currentmatrix
+       newpath
+       x y translate
+       rx ry scale
+       0 0 1 0 360 arc
+       setmatrix
+} bind def
+
+/endpage { showpage } bind def
+/showpage { } def
+
+/layercolorseq
+       [       % layer color sequence - darkest to lightest
+               [0 0 0]
+               [.2 .8 .8]
+               [.4 .8 .8]
+               [.6 .8 .8]
+               [.8 .8 .8]
+       ]
+def
+
+/layerlen layercolorseq length def
+
+/setlayer {/maxlayer exch def /curlayer exch def
+       layercolorseq curlayer 1 sub layerlen mod get
+       aload pop sethsbcolor
+       /nodecolor {nopcolor} def
+       /edgecolor {nopcolor} def
+       /graphcolor {nopcolor} def
+} bind def
+
+/onlayer { curlayer ne {invis} if } def
+
+/onlayers {
+       /myupper exch def
+       /mylower exch def
+       curlayer mylower lt
+       curlayer myupper gt
+       or
+       {invis} if
+} def
+
+/curlayer 0 def
+
+%%EndResource
+%%EndProlog
+%%BeginSetup
+14 default-font-family set_font
+1 setmiterlimit
+% /arrowlength 10 def
+% /arrowwidth 5 def
+
+% make sure pdfmark is harmless for PS-interpreters other than Distiller
+/pdfmark where {pop} {userdict /pdfmark /cleartomark load put} ifelse
+% make '<<' and '>>' safe on PS Level 1 devices
+/languagelevel where {pop languagelevel}{1} ifelse
+2 lt {
+    userdict (<<) cvn ([) cvn load put
+    userdict (>>) cvn ([) cvn load put
+} if
+
+%%EndSetup
+setupLatin1
+%%Page: 1 1
+%%PageBoundingBox: 36 36 385 296
+%%PageOrientation: Portrait
+0 0 1 beginpage
+gsave
+36 36 349 260 boxprim clip newpath
+1 1 set_scale 0 rotate 40 40 translate
+% 000
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+16.5 158.3 moveto 21 (000) alignedtext
+grestore
+% 000->000
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 54.24 168.74 moveto
+64.02 168.89 72 166.64 72 162 curveto
+72 159.17 69.04 157.23 64.51 156.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 64.51 152.67 moveto
+54.24 155.26 lineto
+63.89 159.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 64.51 152.67 moveto
+54.24 155.26 lineto
+63.89 159.64 lineto
+closepath stroke
+grestore
+% 001
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+141.21 230.3 moveto 21 (001) alignedtext
+grestore
+% 000->001
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 47.47 180.04 moveto
+65.92 192.5 93.4 208.61 115.53 220.09 curveto
+stroke
+0 0 0 edgecolor
+newpath 114.15 223.31 moveto
+124.65 224.71 lineto
+117.31 217.07 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 114.15 223.31 moveto
+124.65 224.71 lineto
+117.31 217.07 lineto
+closepath stroke
+grestore
+% 010
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+160.5 158.3 moveto 21 (010) alignedtext
+grestore
+% 000->010
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 54.09 167.41 moveto
+76.47 168.97 108.5 169.17 133.37 168.01 curveto
+stroke
+0 0 0 edgecolor
+newpath 133.76 171.5 moveto
+143.55 167.44 lineto
+133.36 164.51 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 133.76 171.5 moveto
+143.55 167.44 lineto
+133.36 164.51 lineto
+closepath stroke
+grestore
+% 100
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+16.5 14.3 moveto 21 (100) alignedtext
+grestore
+% 000->100
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 31.67 143.76 moveto
+34.13 119.2 34.41 75.25 32.5 46.35 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 35.96 45.77 moveto
+31.66 36.09 lineto
+28.98 46.34 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 35.96 45.77 moveto
+31.66 36.09 lineto
+28.98 46.34 lineto
+closepath stroke
+grestore
+% 001->000
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 131.24 215.96 moveto
+112.79 203.5 85.31 187.39 63.17 175.91 curveto
+stroke
+0 0 0 edgecolor
+newpath 64.56 172.69 moveto
+54.06 171.29 lineto
+61.4 178.93 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 64.56 172.69 moveto
+54.06 171.29 lineto
+61.4 178.93 lineto
+closepath stroke
+grestore
+% 001->001
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 178.95 240.74 moveto
+188.73 240.89 196.71 238.64 196.71 234 curveto
+196.71 231.17 193.75 229.23 189.22 228.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 189.22 224.67 moveto
+178.95 227.26 lineto
+188.59 231.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 189.22 224.67 moveto
+178.95 227.26 lineto
+188.59 231.64 lineto
+closepath stroke
+grestore
+% 011
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+285.21 230.3 moveto 21 (011) alignedtext
+grestore
+% 001->011
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 178.79 239.41 moveto
+201.18 240.97 233.2 241.17 258.08 240.01 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 258.47 243.5 moveto
+268.25 239.44 lineto
+258.07 236.51 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 258.47 243.5 moveto
+268.25 239.44 lineto
+258.07 236.51 lineto
+closepath stroke
+grestore
+% 101
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+141.21 86.3 moveto 21 (101) alignedtext
+grestore
+% 001->101
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 156.38 215.76 moveto
+158.84 191.2 159.12 147.25 157.21 118.35 curveto
+stroke
+0 0 0 edgecolor
+newpath 160.67 117.77 moveto
+156.37 108.09 lineto
+153.69 118.34 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 160.67 117.77 moveto
+156.37 108.09 lineto
+153.69 118.34 lineto
+closepath stroke
+grestore
+% 010->000
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 143.91 156.59 moveto
+121.53 155.03 89.5 154.83 64.63 155.99 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 64.24 152.5 moveto
+54.45 156.56 lineto
+64.64 159.49 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 64.24 152.5 moveto
+54.45 156.56 lineto
+64.64 159.49 lineto
+closepath stroke
+grestore
+% 010->010
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 198.24 168.74 moveto
+208.02 168.89 216 166.64 216 162 curveto
+216 159.17 213.04 157.23 208.51 156.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 208.51 152.67 moveto
+198.24 155.26 lineto
+207.89 159.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 208.51 152.67 moveto
+198.24 155.26 lineto
+207.89 159.64 lineto
+closepath stroke
+grestore
+% 010->011
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 191.47 180.04 moveto
+209.92 192.5 237.4 208.61 259.53 220.09 curveto
+stroke
+0 0 0 edgecolor
+newpath 258.15 223.31 moveto
+268.65 224.71 lineto
+261.31 217.07 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 258.15 223.31 moveto
+268.65 224.71 lineto
+261.31 217.07 lineto
+closepath stroke
+grestore
+% 110
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+160.5 14.3 moveto 21 (110) alignedtext
+grestore
+% 010->110
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 175.67 143.76 moveto
+178.13 119.2 178.41 75.25 176.5 46.35 curveto
+stroke
+0 0 0 edgecolor
+newpath 179.96 45.77 moveto
+175.66 36.09 lineto
+172.98 46.34 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 179.96 45.77 moveto
+175.66 36.09 lineto
+172.98 46.34 lineto
+closepath stroke
+grestore
+% 011->001
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 268.62 228.59 moveto
+246.24 227.03 214.21 226.83 189.34 227.99 curveto
+stroke
+0 0 0 edgecolor
+newpath 188.95 224.5 moveto
+179.16 228.56 lineto
+189.34 231.49 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 188.95 224.5 moveto
+179.16 228.56 lineto
+189.34 231.49 lineto
+closepath stroke
+grestore
+% 011->010
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 275.24 215.96 moveto
+256.79 203.5 229.31 187.39 207.17 175.91 curveto
+stroke
+0 0 0 edgecolor
+newpath 208.56 172.69 moveto
+198.06 171.29 lineto
+205.4 178.93 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 208.56 172.69 moveto
+198.06 171.29 lineto
+205.4 178.93 lineto
+closepath stroke
+grestore
+% 011->011
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 322.95 240.74 moveto
+332.73 240.89 340.71 238.64 340.71 234 curveto
+340.71 231.17 337.75 229.23 333.22 228.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 333.22 224.67 moveto
+322.95 227.26 lineto
+332.59 231.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 333.22 224.67 moveto
+322.95 227.26 lineto
+332.59 231.64 lineto
+closepath stroke
+grestore
+% 111
+gsave
+0 0 0 nodecolor
+14 /Times-Roman set_font
+285.21 86.3 moveto 21 (111) alignedtext
+grestore
+% 011->111
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 300.38 215.76 moveto
+302.84 191.2 303.12 147.25 301.21 118.35 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 304.67 117.77 moveto
+300.37 108.09 lineto
+297.69 118.34 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 304.67 117.77 moveto
+300.37 108.09 lineto
+297.69 118.34 lineto
+closepath stroke
+grestore
+% 100->000
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 22.33 36.24 moveto
+19.87 60.8 19.59 104.75 21.5 133.65 curveto
+stroke
+0 0 0 edgecolor
+newpath 18.04 134.23 moveto
+22.34 143.91 lineto
+25.02 133.66 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 18.04 134.23 moveto
+22.34 143.91 lineto
+25.02 133.66 lineto
+closepath stroke
+grestore
+% 100->100
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 54.24 24.74 moveto
+64.02 24.89 72 22.64 72 18 curveto
+72 15.17 69.04 13.23 64.51 12.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 64.51 8.67 moveto
+54.24 11.26 lineto
+63.89 15.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 64.51 8.67 moveto
+54.24 11.26 lineto
+63.89 15.64 lineto
+closepath stroke
+grestore
+% 100->101
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 47.47 36.04 moveto
+65.92 48.5 93.4 64.61 115.53 76.09 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 114.15 79.31 moveto
+124.65 80.71 lineto
+117.31 73.07 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 114.15 79.31 moveto
+124.65 80.71 lineto
+117.31 73.07 lineto
+closepath stroke
+grestore
+% 100->110
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 54.09 23.41 moveto
+76.47 24.97 108.5 25.17 133.37 24.01 curveto
+stroke
+0 0 0 edgecolor
+newpath 133.76 27.5 moveto
+143.55 23.44 lineto
+133.36 20.51 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 133.76 27.5 moveto
+143.55 23.44 lineto
+133.36 20.51 lineto
+closepath stroke
+grestore
+% 101->001
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 147.03 108.24 moveto
+144.57 132.8 144.3 176.75 146.21 205.65 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 142.75 206.23 moveto
+147.05 215.91 lineto
+149.72 205.66 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 142.75 206.23 moveto
+147.05 215.91 lineto
+149.72 205.66 lineto
+closepath stroke
+grestore
+% 101->100
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 131.24 71.96 moveto
+112.79 59.5 85.31 43.39 63.17 31.91 curveto
+stroke
+0 0 0 edgecolor
+newpath 64.56 28.69 moveto
+54.06 27.29 lineto
+61.4 34.93 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 64.56 28.69 moveto
+54.06 27.29 lineto
+61.4 34.93 lineto
+closepath stroke
+grestore
+% 101->101
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 178.95 96.74 moveto
+188.73 96.89 196.71 94.64 196.71 90 curveto
+196.71 87.17 193.75 85.23 189.22 84.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 189.22 80.67 moveto
+178.95 83.26 lineto
+188.59 87.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 189.22 80.67 moveto
+178.95 83.26 lineto
+188.59 87.64 lineto
+closepath stroke
+grestore
+% 101->111
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 178.79 95.41 moveto
+201.18 96.97 233.2 97.17 258.08 96.01 curveto
+stroke
+0 0 0 edgecolor
+newpath 258.47 99.5 moveto
+268.25 95.44 lineto
+258.07 92.51 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 258.47 99.5 moveto
+268.25 95.44 lineto
+258.07 92.51 lineto
+closepath stroke
+grestore
+% 110->010
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 166.33 36.24 moveto
+163.87 60.8 163.59 104.75 165.5 133.65 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 162.04 134.23 moveto
+166.34 143.91 lineto
+169.02 133.66 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 162.04 134.23 moveto
+166.34 143.91 lineto
+169.02 133.66 lineto
+closepath stroke
+grestore
+% 110->100
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 143.91 12.59 moveto
+121.53 11.03 89.5 10.83 64.63 11.99 curveto
+stroke
+0 0 0 edgecolor
+newpath 64.24 8.5 moveto
+54.45 12.56 lineto
+64.64 15.49 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 64.24 8.5 moveto
+54.45 12.56 lineto
+64.64 15.49 lineto
+closepath stroke
+grestore
+% 110->110
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 198.24 24.74 moveto
+208.02 24.89 216 22.64 216 18 curveto
+216 15.17 213.04 13.23 208.51 12.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 208.51 8.67 moveto
+198.24 11.26 lineto
+207.89 15.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 208.51 8.67 moveto
+198.24 11.26 lineto
+207.89 15.64 lineto
+closepath stroke
+grestore
+% 110->111
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 191.47 36.04 moveto
+209.92 48.5 237.4 64.61 259.53 76.09 curveto
+stroke
+0 0 0 edgecolor
+newpath 258.15 79.31 moveto
+268.65 80.71 lineto
+261.31 73.07 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 258.15 79.31 moveto
+268.65 80.71 lineto
+261.31 73.07 lineto
+closepath stroke
+grestore
+% 111->011
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 291.03 108.24 moveto
+288.57 132.8 288.3 176.75 290.21 205.65 curveto
+stroke
+0 0 0 edgecolor
+newpath 286.75 206.23 moveto
+291.05 215.91 lineto
+293.72 205.66 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 286.75 206.23 moveto
+291.05 215.91 lineto
+293.72 205.66 lineto
+closepath stroke
+grestore
+% 111->101
+gsave
+1 setlinewidth
+0 0 0 edgecolor
+newpath 268.62 84.59 moveto
+246.24 83.03 214.21 82.83 189.34 83.99 curveto
+stroke
+0 0 0 edgecolor
+newpath 188.95 80.5 moveto
+179.16 84.56 lineto
+189.34 87.49 lineto
+closepath fill
+1 setlinewidth
+solid
+0 0 0 edgecolor
+newpath 188.95 80.5 moveto
+179.16 84.56 lineto
+189.34 87.49 lineto
+closepath stroke
+grestore
+% 111->110
+gsave
+1 setlinewidth
+dashed
+0.66667 1 1 edgecolor
+newpath 275.24 71.96 moveto
+256.79 59.5 229.31 43.39 207.17 31.91 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 208.56 28.69 moveto
+198.06 27.29 lineto
+205.4 34.93 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 208.56 28.69 moveto
+198.06 27.29 lineto
+205.4 34.93 lineto
+closepath stroke
+grestore
+% 111->111
+gsave
+1 setlinewidth
+0.66667 1 1 edgecolor
+newpath 322.95 96.74 moveto
+332.73 96.89 340.71 94.64 340.71 90 curveto
+340.71 87.17 337.75 85.23 333.22 84.18 curveto
+stroke
+0.66667 1 1 edgecolor
+newpath 333.22 80.67 moveto
+322.95 83.26 lineto
+332.59 87.64 lineto
+closepath fill
+1 setlinewidth
+solid
+0.66667 1 1 edgecolor
+newpath 333.22 80.67 moveto
+322.95 83.26 lineto
+332.59 87.64 lineto
+closepath stroke
+grestore
+endpage
+showpage
+grestore
+%%PageTrailer
+%%EndPage: 1
+%%Trailer
+%%Pages: 1
+%%BoundingBox: 36 36 385 296
+end
+restore
+%%EOF

diff --git a/images/iter_f0d.pdf b/images/iter_f0d.pdf
new file mode 100644 (file)
index 0000000..54fa72f
Binary files /dev/null and b/images/iter_f0d.pdf differ