From: Jean-François Couchot Date: Mon, 20 Jul 2015 15:49:25 +0000 (+0200) Subject: début hamiltonien motiv X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/commitdiff_plain/88854ac4a1d472000495a77d78af210f81e4443d?ds=sidebyside début hamiltonien motiv --- diff --git a/images/h23prng.pdf b/images/h23prng.pdf new file mode 100644 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 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 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 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 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 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 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 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 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 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"] +*/ + +}