From 88854ac4a1d472000495a77d78af210f81e4443d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jean-Fran=C3=A7ois=20Couchot?= Date: Mon, 20 Jul 2015 17:49:25 +0200 Subject: [PATCH] =?utf8?q?d=C3=A9but=20hamiltonien=20motiv?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- images/h23prng.pdf | Bin 0 -> 5043 bytes images/h2prng.ng.pdf | 521 +++++++++++++++++++++++++++ images/h2prng.pdf | Bin 0 -> 4412 bytes images/h3prng.pdf | Bin 0 -> 5005 bytes images/iter_f.dot | 42 +++ images/iter_f.pdf | Bin 0 -> 10885 bytes images/iter_f0_chaos.dot | 45 +++ images/iter_f0_chaos_ini.dot | 45 +++ images/iter_f0b.dot | 45 +++ images/iter_f0b.pdf | Bin 0 -> 5446 bytes images/iter_f0c-eps-converted-to.pdf | Bin 0 -> 4544 bytes images/iter_f0c.dot | 45 +++ 12 files changed, 743 insertions(+) create mode 100644 images/h23prng.pdf create mode 100644 images/h2prng.ng.pdf create mode 100644 images/h2prng.pdf create mode 100644 images/h3prng.pdf create mode 100644 images/iter_f.dot create mode 100644 images/iter_f.pdf create mode 100644 images/iter_f0_chaos.dot create mode 100644 images/iter_f0_chaos_ini.dot create mode 100644 images/iter_f0b.dot create mode 100644 images/iter_f0b.pdf create mode 100644 images/iter_f0c-eps-converted-to.pdf create mode 100644 images/iter_f0c.dot diff --git a/images/h23prng.pdf b/images/h23prng.pdf new file mode 100644 index 0000000000000000000000000000000000000000..608d1fde32ad01d227f2cbc94a04ab265ec69e08 GIT binary patch literal 5043 zcma)A2{@G97q_McB`RC=%93@=ZfU_xlcpiEWLJZsv5m$kRMPaJOtuu+`L|GHi58MI zQQ688B2luWq7>n)|ND;R^QGtcy3foz_n!CMd+xdCcb2(|raO0OAmLb;;_VN)GcYuO z0O(Hcux;A_O(Uwe8}kr=0ZC>s001<1(L9+{2KehqVN!Qeo#`%A*p3}AUnYY}@q+m$ z-?VNBS0aj(PMS{$dfFt|lmoIGc8YAvS?w>f=JRlFU1YlK@e}g5rrnZLKYo8mZT|bl z{X#W0RTS#R&r7cwP8#iZC8IKvS++^N*7aY~%IkZZ%1uyTJ~gfR;-**gz50M#R9RYo zeL20ns^z5f7_s<1fbEoUVDccohXLixBBhA@YGwqeWBS$GI{cN4?3o` zM^n$e=(%HXeQyXhC+>saRKUw?eP3fLib6&^9bye{=2qyZXpW3l$SA-sNg^n8`*5?} zp$!6(PAOvN_j8}t{g$~tC%{Ev1mC5fV&*p6f-yK_k$(Xd-(QkZDlE03&a`pM!#;wI zum>M2pp&0lm@Gt+vi@JhNS5y@m_gg_Btr9g53}xyn7F+*h3^{;=tYr#+urby$+$js z?Xt5E@7Yysms$bKPj(-VVj>^(R6XK9IqbEG^7Hun7tKyHWWj8Dg16M&cKi1HEeU1# zgd$p@eoo{47cuB|2N4lb_dEsRDSPF$>#rMZ?l@?7G)4Gq1WCLd^J!R=V0C~?mBk(s zNnXiiu#U+4doVk68?mpQQfkj5;_|X-9j7PA2&KK$`Qw9&mYp8dg zxHZeVw{isV&3sT-YS|{Gu$p#?ZD2#ox;k|SsTWe%8IoY>)zECC>zdmy==m}9wb+z( zrrYqVDf8{Iu2GGbBY2N~6xZE#S&z#`WJR*B?upTA8yi_|nW|hLThvM8L_d$ud3(?W znY|bwNETc> zK#yjWZ^M^+WcaloCu1z9d-h&7?AgL^n3(PwqEN`!sqBv(_lZum$mZ&L*2b4ijwR?~ zyec;uvpa};?6$_@Mh;1R)=%)CkUyiQKErBG7fcRQKEgla$SfEQyGQnuPB?kK#BxmN zDQitmb(o)t_{+yZ>0T3!POnzC_vQD$2O?b4JFpvcxfHx@lO}m&@q6t~>G4?#C=goX znIdl^f+ssyYS#|&hMjrp?j@a>t1;^*Zrb5GCh+<48zb{jfBE$oQw19Lgm>p{qDQA- zoTJKgpU7Jp-}R~>%4uRfmh@dGeJTKP+x!CJKwjILW5==R{2F*v)V57wCgdQOoI6D< zLWkmhKi`Q5L9jdny+;}hfy5U%#d{1wR6ST;Xo}J4p3wC#+sG97>o>uYO|LO#^=QkJ z#^l-ar*ob~9g9H^uxwt(9=AL~dOdly@7u$k9>emgLYt^EB-}nMpR6VQX|`@mbXNyl zqTz6>#8$OKw%g(!%8iPs(JASxP8Dq7Dj4|e^16L@0IdJ}`4tj|#2{b&eP6P6?>kFu zQeYdVT?*TXjW@2}zT;~}l4*XvahAeS>FqD%ti!U%mF`EP?i@(j@ZFeDvnG&upSOnh ztd%|nF6Bv9*ouog^EHGVlQyaCfofHd=04%^RXDUr&{CXq%Q-!AV8U6b@6gyPzU?Iz zPD&UamU$@;H94)o@`6EL#US!Us^ur;il0+5p#y2+hK~qRw^P!(?7OYbq~FQ?_}+hG z>fM-}X~z?kS@%JnCe3wk;nD-eRbNzwZd=nZN0qDrgmT08~j(;hrv=_JaUj>yh`{rsM1EIg3eOb3YGtc4H%Uj>HMfXPs z<3-j1YemK;hl;YN9=f3PP+hu!oa9xP9_wMpwj2AkUU}>**-{!fYOVgiCr&zFozrDs zrCyS{Co}Zr$BqiO8?U!3a+}m@D2^G4m)k#cm5Q?*%dBQORIk#j`?@h;IXa*XFQ5ad zvtTcs<(eTOWBggIh;Bw(B7*g|i;0;#6Xb#F?z+1ARwKEZ=xh;nAs$ogJEaxxltK^g zWx(TOx5Sra=HW^EXsYo+_gIqgWnrug?)WnE;6j#Md>I>$F{P=;XR=wR4A)5bTlf?Q zGWZ$XT-T?iOqT1y+2VpS2+V>qNC;cM*aBGZVl=E2mX)!EmEq#kg4kwzYO zd6|FkHWA`C+dEtOLcql}bR!KW*?3IK<*iwz;FH~s#iVlWbw*R%Pmf7$|BYe`&I;}q ziNr1{_M3_x`R64)XeJ(BeqNvz+lEl>(Z;MsNl`PCfvYvhAC2}vJ@&dV6rNX8%n%qm2>oTnb;-0n;D=RDe zxOn5Uw^#wh#$HHDebqw}C+*ff`|iYap-s2Dax{Ky2&3khoqL^ao1oD0 z)%p$bRhk4!d($xFRN{=WREvsgnjuVf*cPt!HfDOD8I!dC9l!Y_Nj(*9Y0KYew-E3k zgP{tT~}JrC2IZ#&Lz4SaZ}++nH78{B-+A z?q-Q7CEt{n5%97sG5l)97W&I|{9fLw_)1BWY1tt+c&^GvpTPE@Dghp@iS6#^+8cbP z%OW+f-g2|AS#WN7eDJQ=+6Pa@l*IXLYX%JlON?i9p8n7+`xac`(TycP@vuK_A#pV+ zX5!qcp@_A7DL<@^xraZ_N;+ql`E0Xqd_sYsTD|nq5Y3Cls5fRP3JUte$aa zBe&*hWyi5?-j8W}jAdkv%xme91Ahxt|l0lLR3; znnQx#;WSB-ToQzsjVVk94a$*_l@asLxz`Jj0+92t zfRfuG3d58^clHH1&{^;%hA$I(10Xn?Frv&4F`S_l&4qag1R}T%P&(Ma4yYC9%NcVB zb21l`BzU_3;S|I@m~-it-ZbbY0W3T?Sp26TSQ?V&P6sLod^vK-G#5xJ$LklB6X0A30j5`13Ln9za{z}6vlZ!^7mdQZ>=3LMi?DDx7t>tpDm}PpPaS()l z*^3SaH0!@<7&LO(TnyO$;bSr=G*2pnbFXGj3#3B!h2U>Sr!xT#PUhT=zUgVE7~DJl|8cESD+PLq7j literal 0 HcmV?d00001 diff --git a/images/h2prng.ng.pdf b/images/h2prng.ng.pdf new file mode 100644 index 0000000..5b81f6a --- /dev/null +++ b/images/h2prng.ng.pdf @@ -0,0 +1,521 @@ +%!PS-Adobe-3.0 +%%Creator: graphviz version 2.38.0 (20140413.2041) +%%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 232 341 +%%PageOrientation: Portrait +0 0 1 beginpage +gsave +36 36 196 305 boxprim clip newpath +1 1 set_scale 0 rotate 40 40 translate +% 00 +gsave +1 setlinewidth +0 0 0 nodecolor +112 279 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +105 275.3 moveto 14 (00) alignedtext +grestore +% 00->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 136.53 286.75 moveto +147.51 287.49 157 284.91 157 279 curveto +157 275.03 152.72 272.56 146.57 271.59 curveto +stroke +0 0 0 edgecolor +newpath 146.65 268.09 moveto +136.53 271.25 lineto +146.41 275.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 146.65 268.09 moveto +136.53 271.25 lineto +146.41 275.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +157 275.3 moveto 31 (11,22) alignedtext +grestore +% 10 +gsave +1 setlinewidth +0 0 0 nodecolor +27 192 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +20 188.3 moveto 14 (10) alignedtext +grestore +% 00->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 90.75 267.55 moveto +79.79 261.44 66.71 252.97 57 243 curveto +50.12 235.94 44.14 227.02 39.36 218.67 curveto +stroke +0 0 0 edgecolor +newpath 42.31 216.77 moveto +34.5 209.62 lineto +36.15 220.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 42.31 216.77 moveto +34.5 209.62 lineto +36.15 220.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +57 231.8 moveto 14 (21) alignedtext +grestore +% 11 +gsave +1 setlinewidth +0 0 0 nodecolor +112 18 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +105 14.3 moveto 14 (11) alignedtext +grestore +% 00->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 112 260.6 moveto +112 216.46 112 99.83 112 46.42 curveto +stroke +0 0 0 edgecolor +newpath 115.5 46.32 moveto +112 36.32 lineto +108.5 46.32 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 115.5 46.32 moveto +112 36.32 lineto +108.5 46.32 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +112 144.8 moveto 14 (12) alignedtext +grestore +% 10->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 44.85 205.82 moveto +53.14 212.12 62.93 220.05 71 228 curveto +79.24 236.12 87.49 245.81 94.41 254.48 curveto +stroke +0 0 0 edgecolor +newpath 91.68 256.67 moveto +100.59 262.4 lineto +97.2 252.37 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 91.68 256.67 moveto +100.59 262.4 lineto +97.2 252.37 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +84 231.8 moveto 14 (12) alignedtext +grestore +% 10->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 51.53 199.75 moveto +62.51 200.49 72 197.91 72 192 curveto +72 188.03 67.72 185.56 61.57 184.59 curveto +stroke +0 0 0 edgecolor +newpath 61.65 181.09 moveto +51.53 184.25 lineto +61.41 188.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 61.65 181.09 moveto +51.53 184.25 lineto +61.41 188.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +72 188.3 moveto 31 (11,22) alignedtext +grestore +% 01 +gsave +1 setlinewidth +0 0 0 nodecolor +27 105 27 18 ellipse_path stroke +0 0 0 nodecolor +14 /Times-Roman set_font +20 101.3 moveto 14 (01) alignedtext +grestore +% 10->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 16.16 175.06 moveto +10.86 165.37 6.18 152.66 9 141 curveto +9.83 137.58 11.05 134.11 12.48 130.76 curveto +stroke +0 0 0 edgecolor +newpath 15.64 132.27 moveto +16.88 121.75 lineto +9.35 129.2 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 15.64 132.27 moveto +16.88 121.75 lineto +9.35 129.2 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +9 144.8 moveto 14 (21) alignedtext +grestore +% 11->00 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 119.86 35.38 moveto +122.27 41.13 124.64 47.73 126 54 curveto +143.78 136.1 143.78 160.9 126 243 curveto +125.34 246.04 124.45 249.15 123.43 252.21 curveto +stroke +0 0 0 edgecolor +newpath 120.13 251.03 moveto +119.86 261.62 lineto +126.68 253.51 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 120.13 251.03 moveto +119.86 261.62 lineto +126.68 253.51 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +139 144.8 moveto 14 (21) alignedtext +grestore +% 11->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 136.53 25.75 moveto +147.51 26.49 157 23.91 157 18 curveto +157 14.03 152.72 11.56 146.57 10.59 curveto +stroke +0 0 0 edgecolor +newpath 146.65 7.09 moveto +136.53 10.25 lineto +146.41 14.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 146.65 7.09 moveto +136.53 10.25 lineto +146.41 14.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +157 14.3 moveto 31 (11,22) alignedtext +grestore +% 11->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 100.59 34.6 moveto +92.77 44.84 81.88 58.29 71 69 curveto +65.45 74.46 59.09 79.92 52.97 84.84 curveto +stroke +0 0 0 edgecolor +newpath 50.58 82.26 moveto +44.85 91.18 lineto +54.89 87.78 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 50.58 82.26 moveto +44.85 91.18 lineto +54.89 87.78 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +84 57.8 moveto 14 (12) alignedtext +grestore +% 01->10 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 27 123.18 moveto +27 134.81 27 150.42 27 163.73 curveto +stroke +0 0 0 edgecolor +newpath 23.5 163.8 moveto +27 173.8 lineto +30.5 163.8 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 23.5 163.8 moveto +27 173.8 lineto +30.5 163.8 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +27 144.8 moveto 14 (12) alignedtext +grestore +% 01->11 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 34.5 87.38 moveto +39.76 76.96 47.54 63.72 57 54 curveto +64.21 46.6 73.27 40.03 81.95 34.63 curveto +stroke +0 0 0 edgecolor +newpath 83.91 37.54 moveto +90.75 29.45 lineto +80.36 31.5 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 83.91 37.54 moveto +90.75 29.45 lineto +80.36 31.5 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +57 57.8 moveto 14 (21) alignedtext +grestore +% 01->01 +gsave +1 setlinewidth +0 0 0 edgecolor +newpath 51.53 112.75 moveto +62.51 113.49 72 110.91 72 105 curveto +72 101.03 67.72 98.56 61.57 97.59 curveto +stroke +0 0 0 edgecolor +newpath 61.65 94.09 moveto +51.53 97.25 lineto +61.41 101.09 lineto +closepath fill +1 setlinewidth +solid +0 0 0 edgecolor +newpath 61.65 94.09 moveto +51.53 97.25 lineto +61.41 101.09 lineto +closepath stroke +0 0 0 edgecolor +14 /Times-Roman set_font +72 101.3 moveto 31 (11,22) alignedtext +grestore +endpage +showpage +grestore +%%PageTrailer +%%EndPage: 1 +%%Trailer +%%Pages: 1 +%%BoundingBox: 36 36 232 341 +end +restore +%%EOF diff --git a/images/h2prng.pdf b/images/h2prng.pdf new file mode 100644 index 0000000000000000000000000000000000000000..37714bc138c70817ed6209c646fd50ea702ead23 GIT binary patch literal 4412 zcma)A2|QG58;=%DQByGC?8b<)WXrw|LX9yPWkzR4mTsY_Zy3T4gVsa^tI=WnBOta z@Xs1%Dg1^@Yr~P9CT2P{hqJx+s44mt9Ny-6n1=mTJ~C$m{lQshPw&u{%jsgDciS)r7x}$_#S&Zt~*aWtkyrK=F;1kJh#+>7Lv}< zpqwHrT4i#A`jM`WiYeSkosVqG%i*=OG?_gU(%^p@Uy6H}PDF-fUoLf`)W43Rhesw_ zF;U^j-lUJ6A5`R36;3;Cs-^pAJ~6k+Fd6CiY-u^@VVfp8AvNB2A(4+%-#R%eBlhY< zucr9mlCnO}ppgyXDLy-UMej(wP29@%ibzCduD8l~JCZIcjR2g`5}lp6OTMOZolX?_ zqBD0BHdzhmnMvwSRj4b)mo%Ha&oSA0E21&sz|t+DTDAe3d96tievj@IcQEaxIy{@W zNhuc}o{4s|&WR>@`~Sv%*dDcV2F&?T6l(aOvF03VAUH>BNAh)%a9r{6p5Wh6_Py?S z4{|Vjxqou5`BuzuwDTpdU8hyU(3`Ic{#wz}#W|o!`!?Ouw6pQKp(-g9vi!xJr`?X< zk-5~7;a-{}Z8u@5nE%XwQo(M=sn1_@xz$+x{Ck(JCC^?o8^Ij1FMos!AKP{K;B^IF z>%%(5n|x+-lWR(@zGaWAG2xV2@MITe*^pk+itPM}WMg*Ci5(Sqv7yVaR~9HaIu7%@ zeN$N}A7Vzvy8DkmaVbMeZYff2&c4|uwfBafUR2N9PhLZgBOEJypxMo_L52bgv`jJwP z(V&(xmtntNFn{NDUALhRCtnXc7AA!#KK|5eBfdJmhqq#2iCs{y-@8+;FBMNbHP{tV z;ojmI(~%qTSawX=w0Q}t6yxN}sqBA$#A~l!)hp&&r4N=+J&Qec zHAs8Us@(Tu$!$ySc{bC!-|fSiMny~C+IqTEL>32qV{hBK!Albx+CD{IwSE{*)1}lL zZEZPuXB0VX-8ggAWa!ZOs znXJFRgyDs4qt+`8Mny)P2efMoc3Ho{Y!U4TBCX zN!FQ>8^{3&c0zNqCliq|RhLs$*FT<9r9ABA@JDA|PEWKZ>4eNx)6AM~%Zli)Hcge> zNfk!~o#{Qtp3n&9U6^d)Ux;q8csv$XfTy^5S{4woaR|rMfdi2+psNcDpaV_CKobCM zWB_0RG>r#$%%0IEEGB1xwvPrz0|O9+)D9^@pE+Y%^Tq(QV`v~9K-*G%=>o&H zRFDom2P?b}ZAJHHPz_ljz&=QX0dQK{0G>nwJOtWCkWEOP4ZvMxwuP92tf0UJ>zIAM zKq_>^0kR5Gne0H=7A;gLHU~IhkYE+Cw?>fG9{Ldmjc#vh2&>GwX-{Xff{H$853-TI)t);S@#DtI9X8 zM^9PAra?oQZz)sh-s*!&bK+m)MSAcgcHeuyDReP9-~|iOfh7y`MPBR~7EZ>`HEnzg z-U$<-uO}_-Kr>PVc+c+Ld(dvFP?wM|rH&M}CHAST=u?S4U=3=fC#$A&uiZ2>w_|Ki z4=;(7OXr@9yeN{+b%-d6R7mH>8WL<7>gm^FBafR(%7!=wmWF}LL6Ifbr%*PFeGx2C z=nRG+bOsA!>$^N*XLAYX{ofL$99w~?(U*#v4vh(o92xuUT^PTn+z{gw1Bm-GF3R%9 zD`Fj*ACWrg+l%qfjlXuKfVXYqPqy@D2lMiC22d3u0p>%EodFJ`OdI5Kd+V9;ud|#KX*!D1`+;M^VujX=#S-To`@z-<`}2D%C{3bE zmoEj{i7j{n{tltYQQt?_1(lh({faEOUNqD!Z`HfF=2dac)TxLncLj2KQ)9Bli#E!| zE4hSJi{0+kzgxU8s!p+Zp;qNuonZ08SfSIl8c1tuGp??#ez|06dcG z%V7En*liEP$A=D66ht=rFaR3*K+KB+(0Bk%@L0e+SYg@1WDTjo&xIlcX~UHZk8luB z=7xBP_veNLKoH=CB!>M#t>b>a);$vLGHU@TA-vnVv{Z5k%Y?H0EZ; znO~S2fb1L8L2DM4`D}FH4FOwV*Mi{E%|ADVfOH=Ow57o#F!KkXMI_>hfDbSy!)w8Sf)9Wxlwk=3C>r0& zFc`R$zm;JLIH=OUmErMth-$x;VTr`W_mW`1eWyp(TC7LbhG6xr9uB+sUL2MTh3Gpy zy!IkLa0JXEyEr0wv5gpL6TgvEBri(`c&lNZGq+8#r&`u2HvE$u}yz-z;d zD%9hERK_7XDENcJfe}WB^9#e@p2gw-0-Vg2n>o{m1qg5}s022L3UUO9fTE&>P*yg! HF+uzvxi?qb literal 0 HcmV?d00001 diff --git a/images/h3prng.pdf b/images/h3prng.pdf new file mode 100644 index 0000000000000000000000000000000000000000..20222781f66a1d857b5b8ec2fc6e886c68dfce81 GIT binary patch literal 5005 zcma)A2{=@H8_$;8pe%Lm9NEe2GnVX(B}>*Up$0R|&u`R+Ny}8@ZXuusJ1*6uRu|o&9=&p$QIANgD#T?5W*S^i3kmdb(6y zI3UE~{)}CHwc^#2N^r@ojO4%eHy#-Tt=Ir4p(?ye($mYeo-Fu&56A)(1FMTu*iq;CDDpw6N#3 zjOr6%{ioH}uxfjFFS71f5+8n)B&mo(RupIlrVY-M+-MTl&Ul=u%CUZoQn1XNQ$YrK z)a}lZOueKccT)$OsIDV!*LQB19+@?L{C1GT zq&YWBcEa)CW!_04BR$w9Lr;c60#DHJ?Op4eCWIdEW!+X6ilMGQAJr!wWAl$bA*-^6W7xJsde) z<=!(oIb8#9`6wSt5qMD(85dTEP`p1{aUrZiq->M1u4#VZbmSvey}i5hB!Tzpwc(;f zgtUd)VSm#keCokubYoAfa*Fdh)w;p5IC-rTy;DciFY=xrFu~znT8pa%5;DqL%=vt! ztayB;INw;_=!?&NVv}UGujrylLkc-;sxWjaUcs9oU0`Yw&>fb1vD1nEAWrGp&HC*o zx|cKpcZt}7jCrp0@~dK9>%J$#HjkK{iLcxlZntUZC{A_NifKbf8LMuVTSR@CNw|%- zT`FsY%B^L6+D0<{AM2#b3p_;v191I!I^v?nueWXE-peQH;fNYOA?@?Vz)HI{(N&`8 zWe>@WUqbrM2n%*v;?QW>_DM-?d-z<*j%*x$@O_Jmx+PzCpQ*cf zQi|f8xDM4}`@;G2wXk-|p)E3h0yE13p0D$W(d(e>4oDc!RT&POiA zoEnLCGDlq`gc!iSGCxJnZjRzFjhM~CAzHKN2jq_h!Lfah^*_{6H9t(>3g$s+pn7*a zRVXj`FD#UIo1y=v@3n`X?_r%SGs0PRRs3fPf62Na80*wX zFkWvc>b)~9C8P6cFmnL@A-$wXe@{O-iGVJ=Tl7g1+?|!$SuxUs1M*xM#G{q5-iZ1O zTd~~Y%F0qDG1wDzr#fG~rZpHG#j40+{^a4~i1ut|Y^g_^Zub`864F&1d=nmb6{eN= z)*~nHbd`Pe=d9y_MbE#PCVin$7^*`tHHq6p`ETmoD$FVn9&fjprm{}7bMzU`cZLle zKVquFRDH!PIgeLRjxBxid_=5slQm0tEi{`eKy6abEo7mqv^HyjIUP%AsVb{Hfu5oxC@$&7pfm zjBAEGcAYA1dne$P3zMNTDj&75t`-*-V=At3Uq5&Mb;1u%?kfZWmmpuZY^Bg`Vld-x znET-9DRs}W9c39QSIey{tb*EkC3H7rzU!|l))9-!n(X#Osw#5(N z%OA{KI=1y?@ZB;^^YHCdg)e%Kzf@49c@=cr$~NevzLz{2ZlU|Z=*J^p*RhsuDJ}yg z30X!R&1J{btDpEC%b3|ueD55|GP;EJ zmFeeq*q1c*+W;?pAC+r!)nPAl2ia;m`ud59aSx5?i>h^Q{v%A>SV#Lf$&z{K#RKd8 zi7mK2329CpaC84SqxYK>4dZW?f4L^bof-T#x^8Q&l-;QAOuuJaqukRgJyBt|3u8vD z->K-8=90S_4yxL2#5|e)TSfPj(hivCje05*UM--{n{oPask8EtM#<`cd;FVS5PB|x;OL<_HUFn8VdorPeXCiTJ)C3Uu20h&XdJ0ah@$3 z4BDop4yJX%5({?KC&*>i36r#l-53w~_p&F3b?p)QQO4vsr=}K)IZS5M9j^H{b?#j!HfPr`kKSVjX$#&vgOp}M4 zcILzTX;%GRE(Jv;*bFNJkLE0^ev{^OtA5ocx8@Y9eu7-DT{CdzVHcsfxp`n6S7y1g z3n04gvz?^EFHBl0cu>HQ%V~vLSuqys6oCf*6GfrGyyO96_{D74g z4InT80_(Y=@}QQ|7An@D81%cKTR>?jbD=9VNR-7(48SG|gkk~ILV^CbG^2iz>*(Ll zb*%3ZT%bY7>vIGAsMSCqLyOo$VEHgHC*CC5Y1e@i}Z-aLNn{kHj>*K(q4+ZWK_Y_N z0JVb$cmZ0q{Kv-73p$sZB>3I{;wi{`u;9?&1Yp+4a2jNgCkUjra-tg^s_$Rq~R7c!Y`&Ein=??d4X5*daB z&=?qU`2g@Z90muFfkh09hO!kp0NN6UMq)q*{){1!P%8h7p^+%iYd>QcZ8TUNe#X!! zELcERVHiAU(kcvxTPugt0tvTDPV*PfYHF?BpSI>2J1|J(8oe0MkkvXcXf)U-e%6b@ zLVbKS26}TfhC{Bg1B26A<7bREa*YlwT64{_SS)gdpP39IC6L5mzcF*9M3A8PLiBf_ m)0qI9CkyFjNh8w%HgDNOWC)YUV6qv31!r8Cq9S3Z8SH=a-e$J| literal 0 HcmV?d00001 diff --git a/images/iter_f.dot b/images/iter_f.dot new file mode 100644 index 0000000..3f3ab3a --- /dev/null +++ b/images/iter_f.dot @@ -0,0 +1,42 @@ +digraph { +000 [shape="none",label="000", pos="2,4!"] +001 [shape="none",label="001", pos="0,6!"] +010 [shape="none",label="010", pos="4,4!"] +011 [shape="none",label="011", pos="6,6!"] +100 [shape="none",label="100", pos="2,2!"] +101 [shape="none",label="101", pos="0,0!"] +110 [shape="none",label="110", pos="4,2!"] +111 [shape="none",label="111", pos="6,0!"] +000:nw -> 000:sw [headlabel="∅,{1}", labeldistance=1.5,labelangle=-90] +000 -> 001 [headlabel="{3}{1,3}", labeldistance=5.0,labelangle=-15] +000 -> 010 [headlabel="{2}{1,2}", labeldistance=5.0,labelangle=15] +000 -> 011 [headlabel="{2,3}{1,2,3}", labeldistance=5.0,labelangle=-15] +001 -> 000 [headlabel="{3}{2,3}", labeldistance=7.0,labelangle=-15] +001:nw -> 001:sw [headlabel="∅,{2}", labeldistance=1.5,labelangle=-90] +001 -> 100 [headlabel="{1,3}{1,2,3}", labeldistance=7.0,labelangle=15] +001 -> 101 [headlabel="{1}{1,2}", labeldistance=7.0,labelangle=15] +010 -> 010 [headlabel="∅,{2}", labeldistance=2.0,labelangle=-15] +010 -> 011 [headlabel="{3}{2,3}", labeldistance=5.0,labelangle=-15] +010 -> 110 [headlabel="{1}{1,2}", labeldistance=5.0,labelangle=-15] +010 -> 111 [headlabel="{1,3}{1,2,3}", labeldistance=5.0,labelangle=-15] +011 -> 000 [headlabel="{2,3}{1,2,3}", labeldistance=7.0,labelangle=-15] +011 -> 001 [headlabel="{2}{1,2}", labeldistance=7.0,labelangle=15] +011 -> 010 [headlabel="{3}{1,3}", labeldistance=7.0,labelangle=-15] +011:ne -> 011:se [headlabel="∅,{1}", labeldistance=1.5,labelangle=90] +100 -> 000 [headlabel="{1}{1,3}", labeldistance=5.0,labelangle=0] +100 -> 010 [headlabel="{1,2}{1,2,3}", labeldistance=5.0,labelangle=-15] +100:nw -> 100:sw [headlabel="∅,{3}", labeldistance=1.5,labelangle=-90] +100 -> 110 [headlabel="{2}{2,3}", labeldistance=5.0,labelangle=-15] +101 -> 100 [headlabel="{3}{1,3}", labeldistance=7.0,labelangle=-15] +101:nw -> 101:sw [headlabel="∅,{1}", labeldistance=1.5,labelangle=-90] +101 -> 110 [headlabel="{2,3}{1,2,3}", labeldistance=10.0,labelangle=-5] +101 -> 111 [headlabel="{2}{1,2}", labeldistance=7.0,labelangle=-15] +110 -> 100 [headlabel="{2}{1,2}", labeldistance=5.0,labelangle=-15] +110 -> 101 [headlabel="{2,3}{1,2,3}", labeldistance=5.0,labelangle=-15] +110 -> 110 [headlabel="∅,{1}", labeldistance=2.0,labelangle=90] +110 -> 111 [headlabel="{3}{1,3}", labeldistance=5.0,labelangle=15] +111:ne -> 001:ne [headlabel="{1,2}{1,2,3}", labeldistance=5.0,labelangle=-15] +111 -> 011 [headlabel="{1}{1,3}", labeldistance=7.0,labelangle=15] +111 -> 101 [headlabel="{2}{2,3}", labeldistance=7.0,labelangle=-15] +111:ne -> 111:se [headlabel="∅,{3}", labeldistance=1.5,labelangle=90] +} diff --git a/images/iter_f.pdf b/images/iter_f.pdf new file mode 100644 index 0000000000000000000000000000000000000000..31a045df52325d1b3414e8707f3fd21a13f56e47 GIT binary patch literal 10885 zcmc(lcUTi!_wP|b%8{mY1p_F(B!SS2^xk_XK!8vJgx&;HK%|O*bfk9>6r_pLJ4o*x z6cD5%O}Gh`gJwAl3L!keVy!qb_n zPxbZ9%c9$1&SNcK3yg&~N^>1@OjKx9Lj25;R0}T3#>u6g#~UVtqB(wP77J;!_Y><6 z8&pKUS%saS>G&LNcBq&vZgS>s)~D6&4n{I=56P~K7IJD-iuGpWyU+a|04&z zmMfiw!8oL}g9h!YatKYsg8^uGAk!YSdk;5jLIc{zVi9r@6^#S09A zsyz+!BV==zZbMwT!zia7bs_b{?noic1J;V)J8AX4mx?HvsF##Ydm2y+!`IdROgsnQ z=2%khr!d07@tML+`4XtClg_HlO-9&`*Vv!vM^|PJgH5H1zm87%vE8M1$frvX zdukT`-PczW3hv=?hybLfBMghi@8atYZ_eY2l1`RDljv|XFgG7e@OJFqo67jAY=-$^ z3)oAgpnPOJHA3;3_||-tq@%IAG}|cc^{bT-?_HwsSlKQuuvtc{PEK_+C@!psZfT`qdr! zk<^jb+4mQ`u*bLbc!-A>%&PhK;6QuDWDn0GTxNYaQv!22j8R=;I`Hg$DU5kNBAi#o zM6K!T5n+M;tO0FCgt1o)H}bANTJtVwNK9-ePS?D(6lS3FD5tqssahidODYXEX^b~? zWs3x+kv$8i-69Ge%9$I!TX@8eale}ZUP_e*E;A!u%hG8wTFsMMw(tae@dB$Z@vsSF z)M5nshXrNA@w-DM=j_KiZsvOuRH;h2CH6kJ5*o)aTIQ4bDbaWfYL~>=E^fa|q!W3W zwTp;1YJukA)5#rO5{0Vu@#90M2ORpGe9;T<=N`)&(oTJ8*$j++8FBB?W4vbhk|35W z3kIGipl&9Kr$Ihly8GI#9-pJU=iB;++BY_2u*%b-Gr!EHL2m3V2oLueB@SWDCnE z%O?N^|6r|*vRgO2^S=6T7`NCxTyNkABz;A9GRiR!!yWd*`?jfA+v5!G*J_MfLEn>pp7BzQp-&9 ze9=QAkFu8vTuJo^@xmjR+nbwm787`hSwoP{B6iJ{8$*(@>*H-k^ID9^P$KX0^^|Rb z-D}GX2smXX$HIwz&Gb6QIKaQ)HIvt~JK(-7+ExzRwFU+`ReC&iGQtS^ghp{+nP;yf za7;IR)-(K51T;80F0-UB!M13{OW*RXz(PIuO#%4}^Jg98liL{J>*NaEJaKMNp^u;FvH?F;ehDBNk<`_N9iNovS2= z0IVx9Fx$NI)bZLxA~tL4dr5-C>He6C)->SA^z~P?qptU?yQ1JrO5MRzlzBWoF2gI2 z>uyE5=6FhYrBW+>Zsc(*tZ-)a-XGWPte9rOIG8{zixzEY2UvKFBbEmZYPIxh%MGe` z4K}n>KML2_uHr7C?l0?_uF%8FMt;TR*!mp4k_cHYZPa^9%4M;^iv z;YEHW8;?ySUdzczhkRI`DzupjwZx}3Q;);|e#G5siA*n)`iM(y0#u=>(A+TV5Q2Mg zlFzSgWi+c<(GWK-OSa2O<;9uOY@Sf;V!pXI3z%0t6WNX!shYnI85hvWdCI9hJpA%e zu~VP|_8VpLSsQzUyXVQeO+}5z;X1Jc6jIw8a~JCYPlO#ygdQ z3fWXUTw8)O z^X+a#GCZdejs4~=Fo2nvac>9&f|!9`8>!R8&btM_zwLK2?DdtVZdG&!*Y6~oNpfV> ztlLyqCn&j*@p0<6nI6qx&Y+f=y6gc_rh^&$o7rRG2NK)&LG2>d~CCXW4HxKQZ8oFrs8CFE0HkqfWUsSwbp9 z?yr@0ZqjgiXBO*pAw)*u&W-wG3AgJ+#x=KiKai*2-SQNi4P_fs1_CVah()|`;9iw9 zW(eqv(AgqNWQy+AE2O`k-r%-)FK?)^D*BqsMi+A6%vjozpT) z<-Gb0b4WhnPQ>uXz{31oFICvk3@!x$W}6a@m50@(x$1;?pUlx)c3Spaio}QsBH+~_ z?attn6y?kvvse42Z;jVwP}3}hAsgRG zl)x>%R*Zpj^@s&vIuuQsP5oBDf~_&*P5-|ssZ*!SpP44oVzJ?gZZ@KAbl=colb zL8Ta4lKL&1wyu=oIIhj4tv6P1Ul~@9f5Mx4exN4VJmmf1%hdDdABF$mW z0CX1Bf14E_s{M!B=l>Pfe^UGCVZLJl2*Az7!~GBWKdj^Jqd8n*eBxu(cPBxpSJCo1 zL&BYBk8VifM264?JvYZ#PA8LlkD;XC5~i6h`EW;;9_O-@>{YyLWY4DZ0g1BqStOad z9P&P-NLz)KQo?+x?O|!DB$jKd%A;XVXH5Kb&g*MV@*ZnZEzV|?6B;24I&pdITgKknbE||l(#wYtI&JO0u(=~Iq3sD#+ z;~KuKA4jcFs57#r!M3P(A81qh_S3-x?ubg2?PS{-`7>z*Ei)lg4$yFn^!hBLXQPTM{Rw$rI+AtO=?TdWBB&*k?U8NKS}vj zu=lXDpN=W;{7?SF!G_SLvdhCyRSJvXUo)KjctgVtU;%B>_ z6;3g8B(;R~0S)zdR(r6ORZiTv6WQ*7{v@*7*!x5eGQTd6_>b@}JG7oTjF}Urk ztnb9eO;Gp0(+w>iCB^zI%L&_uEmD9A>B};9K3NdlTFg@_IV;?_tJ5bcit+HrN(YxtNfE4=QvptfQqwa?@nze(MZKhpZD_fhgG*i zv191%>iUho)yZXg`}+2?r)e4Ui$*png#_7#2HGwjOH~D{M`hS*-K}=hvm+aKHma8I z))Xaqb1vS!K08`6s zkgF6a*c40W@}$dgSg#BHn&U42|T3Ckj==I~K`H`2{#V(yN&V zr-zW~t8sG?T%X*Bv7T?99d`FpocEkY3~dV{v4&4%p0Yxq=03gB4mM-4BoVXF?MH6~ zcitFO)*KM1>}Fk0MyLdgZoN;q;XsMlbKg!H8?{x5y!1tQ)V*ZX<10PAHg;K#R`;5t zHk*ZMlevHJ;Fj3?v%`CCuF4g>QH2_@?PMIesYyD(B0dA)*aD|UxZt%9`a%g6HC^xq z$mG|8(czO>ujSq+I?ri*m&e;u1?mc2H=CAaHuJsh&uZz)a4nTbE4k7VKW>-Rt8O(I zo#+gW3=^{RE$yGJ&3#P`gAzFP_E>b&cy)_*r#uazrKuh2;K(+%JZ-P%VqTvr(a@!* z7rTL*>T)HH?ds&9_c}!rRd;i}E`vV)QM%Usc9Le~fEICJ-IhYP9;jO{X8*3`tf6me zvXxPBY1~&B0%_nnFzpqT$}HTqD$@0q(lwz=__KAUw^3_Nw`(fnN{FI2sa8UAYs+Gu zMfstQKoQyXqzdw5hdHj?yyMn3-uov*ox{Shn}2=BQv9^3$z@F%uxH)rqlVa0j zGhnJNAYjE)2?~;7GxKhGAsoAr{d~j32(xrMXpBBligk3$)HmUC;lglfLatG2>8`Ko z(FEk|>t9tJe(pr)&z~^mC<`>~W7*_dmZfD=Y0vf~zI2P?`S7-gpF`R43t2frG$mI< z2zevrUahhj18G^@io1HIh?-dNm`uLo6ZOJCllY`PiQ`*uHT+aIbFRNt-W(xcb`Cap*dzHKU8SwF|bg5Mr?W>YQ;8?oM> zxHVEoR|_W`h1qR>WD{=b7iJt8gnLoc@TBOsz*}7(h-B{PeHhs~AcsS4owKeNCVkpW z7f4xxKfNb^vq2ytb+iU@kQ6BHDWKiAYoM({`nqob?xer#8OvmT(&E%_J1zzl2y|FL zoQm0f*xhH`TO~PtaEUDga58fv#XO(5kiz@*h|F7C);+0=6p;_)dJeEzPATH;#NgNb zVR=ERpDG```&!e2S#~Lje;^MMT2sum-!GIVtb3CJ(hnvXOqnXo&0PVI(n*RPkTlsc zKTX^2w*1CsPVhu}gKMo-Q)I+;FEZX1IRFhEO2?&Ig$QsvOTTFHbI$%cd{iAse=fC0 zrR{*-^F>yFdE*vEyirH)+$q88sz2pudeV{AyH1Zv$EBk2*qMlTDoFw>t`iygMXaSu z2u(A{=UgTBtg+QrtF~TO_fNipu!UJBMvl0&K4I^At^=R#hz*-po$^%;H8Cw!V~4tz zxyTi?$oytS`VM+E!;b~8ol~Zozh^V6+?LxEE4RW7Dp+|ku+q{7yf$tIz zxhc~gInFe<5gM_IY9BH^B9vGOpW`Gx)ti5~?eXr~CUf2ACc#gg%YwAYivgcHw+{?5 zmnVtqAXHYQXIWc0gnljyiZ~8TrwswKymRg{TLyu%TU)c-b1r@RJ1$qeO4{;GtU5LD z-t{(@k{Ih8W;gmVy97J#NLC8vJJQ{Jw>1w5e9k+z+(lCt6T}g?h{wrN_rg(eUX(O~ z<Y%RJPYcF&?{}xQ!Wjfk{!aimnP>4Arg3^`13Cs z2l1%!MAbZ4{BJWZzJHb@MD+gI2EkEQh#U3<-%2G;s;Y+}^j)Jl!MeuSiFNtZ=cde# zLp2O2&2@r#Q4)QF>##y`1-iuBPF)`{XvWRkWv0f==YnxPbfNA{a$mG@?n22`CP*85 zsXLILNXMRr-IjdmJ4sw^1T}amj}UxdZ@X{$jQOD!&hb9Ojc`1JH(}8Rq?KWf64!Rq zZOe{Mc&f)kHYZ<(kS1LoYge@AE^COuCLJk#)wPfJdEMh4w78K9>-_yUeEgmJfk9V& zIQ@_Do)__!=|f{1J1vT2n|*PsbfBJ?uEbL}8m5VdSlBcUOB$mMr?MS$-zv`NMQk#$ zA>LE74KYoX5UExv&1(m)ZR?UWyt%HH{ZbVg(0JO3$uIh#6LTv1W89lVpbC_uROrn$ zQjVCvB;p7gZZRTK6IdLyLEN>2RYT@DUy;p{>1IuK>tuNzQ)u6C#itp#)XTZ(0r_iF{l%Zq_Ym>b# zZ3yoqzGTQhMO(@ZnhIbIO4xZ~3+k2(fIq`x2HH~;M3qK8e_+^}@Y$c&KN+W-Qrrzg zPi_nNkS4Gj2i!Sl*-#9;H(a@{A0RvJ+UB6c@u5Om7 zs4lzI9|C{Le23z(&f`U>6P`9B+oiL<4^aYE{(lt(E|?ER>C-;Cq)wDV_cC2A?C@N5 zWtRH=Xk3vWhQI@G-M=9SEy9075Fao1PY3~_apDiX4*Hur{*z!wA;7QO^G2$*h-LuM z`q2}1&KBITP}`{Nm4T{u38$S)6lAy6ui-2<`rW3<4UM_%7N0T>dv4tJynh^XkKPLc zy=;;%dfDj$7b31bw;_}1OQ-f~5`Z=&x|62re< zCcM7}OL=xQUu}@4k+5XtIuLyAMgJ1A6kOLq8lb)FImGWU=+s*&+A>N^#;R3VQ2Jn6Fj&8{Q zY@jEIT2C-A0L_TMGb0+Af3Csrq>A>v7(m0-%;kcOHBnTG-gaRXhdRU1F8^Jw;7Df| z32P|wXDSq-KiVMh_gSEK_4m<0W#uA1G?+>uP!%aS!V18t14oDim@9N^*t@%zC7{fBxU z=>J~O`yKJYJgBww`z2&p(^gY+lyv6n{jc2^P1l|~N#Z^L5FCn=&@tIOz+7Yn?Eo7p zHDjD43&mOvGnm3No;CwO36l2|!pp8|2$o5!g(=x^m&x9)pWv1&mQI=&XwH(}$V>X7 zR$HSzYIE+kpX}W$Jo{$WJH=I&K0~#DAxf{t!bzwngjy^M(q*>!V0@Q+=A8uxG3H>& z_->rHpTJZ{&jqI=V!f3M&=dv}-s8r>f-Q zlJp}cpw@CdWG|iu7U?H9*NDFST{ZNe8JXO;yQn=Wv6Uz3jrM#?gP`$`a zA5*iSA?C9FESm*jUC73-`|qsT6t6Z@KaOVELOv{Yb?mv@Wt$TKl+l>C)L;Zn?T zP>+7v10SWXK6U!EDfO3TggU!%O@oWkNy;Bd>hra1vx9Skr|ZH-#TgvNHD||k)550= zj^28UxRLk7DO)$?#ZJKL71)QeHi(u;z0!d_$20}$xsUiWDr`URlgzt)AQiZq_&JZ7 z{VMzhvypBFVXU%Fh4=)kh_p3_{i9*CDA4$r?b6NSRx4?27!|2>u$q~s_3Bs-jgFv2 z_>(-XI;Ja&@Ip7~HJe=9*HnSWEY()4H99+fCO)o@eXnRyWc6A@ zn~(3!A6(s}?x}m#Mkke0%~kq=CB#s6lD(MhIYcc3Q?OD(FvC@!M~y3`@y$!3+i-|< zM%f^RimSVz|Mh|!v-n~+Lv;)|DzL3!A8PA|nELfs%GJzLnCm02vPQ>y@B8GpD+F7x zSH!Ci$`)V!e0T5#cbq`cjd0B}a>5ao{KULlP1YsJEO6e9bdtk7WufW((dhh=5ZE&( zW1Eseo|VzOE7e13b*-NUY>~uAj}HvkJN--gUw90b)-rmWj(bXN-&RzRrQCA>&b)3t zfj^n87pku)w3UBKoSAc^#VI;Pd%r2g<4hE{FZWs^cQ(_EpSRr?;Zk!2WFRY3v^fzj z`{~$}V7aO4J7gDcdh=})eKHf<5eCcQ#8>6&OXcz{Uh_}fjde3sA}RJE`vmE8d`}Ht z9;BUrwsP30l??MI_l-%)>qkKgFi(P^`6RLUO5Xvr8gxqY6au=fqihxz676 zJrA0#-3lSR%_V|daMwC~iT@6kOuGL{i_h6BSwJIjaM5wiB21u#kMf}j*Zr2myNl#u z1hgmJK#GN!f&H&v!NRE|brTbYM zo1*w+Qj^vEyxy$h9sWsSxUWO?aQ(tM$9fmf4APu)kx^tFTGz3~b-#OTqapH^hxv1Z zxAP4pWVsW|(xEp>6$VPNUq0KGXeDU1RkpLLtLaHMR%+tGzCS1SDv$eQ%eQreecp!E zT!AljU62ZQis2y@H5MzzEGT*DU zwZ^QX4F6_fc+IEjf)WbX@z!00ovF~*b<_P@i{lM>v0&Ra({Efn6*GZWcDjts0)!*- zxg#}dH$os`!zwZb!(qAf+rrWib5imozb7GWiEyVl$25O10=#c<)Z(Oz%82b-5cFqXn(R;4~*|YGQ(QTXeUJ%VEqC z$bc4;!W@7(q=EVHOC*8wA$ivOl2kNSim~k)&Z=Y7Sc&;~UUaj8bs^K5H0Dq6BS8$J zHU%AFGD<>?@pq!-!a{B+LdtG3G*1j;-dNnAX!95gE)!V-(+p?~NnBcb4eh>T!9`;s z1f0mHafI&W;Xo!r)aW;CG~IMCr6-=YP&81auBta(Y3~MV<@`n2WXICf47~XzQlf?$ zE@96S4jKxg&F6tMM`+%>n)|4rfk9my#DsqZyK49z;nh9&f=j5|S{Wwg2KzT3TJT0s z@x+o`dV}vv84@N!EE^?oBl+>y7w#BN>f*`RWo~=X1P5l#n2sg{8Ca5BUS1z01co0H z-<4MDU+HxO)qs*S<}4)Ti=XlX3yJ0f9zqEt)!n44tb=75T5-6DJ8_6Bh=PW(La~Ez z@T)IP)3WIrt7)t^)H30Vt zALUJu?FBzp_=vCE#}VP7jq$=^J?e^*<8cka*Z!9|dk?wPgXCSQ`Sy0E3gsLur9WWR z?5L)^ zIfSJHIyiKRP90_iN6``rhs03DJ=g^Rp=GBE(gKD=3wS0u3lzD)T|9qn(r|Tjw1e5B zdFFyvew4QUgaNdI|6Wwn0T=*LVxI>H1n}{K07gc?mA!th2Xrj|(@fF!?_Bi1P4OpX z062d}%`SU!7`_9T1r$Y6sGOnE19SmX-wT1isrK(xNYs>muFN0n_3!x5#m4XJO#yC! z-qXcIf0YznQE37FHbKzO8weK#QPk6UC~gHXnM2`72LOlz1m*w(n5I2mpidfWKY<9tZ@5zLtRRHV_cRh2lN*3xN1x1A=+MsBHYx1_Ywctv_sFULfj% z`cFR|Uf{p{`1w)A+CTije2{K(2qq!UN<%rQ;7jE`Ai5{bA!qU&Q}u z;{|d3D`tMwV-$b-@q@Vj6$?K%_rJ#A=SE#={uqOw_g^ui^34C|JU~D$@NeU~Afc$+ z1IUX9MK$1FF!XUlpTp`74laO;7N~uWW F{U2{rj{5)r literal 0 HcmV?d00001 diff --git a/images/iter_f0_chaos.dot b/images/iter_f0_chaos.dot new file mode 100644 index 0000000..2085927 --- /dev/null +++ b/images/iter_f0_chaos.dot @@ -0,0 +1,45 @@ +digraph { +000 [shape="none"label="000", pos="10,10!"]; +001 [shape="none"label="001", pos="11.7320508076,11!"]; +010 [shape="none", label="010", pos="12,10!"]; +011 [shape="none", label="011", pos="13.7320508076,11!"]; +100 [shape="none", label="100", pos="10,8!"]; +101 [shape="none", label="101", pos="11.7320508076,9!"]; +110 [shape="none", label="110", pos="12,8!"]; +111 [shape="none", label="111", pos="13.7320508076,9!"]; + 000 -> 000 [color="blue"] + 000 -> 010; + 000 -> 001; + 010 -> 010 [color="blue"] + 010 -> 110; + 010 -> 011; + 001 -> 000; + 001 -> 001 [color="blue"] + 001 -> 101; + 101 -> 101 [color="blue"] + 101 -> 100; + 101 -> 111; + 110 -> 110 [color="blue"] + 110 -> 100; + 110 -> 111; + 011 -> 010; + 011 -> 001; + 011 -> 011 [color="blue"] + 100 -> 000; + 100 -> 100 [color="blue"] + 100 -> 110 + 111 -> 111 [color="blue"] + 111 -> 011; + 111 -> 101 +/* + 000 -> 100 [style="dashed"] + 100 -> 101 [style="dashed"] + 101 -> 001 [style="dashed"] + 001 -> 011 [style="dashed"] + 011 -> 111 [style="dashed"] + 111 -> 110 [style="dashed"] + 110 -> 010 [style="dashed"] + 010 -> 000 [style="dashed"] +*/ + +} diff --git a/images/iter_f0_chaos_ini.dot b/images/iter_f0_chaos_ini.dot new file mode 100644 index 0000000..0650a0b --- /dev/null +++ b/images/iter_f0_chaos_ini.dot @@ -0,0 +1,45 @@ +digraph { +000 [shape="none"label="000"] +001 [shape="none"label="001"] +010 [shape="none", label="010"] +011 [shape="none", label="011"] +100 [shape="none", label="100"] +101 [shape="none", label="101"] +110 [shape="none", label="110"] +111 [shape="none", label="111"] + 000 -> 000 [color="blue"] + 000 -> 010; + 000 -> 001; + 010 -> 010 [color="blue"] + 010 -> 110; + 010 -> 011; + 001 -> 000; + 001 -> 001 [color="blue"] + 001 -> 101; + 101 -> 101 [color="blue"] + 101 -> 100; + 101 -> 111; + 110 -> 110 [color="blue"] + 110 -> 100; + 110 -> 111; + 011 -> 010; + 011 -> 001; + 011 -> 011 [color="blue"] + 100 -> 000; + 100 -> 100 [color="blue"] + 100 -> 110 + 111 -> 111 [color="blue"] + 111 -> 011; + 111 -> 101 +/* + 000 -> 100 [style="dashed"] + 100 -> 101 [style="dashed"] + 101 -> 001 [style="dashed"] + 001 -> 011 [style="dashed"] + 011 -> 111 [style="dashed"] + 111 -> 110 [style="dashed"] + 110 -> 010 [style="dashed"] + 010 -> 000 [style="dashed"] +*/ + +} diff --git a/images/iter_f0b.dot b/images/iter_f0b.dot new file mode 100644 index 0000000..e00de78 --- /dev/null +++ b/images/iter_f0b.dot @@ -0,0 +1,45 @@ +digraph { +000 [shape="none"label="000", pos="10,10!"]; +001 [shape="none"label="001", pos="11.7320508076,11!"]; +010 [shape="none", label="010", pos="12,10!"]; +011 [shape="none", label="011", pos="13.7320508076,11!"]; +100 [shape="none", label="100", pos="10,8!"]; +101 [shape="none", label="101", pos="11.7320508076,9!"]; +110 [shape="none", label="110", pos="12,8!"]; +111 [shape="none", label="111", pos="13.7320508076,9!"]; + 000 -> 000:w; + 000 -> 010; + 000 -> 001; + 010 -> 010; + 010 -> 110; + 010 -> 011; + 001 -> 000; + 001 -> 001:w; + 001 -> 101; + 101 -> 101:w; + 101 -> 100; + 101 -> 111; + 110 -> 110; + 110 -> 100; + 110 -> 111; + 011 -> 010; + 011 -> 001; + 011 -> 011; + 100 -> 000; + 100 -> 101; + 100 -> 100:w; + 111 -> 110; + 111 -> 011; + 111 -> 111; +/* + 000 -> 100 [style="dashed"] + 100 -> 101 [style="dashed"] + 101 -> 001 [style="dashed"] + 001 -> 011 [style="dashed"] + 011 -> 111 [style="dashed"] + 111 -> 110 [style="dashed"] + 110 -> 010 [style="dashed"] + 010 -> 000 [style="dashed"] +*/ + +} diff --git a/images/iter_f0b.pdf b/images/iter_f0b.pdf new file mode 100644 index 0000000000000000000000000000000000000000..8f368b0f380f0965bd861f70864d9d440e273489 GIT binary patch literal 5446 zcma)A2|Sct`>q$oghE6~kMLT0F^gd)BHN5*kgFX%Ga5ruMk*m=&7LJ|8H6N7 zDPn9BpNJ5Wl2GckRHD8aEpNU3|G(e&%zCcpKF@v5eeQG4bsePxCMb1?1{|bR^ZM#1 z5DWkVR1a^Eo*tlyAyPx-ikO^A3Zfe6yq2L;e+M4TTe zI4j#xmnx^TWp>V~5(Daaa!B8m&u|@|s;rP1?xx_gHbX$5((d^jDK%dA;lt2nf?(3k zV|uh(y09$G;S=-33tl$~3Xs9)Nw>yTCTDUdb>_QKsIUfxHkEN~a{lhV&x@p$kJNz4 zos2J|`X{xz_Rf75q))kYWUoc7=S$kx#T5<0o^WV?3StkT8$*4GbKW9u7* z1CHGd{m{4?d||<+IXC{;+>P8f%d9q)BX<)->OC%y=Dki{Qz}{pUJ`EK2M6E-SXdvWNQTQ#1E1=!>*_PlhMf)zO55oqXwa4kJ#SGeW+|S564qxZt+~ zL1Bd-SaXyLwe-mtsIL6|_CvOa5G;b$xa=$pJE$x`7K>3o`^2P7Q^f+9Nd%uzv^Il9 zi--%OPui}yWZ_4eQ}rC9M?tTSs=}r#Y`h;L{wzAuf}2Yyk9qxcKt4kCwybb*xS z4xjpvC|27`n!erB&@wwCp(HwWpuVNVeo40KVLp0Cri)sl;FkiyXN8z1TKXmDcAMzy zN0g>jB?7&@-0|C5gsdy>Me7<|J=5O2`C0IJsk(ddER{^5kks7+`tOzhIGc8@HMyF& zD;}|R&-g57XwRE!w~SP!!@KnC-K=0kC2$c`foNW-18y)S?!s8n)mX`Ue$Th3V~ds@ zWeTl&mHt4myv;r`d;C(*D;|)NBr3?HnEN{iY^e1Se{3Ofv%z8a3vbne3yyiT(qvT- zNfrMTmkQ0JM!(-l6`^|InCWzn`wDF2q0_rh z$v!2W#haQnKB(>Xz;fRRI@`dVf$GeA7!Y zA1l;#@}QQDZOKE*`jrmz#?|nhrIq^QgwT?#R{0&0@9Dtx*z=jz>xu)<7`C*>o}3dO zkdbi9(!?z{w~Z&6l`JjWww|?w>#~gFK>~*(Z#v`~+;?=uyh=6-O>}GB{O8LFD9Up^3xQ#myLG-^ag)cR2S^iwm}yPczNk<&(wxyCoQdFGyBbF??=Hq6rcaDV-Y zepeSPtGL+rY>T324Pu#a1EGkkLY%Glx`yC~WU0qV9lwTX{tSvS&T6Pa)OAvhE-)*q z5xsXl=C>g0bp-l12=rm>*U2MP`=cBb-A)wLUg~^ON(-`~y?um@WLVxvpB5QZus_mP z=Q3&Jo>=Y|ZpXIg=U>=^p+}uJaWhW|B~`vPOjgZ1lYh=4^_|AwRmAsy=}tt3ZSN95 zl?1p)1`h9ysy+sFeH#;aTIKd^R$t&>Z1eWpABwjq4{NP(tY>hfz2%V?Wvu-}{H6{e&6pC4MY&JGh7|%H>`=#)+12VT7qOcNA(>Sn zr;Ul{l%>^RdWKFJI3W!d$DhBxL)f^ol=GG^ri0lze;|Xh@mw2oQ&<#7tk-v=;1cl$ zU&pIK(JO-4L+kyXhNP9MlpniA@oyBp9TYwMdUeSF;hi}QB2oz77F+H=-ZITwn|Z(7 z)focQLGTQCMd*)Jd~Mw}4W^^*=-f3M(9`1q+)EP&<`w`=V?zJ}XyS3)Z|+LYz47&1 z6Gf%af3o&e2djet`1hTFYs7tjbEf^n8K7x@+@A<&9>9@^YmN`#XhiOFAm8h0S`i6k zoDnq`aOFZ^KnsQhU@$G<(3-U|*C*FJ0N`yxUw0fdjT-3xQ#-yse+~WK5j(C|8jcd+ z&+~;p{v9?4=(NDKR`7aj%(XHh29fbZEZT@?@~xX#VgNOeh9?F9ypUmk>Xi<+{I87= z@uOM)*G9;5^L59B05GVI_Afi*YX={?{UgcImyGuu#fQChX2vaj^!*7H-+Syc?GHH)D5TN?W?# zYNKgGzg;w6GzW5eL@mQ0;7!qx4?4=XpxI}HgS52N*NB1>8qf>3sy#6xj1Q0FYE8pj zDnD2ASE3$UM$K9$&Sk-m^@uyggjhZoPRtINw92(GObT9--;L&E*AW_!9Bs4bZi%7u z+q%*X9y6?pmw?0^(+w&9ZGZLXD!J;8i1}x#6MSsNLNajJ<;30xq3wG|PSzn6`m<-3 zlmsQSU_HGG}q=YR4 zw=M*hehhIf+ca>oe2@Y z=C6>O+;ipH**WY%2e*#WV0ao!#JeQK%rC*Q2l?t1VMH;zdvo)POC4IQ1%)8idFGUd z<+?yyQPt;d>gK!eAm>9|%|Aw%UclNjtT@g2PHjEQEdHZ{8#mmn-iTqv8Zyb4cI%)S z#^=9|(cGY=dJO9a!FDf3h7S6r#<6xtQdq@7*oSv+)V@*dl~(>@P7r#QPwZoX9@*EJ z>?_OBijyIoJQOO^VA!y)UA4U2Z|)4MkKf_1<-doQoqIN~V81*nB*enJV}^=vY;qcz z#5XDTMOQ4YG>v`GEc<*aK;5+D0Cy{ z>O<8kH!G1V+U758Q!km!kU~QXGnvIGl4*Ix!f{BsqO0p|DoE%XS{!;h=CslqitL6>YnmoB|LT=I_azAUD7woCi?Znws=;tiaR~4LNlB7ha3~j4*Fmc z&Ra|+Fk7@Oy|)pjx(&s}ym2JOou-92a`tWmIh$^!DeOQ!! z=bO^J)0tC64R!tfr*~IZ=hzoWct4H50$DA2*`J_ddVTp~mUL_Orn=97XB(+cDL*t!PS3yQ>gt!pjElh{%Ba|?Zb?Y~NJA)} zrRF3p-z_TAu{e7Obe zeq<%9D&`$*a}YFVZ2Vz2$s=-;fk?guhGq0Y2!Eo;j!LrMTjl3-dsM2qUp;knd%U_- zPE1oZlVsGhEQ3*_dr8WhFu)H7$Skkw`{#rCATB(qNL4-z?QA{ z{2b+#$M>A?UX6F}b{^R1Q^cvcUp09&(tV<3LbOckNZ^*zLc7ux=T~ezQ!>785yUQ_ z=ruWaIkN??>$|yM-Q}5_HqmOBY{l#)GW43AJDi_2c__;Fby13KZCgwdBgHhppV>spxpI1kjRZ?v5-=-J3+jjW9 zy6w!gX7(4TGtaZl*tN#eVn!Mh6a}lXoha*l=Uyt@`yhpXd>~$KvgJSWkdP}IjW?iY zZ-v|zR8W{D=|s=nT;un(|LG2|PfC!C)m`4TPj71UK}G#$w2ndD^3FOR;T6#*?PkQnX5ip7 zX6fEGlQeKr;n_k!ydV+Si8(?Sorsfdj@i;Zwbcau${vl{cyxM8JmOrMSm)cQ@W}C0 zml0%ThnU3K7_ry0mkMO8tAc_~oe?9-CyB{>iV4?my8&QqGq3SI15}*j%q@424@gDj zP22mw*zjm3EPU#s^-~|!cZcz=>l1!wW<0X+jhR8gkRQwp`8%zE@R-p5Ca@1BG*a#Z z!sq7nBH~}?oi23RN}kq0`evsttrtueCa-^rNeR z2apDh;|!Ul%edHg+eiyS{4;yOUh_9MOBy_4-rI9>+UiaH^=#hv7;0H90A1F>b!#4_X4kjTsBIC0zAU{GlAui_21*O=D;q{ zgT6-8?YR`07rQmo2p2$Hqy7I=tjM$gy0I6I_B|9B+_$n8a_woq4hFC`Twjyil)^nY zB2!3!rW2WBNC_Z+2iEF2kqLCKfN%PMH#7dfmo`ir;C`e?lgg|6M5YlB9tRy|w)vhLK%d$wNE%y-EfYer2P1y_!pKWXFALo1dZdv`1&w$r`F zN&RxyUm7)JQst`<(aAnlOV0FhKIg(((mkQ3 zxGL5oFmGE7Z|7=%<&c%7zOkNB@wovW4dJl{^OlAM9oFBz;J$K6^wcvuuzS7o?vH#v z*Cxrqi|TAdzK!Sq+>dpoFV>gs!t6BWVSZqhTg-*~bGKgLxk)GRE-mUB>3>z5@P5k8 zF(V7{d+71Cw&|{u`)T~cO8utIHl6=I(QAB=vUvWQP4gFA|N7hr-+>c~yC?|mBNe|f zYhIk-gy*`M(Z`?3CCh#HiBJ3G6lP8DX`L;N4(I&3AZK#Z#K=Fgmkj7@_&(z0^-UcQ ze&zbBIj`y?WdU=;u)8t=DO1|^3Ual@5yT^w4E6DQVn3~>c^F8*vg`a#f=%F%q zbav;&y{Q*?7KN9x^S=9;eZS||x#m9DxGlOv>EEs`&g8G}zx+|5O-uXQh}SNjd}iX> zipy6uJ%lk{y4Y8%=4glub3+IAH`x+1o+U*V6lCrqsfM|)cEAbs`s&bu*{O2;dP$EJ zlOJ~*A&6^+ z-fwRXJ8N~Es1pl*DH%yZ&UdFgWBm9H_pA5UUY0!D>#RE=pUEhyJojzbg(O>sV9aAf z|8ghjC#A1?Lu{IVy8HZT+a`&rFw?S&j6XJAiwp{J%|2B6PT;z&JJQ`I7=8Ao+3NiF zSv?PL36s1nAOH2%Q_Cyzw^kAR?)I))^(|3fNA(!8!go+m==R=3i#@V= zE4jUEUL|u@m$!q4#<^~(zPYqV*Hb^FemDEDJbUJ>{0g^6jZ;tV=_mE&Y!c3VekD${ zXvGH6DOW+Sy_X}s&UMJ%UCJ4B#3Sq4FlADgm=jbVD)i`$p#cFX(P`fXA8Y(n&GxvH zvyQLnH8$Y)(SaAw--`JX9vok}%+OPM#P_U2dg%hekI2?-Ua9D|J2+WtXLU9P#<{?~&%jHa9fK3x_q#!O0 zVhmV?n@NjFjhg|yg_=lpI8MdE001F40=H6teTNs8{WYD@)t*Y&=x9o}-qK|j!rDM|HCo7E;F zg(6Lmm{wzV*1iM6Oqk4+JP|WNJP{m>wY-brC_+Oen&TLJ1cAUGog*W-eF&otY#Duw zX5zy-+>$`i1wlt2ZS{aYt4(x2F~zvZ*RF{65_OLJy+-5VmG^r@KTTh+ zVflG^`7`!sx!2}ty$<2Entpw2R(d9il1B^}IAFlTPG5u3XrGYf(l} z*CAOOF4kABDRv7U=;Y+&(OK@~EH)V&ttn#K~cQ#iy79K2%DSC2$eTN00QdB}&%OGa5!Fm*CcK?%5yFiM$qwjw4(Xr#<2z7kQU$niuXAl-zA zr;m$Jrzfk$8s;b&Lox~j*p0KSSPDyP9~;dO=mM#mTovr+Ml)Ewt%ei>Kr_f{&>PL( zRw>gi;tk$uGR%bREL5_T8LbS3D3a7C6BNW@i`gg(<&K23CeX2Iq$wFf*#ag|Y0_xD zRRGAF6@rzNnMhG7-Y}e&mc~xwvPqK;M#W+=jBsEMhXpuT<|#%Bv$Bllq2N5bAw={C zF{7Dnw~4JL4KNW6qih6jIj9B52+|1A2V)7Og_1HY7DD5#<%)y|#uKpAD9&S{D6VB8 z;9&_-kw_yzI2@d(X*n*XjhP>v2R6WgTo4EF<_&HtjYW-{q)h+NV8}m_G*it$3W0DS zOxWT6=dudq=Fg)566y$p1n_t(0SarUD8OYY;~*&TmBZq2B2d(uk9hNWUI^-qAQJc! zPLO;cDhHnp;4|WX5N*TRMwB!~fRd1DO=Lpz33fIIRRYsFX%mgl9Um-3sr>H|G8pI* zrun=Tq}pNtH$b4`|0$5qol}kagTW~lliuD98a0gTaoRRBNGl2~)~LO;^sE4C8B0k4 zR~1Hq5{E$zGG!95NfDGDm)U#GM^81s=n1-ay!Dt-CuLe$8eEH6^b}JzjxZ!x%qr3_ zjuZ#8RJhL4oEJSIYksk7fLpcxN!IKn(A6M;@CVG0F`&=%d_G03KndVi%1onSupJQ7 z7qbJ0TRM99pEa~67$WHY0HLQlWVphcZZDL>;h-oVv3C{|L70FIbl_ibIQn8Z-6=pI zf==M@_NnpwFbrBvxR!xHU|OM3tNEeF94;TyLJk^j3}oMej4d>-m59JBLaQX=!Ukql@PiR6xds#lWJs)4tjs`;A&JPZs17^sU zGbj@V1}zi#g#?1biFEL#z=L2FNrI7{p1dG9(5NLLU;zE~5U7CSBtCMk7!mskxeC6J u=POY7ibP_OLL?W-6{t|;CzSm)#{~Lo!AxN$%AOz|ilPj6_c0-UjDG`AT5Svf literal 0 HcmV?d00001 diff --git a/images/iter_f0c.dot b/images/iter_f0c.dot new file mode 100644 index 0000000..be8e695 --- /dev/null +++ b/images/iter_f0c.dot @@ -0,0 +1,45 @@ +digraph { +000 [shape="none"label="000", pos="10,10!"]; +001 [shape="none"label="001", pos="11.7320508076,11!"]; +010 [shape="none", label="010", pos="12,10!"]; +011 [shape="none", label="011", pos="13.7320508076,11!"]; +100 [shape="none", label="100", pos="10,8!"]; +101 [shape="none", label="101", pos="11.7320508076,9!"]; +110 [shape="none", label="110", pos="12,8!"]; +111 [shape="none", label="111", pos="13.7320508076,9!"]; + // 000:nw -> 000:so [color="blue"] + 000 -> 010; + 000 -> 001; + //010:ne -> 010:se [color="blue"] + 010 -> 110; + 010 -> 011; + 001 -> 000; + //001 -> 001 [color="blue"] + 001 -> 101; + //101 -> 101 [color="blue"] + 101 -> 100; + 101 -> 111; + //110 -> 110 [color="blue"] + 110 -> 100; + 110 -> 111; + 011 -> 010; + 011 -> 001; + //011 -> 011 [color="blue"] + 100 -> 000; + //100 -> 100 [color="blue"] + 100 -> 110 + //111 -> 111 [color="blue"] + 111 -> 011; + 111 -> 101 +/* + 000 -> 100 [style="dashed"] + 100 -> 101 [style="dashed"] + 101 -> 001 [style="dashed"] + 001 -> 011 [style="dashed"] + 011 -> 111 [style="dashed"] + 111 -> 110 [style="dashed"] + 110 -> 010 [style="dashed"] + 010 -> 000 [style="dashed"] +*/ + +} -- 2.39.5