From: couchot Date: Wed, 22 Jul 2015 06:47:19 +0000 (+0200) Subject: referencesdéfiniesplusieurs fois X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/020defdbb2ac938563eba1071c78520973093e4b referencesdéfiniesplusieurs fois --- diff --git a/12TIPE.tex b/12TIPE.tex index 4cbc26d..85efe78 100644 --- 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 b7cb0d3..d4f76f4 100644 --- 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 7d1d842..76e0203 100644 --- 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 0427db8..54d99af 100644 --- 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 c74aaf0..1111939 100644 --- 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 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 index 0000000..54fa72f Binary files /dev/null and b/images/iter_f0d.pdf differ