début hamiltonien motiv

diff --git a/images/h23prng.pdf b/images/h23prng.pdf
new file mode 100644 (file)
index 0000000..608d1fd
Binary files /dev/null and b/images/h23prng.pdf differ

diff --git a/images/h2prng.ng.pdf b/images/h2prng.ng.pdf
new file mode 100644 (file)
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 (file)
index 0000000..37714bc
Binary files /dev/null and b/images/h2prng.pdf differ

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

diff --git a/images/iter_f.dot b/images/iter_f.dot
new file mode 100644 (file)
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 (file)
index 0000000..31a045d
Binary files /dev/null and b/images/iter_f.pdf differ

diff --git a/images/iter_f0_chaos.dot b/images/iter_f0_chaos.dot
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
index 0000000..8f368b0
Binary files /dev/null and b/images/iter_f0b.pdf differ

diff --git a/images/iter_f0c-eps-converted-to.pdf b/images/iter_f0c-eps-converted-to.pdf
new file mode 100644 (file)
index 0000000..3be98f9
Binary files /dev/null and b/images/iter_f0c-eps-converted-to.pdf differ

diff --git a/images/iter_f0c.dot b/images/iter_f0c.dot
new file mode 100644 (file)
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"]
+*/
+
+}