digraph G {
graph [
ranksep = “2.00”,
rankdir = LR,
bb = “0,0,940,922”,
ratio = auto,
fontsize = 16,
fontname = Helvetica,
size = “7.5,10”
];
node [
fontsize = 16
];
{
graph [
rank = same
];
“Reward Function” [
shape = diamond,
fillcolor = firebrick1,
width = “3.3889”,
style = filled,
pos = “818,438”
];
“Next State and Reward” [
shape = plaintext,
fontstyle = bold,
fillcolor = white,
width = “2.1944”,
style = “”,
pos = “818,836”
];
“alive'(x2, y1)” [
fillcolor = gold,
width = “1.8889”,
style = filled,
pos = “818,243”
];
“alive'(x1, y1)” [
fillcolor = gold,
width = “1.8889”,
style = filled,
pos = “818,668”
];
“alive'(x2, y2)” [
fillcolor = gold,
width = “1.8889”,
style = filled,
pos = “818,129”
];
“alive'(x1, y2)” [
fillcolor = gold,
width = “1.8889”,
style = filled,
pos = “818,782”
];
}
{
graph [
rank = same
];
“set(x2, y1)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,186”
];
“alive(x1, y2)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,534”
];
“Current State and Actions” [
shape = plaintext,
fontstyle = bold,
fillcolor = white,
width = “2.4444”,
style = “”,
pos = “88,18”
];
“set(x1, y2)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,858”
];
“alive(x2, y2)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,411”
];
“alive(x1, y1)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,588”
];
“set(x2, y2)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,72”
];
“set(x1, y1)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,782”
];
“alive(x2, y1)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,357”
];
}
{
graph [
rank = same
];
“count-neighbors(x2, y1)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,438”
];
“count-neighbors(x1, y1)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,492”
];
“count-neighbors(x2, y2)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,384”
];
“count-neighbors(x1, y2)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,584”
];
“Intermediate @ Level 1” [
shape = plaintext,
fontstyle = bold,
fillcolor = white,
width = “2.25”,
style = “”,
pos = “436,904”
];
}
“alive(x1, y2)” -> “Reward Function” [
pos = “e,784.67,451.27 153.08,537.25 243.32,540.54 411.26,542.28 552,519 632.76,505.64 723.24,474.44 775.13,454.89”
];
“alive(x2, y2)” -> “Reward Function” [
pos = “e,785.55,424.69 132.38,397.47 178.68,384.12 253.65,364.62 320,357 422.44,345.24 450.01,341.82 552,357 633.42,369.12 724.38,401.03 776.06,420.99”
];
“alive(x2, y2)” -> “count-neighbors(x1, y1)” [
pos = “e,371.57,477 138.23,422.69 196.78,436.32 294.08,458.97 361.44,474.65”
];
“alive(x1, y2)” -> “count-neighbors(x2, y1)” [
pos = “e,369.58,452.73 131.39,520.24 177.84,505.71 253.79,482.53 320,465 332.74,461.63 346.33,458.26 359.56,455.1”
];
“count-neighbors(x1, y1)” -> “alive'(x1, y1)” [
pos = “e,784.12,652.39 473.32,509.2 544.53,542 699.38,613.35 774.88,648.13”
];
“set(x1, y1)” -> “alive'(x1, y1)” [
pos = “e,759.21,677.18 129.08,775.59 249.03,756.85 599.74,702.08 749.23,678.74”
];
“count-neighbors(x1, y2)” -> “alive'(x1, y2)” [
pos = “e,787.06,765.96 469.57,601.4 539.84,637.82 702.19,721.97 777.84,761.19”
];
“alive(x1, y1)” -> “alive'(x1, y2)” [
pos = “e,756.82,790.07 104.51,605.7 139.87,642.2 227.27,725.17 320,758 464.61,809.2 647.67,801.01 746.64,791.12”
];
“alive(x2, y1)” -> “alive'(x2, y1)” [
pos = “e,756.46,235.31 113.79,340.31 155.25,314.57 240.17,266.24 320,248 468.57,214.05 648.64,224.48 746.4,234.27”
];
“alive(x1, y2)” -> “alive'(x1, y1)” [
pos = “e,750.76,665 132.87,547.42 146.73,551.66 162.03,556.43 176,561 240.39,582.05 253.95,595.95 320,611 466.48,644.38 641.88,658.66 740.57,664.42”
];
“alive(x2, y2)” -> “alive'(x2, y1)” [
pos = “e,760.48,252.64 132.35,397.57 194.4,378.81 301.64,346.54 320,342 472.68,304.21 654.46,271 750.6,254.35”
];
“count-neighbors(x2, y2)” -> “alive'(x2, y2)” [
pos = “e,792.62,145.94 462.56,366.27 530.19,321.12 708.89,201.84 783.99,151.7”
];
“set(x1, y2)” -> “alive'(x1, y2)” [
pos = “e,764.99,793.29 129.13,857.82 210.3,857.03 396.68,853.1 552,834 590.43,829.27 689.36,809.14 755.13,795.36”
];
“alive(x1, y1)” -> “count-neighbors(x1, y1)” [
pos = “e,379.02,507.72 134.57,575.15 194.86,558.52 300.31,529.43 369.14,510.44”
];
“alive(x2, y1)” -> “alive'(x2, y2)” [
pos = “e,752.77,123.76 99.331,339.13 128.99,294.26 213.98,177.31 320,134 394.27,103.66 622.59,114.68 742.56,123.04”
];
“set(x2, y2)” -> “alive'(x2, y2)” [
pos = “e,758.18,120.33 129.03,73.133 210.03,75.589 396.11,82.316 552,96 618.74,101.86 694.54,111.56 748.11,118.94”
];
“alive(x1, y1)” -> “count-neighbors(x2, y2)” [
pos = “e,354.18,396.73 140.15,576.76 152.44,572.85 165.11,567.7 176,561 254.7,512.56 239.67,456.7 320,411 327.64,406.65 335.94,403.01 344.47,399.95”
];
“alive(x2, y1)” -> “count-neighbors(x2, y2)” [
pos = “e,332.27,375.95 151.83,361.95 199.4,365.64 265.64,370.78 322.2,375.17”
];
“alive(x1, y2)” -> “alive'(x1, y2)” [
pos = “e,763.11,771.3 135.73,546.56 148.98,550.6 163.24,555.49 176,561 243.61,590.2 252.02,614.66 320,643 469.84,705.46 656.51,749.04 753.19,769.24”
];
“alive(x2, y2)” -> “count-neighbors(x2, y2)” [
pos = “e,332.27,392.05 151.83,406.05 199.4,402.36 265.64,397.22 322.2,392.83”
];
“alive(x1, y1)” -> “count-neighbors(x1, y2)” [
pos = “e,320.63,585.33 154.28,587.24 198.37,586.73 257.68,586.05 310.5,585.44”
];
“alive(x2, y1)” -> “count-neighbors(x1, y2)” [
pos = “e,400.13,566.77 139.45,368.5 151.88,372.42 164.8,377.51 176,384 251.89,428 249.22,467.18 320,519 342.26,535.3 369.03,550.55 391.23,562.18”
];
“alive(x1, y2)” -> “count-neighbors(x1, y1)” [
pos = “e,344.38,503.06 148.62,526.68 199.7,520.52 273.88,511.57 334.08,504.3”
];
“alive(x2, y2)” -> “count-neighbors(x1, y2)” [
pos = “e,401.32,566.76 119.81,426.81 182.27,457.86 321.07,526.86 392.17,562.21”
];
“alive(x1, y2)” -> “count-neighbors(x2, y2)” [
pos = “e,362.74,398.01 114.09,517.26 155.96,491.08 241.44,440.4 320,411 330.48,407.08 341.72,403.6 352.93,400.57”
];
“alive(x2, y2)” -> “alive'(x2, y2)” [
pos = “e,765.24,140.48 136.93,398.78 149.92,394.79 163.74,389.85 176,384 245.64,350.77 250.52,320.57 320,287 469.09,214.98 658.76,165.33 755.34,142.77”
];
“count-neighbors(x2, y1)” -> “alive'(x2, y1)” [
pos = “e,796.29,260.33 511.42,424.32 525.18,420.74 539.22,416.34 552,411 644.46,372.34 741.03,302.8 788.32,266.5”
];
“alive(x1, y1)” -> “Reward Function” [
pos = “e,801.73,453.62 135.66,600.57 221.14,620.89 405.28,654.52 552,611 652.43,581.21 750.43,500.22 794.2,460.53”
];
“alive(x1, y1)” -> “count-neighbors(x2, y1)” [
pos = “e,359.85,451.59 136.91,575.74 149.9,571.75 163.73,566.82 176,561 245.5,528.04 249.41,495.54 320,465 329.49,460.89 339.7,457.36 349.99,454.33”
];
“alive(x2, y1)” -> “count-neighbors(x2, y1)” [
pos = “e,371.57,423 138.23,368.69 196.78,382.32 294.08,404.97 361.44,420.65”
];
“alive(x1, y2)” -> “count-neighbors(x1, y2)” [
pos = “e,351,571.79 146.64,542.43 199.67,550.04 278.72,561.4 340.8,570.32”
];
“alive(x2, y2)” -> “count-neighbors(x2, y1)” [
pos = “e,332.27,429.95 151.83,415.95 199.4,419.64 265.64,424.78 322.2,429.17”
];
“alive(x2, y1)” -> “Reward Function” [
pos = “e,789.77,424.1 144.95,347.73 232.99,335.07 407.11,316.65 552,342 636.73,356.82 730.08,396.32 780.56,419.78”
];
“set(x2, y1)” -> “alive'(x2, y1)” [
pos = “e,758.18,234.33 129.03,187.13 210.03,189.59 396.11,196.32 552,210 618.74,215.86 694.54,225.56 748.11,232.94”
];
“alive(x1, y1)” -> “alive'(x1, y1)” [
pos = “e,760.57,677.7 117.26,604.17 160.18,626.87 243.43,667.08 320,682 471.69,711.56 654.23,693.04 750.66,679.15”
];
“alive(x2, y1)” -> “count-neighbors(x1, y1)” [
pos = “e,362.03,478.1 135.71,369.6 148.97,373.65 163.22,378.52 176,384 243.49,412.94 251.55,438.41 320,465 330.29,469 341.32,472.5 352.35,475.54”
];
}