tree.svg (5709B)
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: x Pages: 1 --> 7 <svg width="358pt" height="332pt" 8 viewBox="0.00 0.00 357.99 332.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 328)"> 10 <title>x</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-328 353.99,-328 353.99,4 -4,4"/> 12 <!-- top --> 13 <g id="node1" class="node"> 14 <title>top</title> 15 <ellipse fill="none" stroke="black" cx="114.9" cy="-306" rx="77.19" ry="18"/> 16 <text text-anchor="middle" x="114.9" y="-302.3" font-family="Times,serif" font-size="14.00">[V] ◇ p ∨ □ ◇ p, 2</text> 17 </g> 18 <!-- l11 --> 19 <g id="node2" class="node"> 20 <title>l11</title> 21 <ellipse fill="none" stroke="black" cx="55.9" cy="-234" rx="46.59" ry="18"/> 22 <text text-anchor="middle" x="55.9" y="-230.3" font-family="Times,serif" font-size="14.00">[V] ◇ p, 2</text> 23 </g> 24 <!-- top->l11 --> 25 <g id="edge1" class="edge"> 26 <title>top->l11</title> 27 <path fill="none" stroke="black" d="M100.61,-288.05C93.26,-279.33 84.17,-268.54 76.11,-258.98"/> 28 <polygon fill="black" stroke="black" points="78.76,-256.7 69.64,-251.31 73.41,-261.21 78.76,-256.7"/> 29 </g> 30 <!-- l12 --> 31 <g id="node3" class="node"> 32 <title>l12</title> 33 <ellipse fill="none" stroke="black" cx="173.9" cy="-234" rx="53.09" ry="18"/> 34 <text text-anchor="middle" x="173.9" y="-230.3" font-family="Times,serif" font-size="14.00">[F] □ ◇ p, 2</text> 35 </g> 36 <!-- top->l12 --> 37 <g id="edge2" class="edge"> 38 <title>top->l12</title> 39 <path fill="none" stroke="black" d="M129.18,-288.05C136.35,-279.54 145.18,-269.07 153.09,-259.68"/> 40 <polygon fill="black" stroke="black" points="155.98,-261.69 159.74,-251.79 150.62,-257.18 155.98,-261.69"/> 41 </g> 42 <!-- l21 --> 43 <g id="node4" class="node"> 44 <title>l21</title> 45 <ellipse fill="none" stroke="black" cx="55.9" cy="-162" rx="27" ry="18"/> 46 <text text-anchor="middle" x="55.9" y="-158.3" font-family="Times,serif" font-size="14.00">p 3</text> 47 </g> 48 <!-- l11->l21 --> 49 <g id="edge3" class="edge"> 50 <title>l11->l21</title> 51 <path fill="none" stroke="black" d="M55.9,-215.7C55.9,-207.98 55.9,-198.71 55.9,-190.11"/> 52 <polygon fill="black" stroke="black" points="59.4,-190.1 55.9,-180.1 52.4,-190.1 59.4,-190.1"/> 53 </g> 54 <!-- l22 --> 55 <g id="node5" class="node"> 56 <title>l22</title> 57 <ellipse fill="none" stroke="black" cx="173.9" cy="-162" rx="46.59" ry="18"/> 58 <text text-anchor="middle" x="173.9" y="-158.3" font-family="Times,serif" font-size="14.00">[V] ◇ p, 3</text> 59 </g> 60 <!-- l12->l22 --> 61 <g id="edge4" class="edge"> 62 <title>l12->l22</title> 63 <path fill="none" stroke="black" d="M173.9,-215.7C173.9,-207.98 173.9,-198.71 173.9,-190.11"/> 64 <polygon fill="black" stroke="black" points="177.4,-190.1 173.9,-180.1 170.4,-190.1 177.4,-190.1"/> 65 </g> 66 <!-- l31 --> 67 <g id="node6" class="node"> 68 <title>l31</title> 69 <ellipse fill="none" stroke="black" cx="55.9" cy="-90" rx="55.79" ry="18"/> 70 <text text-anchor="middle" x="55.9" y="-86.3" font-family="Times,serif" font-size="14.00">Verifier wins</text> 71 </g> 72 <!-- l21->l31 --> 73 <g id="edge5" class="edge"> 74 <title>l21->l31</title> 75 <path fill="none" stroke="black" d="M55.9,-143.7C55.9,-135.98 55.9,-126.71 55.9,-118.11"/> 76 <polygon fill="black" stroke="black" points="59.4,-118.1 55.9,-108.1 52.4,-118.1 59.4,-118.1"/> 77 </g> 78 <!-- l32 --> 79 <g id="node7" class="node"> 80 <title>l32</title> 81 <ellipse fill="none" stroke="black" cx="165.9" cy="-90" rx="27" ry="18"/> 82 <text text-anchor="middle" x="165.9" y="-86.3" font-family="Times,serif" font-size="14.00">p, 2</text> 83 </g> 84 <!-- l22->l32 --> 85 <g id="edge6" class="edge"> 86 <title>l22->l32</title> 87 <path fill="none" stroke="black" d="M171.92,-143.7C171.04,-135.98 169.98,-126.71 168.99,-118.11"/> 88 <polygon fill="black" stroke="black" points="172.46,-117.64 167.85,-108.1 165.51,-118.44 172.46,-117.64"/> 89 </g> 90 <!-- l33 --> 91 <g id="node8" class="node"> 92 <title>l33</title> 93 <ellipse fill="none" stroke="black" cx="271.9" cy="-90" rx="27" ry="18"/> 94 <text text-anchor="middle" x="271.9" y="-86.3" font-family="Times,serif" font-size="14.00">p, 4</text> 95 </g> 96 <!-- l22->l33 --> 97 <g id="edge7" class="edge"> 98 <title>l22->l33</title> 99 <path fill="none" stroke="black" d="M195.16,-145.81C209.98,-135.23 229.85,-121.04 245.65,-109.75"/> 100 <polygon fill="black" stroke="black" points="247.85,-112.47 253.96,-103.81 243.78,-106.78 247.85,-112.47"/> 101 </g> 102 <!-- l41 --> 103 <g id="node9" class="node"> 104 <title>l41</title> 105 <ellipse fill="none" stroke="black" cx="148.9" cy="-18" rx="61.19" ry="18"/> 106 <text text-anchor="middle" x="148.9" y="-14.3" font-family="Times,serif" font-size="14.00">Falsifier wins.</text> 107 </g> 108 <!-- l32->l41 --> 109 <g id="edge8" class="edge"> 110 <title>l32->l41</title> 111 <path fill="none" stroke="black" d="M161.78,-72.05C159.89,-64.26 157.59,-54.82 155.47,-46.08"/> 112 <polygon fill="black" stroke="black" points="158.85,-45.17 153.09,-36.28 152.05,-46.82 158.85,-45.17"/> 113 </g> 114 <!-- l42 --> 115 <g id="node10" class="node"> 116 <title>l42</title> 117 <ellipse fill="none" stroke="black" cx="288.9" cy="-18" rx="61.19" ry="18"/> 118 <text text-anchor="middle" x="288.9" y="-14.3" font-family="Times,serif" font-size="14.00">Falsifier wins.</text> 119 </g> 120 <!-- l33->l42 --> 121 <g id="edge9" class="edge"> 122 <title>l33->l42</title> 123 <path fill="none" stroke="black" d="M276.01,-72.05C277.9,-64.26 280.2,-54.82 282.32,-46.08"/> 124 <polygon fill="black" stroke="black" points="285.74,-46.82 284.7,-36.28 278.94,-45.17 285.74,-46.82"/> 125 </g> 126 </g> 127 </svg>