tree-unraveling.dot.svg (3979B)
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> 2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" 3 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> 4 <!-- Generated by graphviz version 2.50.0 (20211204.2007) 5 --> 6 <!-- Title: g Pages: 1 --> 7 <svg width="223pt" height="260pt" 8 viewBox="0.00 0.00 222.95 260.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> 9 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 256)"> 10 <title>g</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-256 218.95,-256 218.95,4 -4,4"/> 12 <!-- a --> 13 <g id="node1" class="node"> 14 <title>a</title> 15 <ellipse fill="none" stroke="black" cx="64.95" cy="-234" rx="27" ry="18"/> 16 <text text-anchor="middle" x="64.95" y="-230.3" font-family="Times,serif" font-size="14.00">(1)</text> 17 </g> 18 <!-- b --> 19 <g id="node2" class="node"> 20 <title>b</title> 21 <ellipse fill="none" stroke="black" cx="27.95" cy="-162" rx="27.9" ry="18"/> 22 <text text-anchor="middle" x="27.95" y="-158.3" font-family="Times,serif" font-size="14.00">(1,2)</text> 23 </g> 24 <!-- a->b --> 25 <g id="edge1" class="edge"> 26 <title>a->b</title> 27 <path fill="none" stroke="black" d="M56.37,-216.76C51.88,-208.28 46.3,-197.71 41.27,-188.2"/> 28 <polygon fill="black" stroke="black" points="44.25,-186.35 36.48,-179.15 38.06,-189.62 44.25,-186.35"/> 29 </g> 30 <!-- c --> 31 <g id="node3" class="node"> 32 <title>c</title> 33 <ellipse fill="none" stroke="black" cx="101.95" cy="-162" rx="27.9" ry="18"/> 34 <text text-anchor="middle" x="101.95" y="-158.3" font-family="Times,serif" font-size="14.00">(1,1)</text> 35 </g> 36 <!-- a->c --> 37 <g id="edge2" class="edge"> 38 <title>a->c</title> 39 <path fill="none" stroke="black" d="M73.53,-216.76C78.01,-208.28 83.6,-197.71 88.63,-188.2"/> 40 <polygon fill="black" stroke="black" points="91.83,-189.62 93.41,-179.15 85.65,-186.35 91.83,-189.62"/> 41 </g> 42 <!-- d --> 43 <g id="node4" class="node"> 44 <title>d</title> 45 <ellipse fill="none" stroke="black" cx="57.95" cy="-90" rx="34.39" ry="18"/> 46 <text text-anchor="middle" x="57.95" y="-86.3" font-family="Times,serif" font-size="14.00">(1,1,2)</text> 47 </g> 48 <!-- c->d --> 49 <g id="edge3" class="edge"> 50 <title>c->d</title> 51 <path fill="none" stroke="black" d="M91.96,-145.12C86.53,-136.47 79.68,-125.58 73.56,-115.83"/> 52 <polygon fill="black" stroke="black" points="76.48,-113.91 68.2,-107.31 70.56,-117.64 76.48,-113.91"/> 53 </g> 54 <!-- e --> 55 <g id="node5" class="node"> 56 <title>e</title> 57 <ellipse fill="none" stroke="black" cx="144.95" cy="-90" rx="34.39" ry="18"/> 58 <text text-anchor="middle" x="144.95" y="-86.3" font-family="Times,serif" font-size="14.00">(1,1,1)</text> 59 </g> 60 <!-- c->e --> 61 <g id="edge4" class="edge"> 62 <title>c->e</title> 63 <path fill="none" stroke="black" d="M111.7,-145.12C117.02,-136.47 123.71,-125.58 129.69,-115.83"/> 64 <polygon fill="black" stroke="black" points="132.68,-117.66 134.93,-107.31 126.71,-114 132.68,-117.66"/> 65 </g> 66 <!-- f --> 67 <g id="node6" class="node"> 68 <title>f</title> 69 <ellipse fill="none" stroke="black" cx="100.95" cy="-18" rx="41.69" ry="18"/> 70 <text text-anchor="middle" x="100.95" y="-14.3" font-family="Times,serif" font-size="14.00">(1,1,1,2)</text> 71 </g> 72 <!-- e->f --> 73 <g id="edge5" class="edge"> 74 <title>e->f</title> 75 <path fill="none" stroke="black" d="M134.74,-72.76C129.43,-64.32 122.82,-53.8 116.86,-44.31"/> 76 <polygon fill="black" stroke="black" points="119.69,-42.24 111.4,-35.63 113.76,-45.96 119.69,-42.24"/> 77 </g> 78 <!-- g --> 79 <g id="node7" class="node"> 80 <title>g</title> 81 <ellipse fill="none" stroke="black" cx="187.95" cy="-18" rx="27" ry="18"/> 82 <text text-anchor="middle" x="187.95" y="-14.3" font-family="Times,serif" font-size="14.00">...</text> 83 </g> 84 <!-- e->g --> 85 <g id="edge6" class="edge"> 86 <title>e->g</title> 87 <path fill="none" stroke="black" d="M154.92,-72.76C160.19,-64.19 166.76,-53.49 172.65,-43.9"/> 88 <polygon fill="black" stroke="black" points="175.78,-45.5 178.03,-35.15 169.81,-41.84 175.78,-45.5"/> 89 </g> 90 </g> 91 </svg>