digraph G {
graph [
ranksep = “2.00”,
rankdir = LR,
bb = “0,0,940,770”,
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,408”
];
“Next State and Reward” [
shape = plaintext,
fontstyle = bold,
fillcolor = white,
width = “2.1944”,
style = “”,
pos = “818,722”
];
“alive'(x2, y1)” [
fillcolor = gold,
width = “1.8889”,
style = filled,
pos = “818,110”
];
“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,500”
];
“alive'(x1, y2)” [
fillcolor = gold,
width = “1.8889”,
style = filled,
pos = “818,186”
];
}
{
graph [
rank = same
];
“set(x2, y1)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,72”
];
“alive(x1, y2)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,356”
];
“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,148”
];
“alive(x2, y2)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,435”
];
“alive(x1, y1)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,508”
];
“set(x2, y2)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,630”
];
“set(x1, y1)” [
shape = box,
fillcolor = olivedrab1,
width = “1.1389”,
style = filled,
pos = “88,706”
];
“alive(x2, y1)” [
fillcolor = lightblue,
width = “1.8333”,
style = filled,
pos = “88,283”
];
}
{
graph [
rank = same
];
“count-neighbors(x2, y1)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,270”
];
“count-neighbors(x1, y1)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,546”
];
“count-neighbors(x2, y2)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,416”
];
“count-neighbors(x1, y2)” [
fillcolor = sandybrown,
width = “3.1944”,
style = filled,
pos = “436,324”
];
“Intermediate @ Level 1” [
shape = plaintext,
fontstyle = bold,
fillcolor = white,
width = “2.25”,
style = “”,
pos = “436,752”
];
}
“alive(x1, y2)” -> “Reward Function” [
pos = “e,735.62,402.11 152.18,360.56 241.72,366.92 409.22,378.82 552,389 609.69,393.11 674.42,397.74 725.58,401.39”
];
“alive(x2, y2)” -> “alive'(x2, y2)” [
pos = “e,752.71,494.8 150.01,441.4 196.73,446.16 262.36,452.71 320,458 469.79,471.74 645.09,486.13 742.65,493.99”
];
“alive(x1, y1)” -> “alive'(x1, y1)” [
pos = “e,752.66,662.89 122.24,523.48 166.85,543.04 247.73,576.38 320,595 467.11,632.9 644.08,652.99 742.51,661.98”
];
“alive(x1, y1)” -> “count-neighbors(x1, y2)” [
pos = “e,403.2,341.49 118.98,491.87 135.85,483.07 157.09,471.96 176,462 253.04,421.42 342.71,373.72 394.07,346.36”
];
“alive(x2, y1)” -> “count-neighbors(x2, y1)” [
pos = “e,323.6,274.2 153.46,280.55 198.4,278.88 259.44,276.6 313.28,274.58”
];
“alive(x2, y1)” -> “count-neighbors(x2, y2)” [
pos = “e,392.35,399.32 126.57,297.74 188.94,321.58 312.05,368.63 382.74,395.64”
];
“alive(x2, y1)” -> “count-neighbors(x1, y1)” [
pos = “e,415.88,528.25 121.97,298.64 138.72,306.87 158.94,317.61 176,329 224.01,361.04 351.32,471.58 408.04,521.36”
];
“set(x1, y1)” -> “alive'(x1, y1)” [
pos = “e,751.32,671.53 129.28,703.88 210.32,699.71 395.93,690.14 552,682 615.78,678.67 688.15,674.86 741.29,672.06”
];
“alive(x2, y1)” -> “count-neighbors(x1, y2)” [
pos = “e,343.71,313.13 148.62,290.14 199.52,296.14 273.34,304.84 333.42,311.91”
];
“count-neighbors(x2, y1)” -> “alive'(x2, y1)” [
pos = “e,780,125.02 475.09,253 525.87,230.99 617.33,191.59 696,159 720.54,148.83 747.98,137.79 770.61,128.76”
];
“alive(x2, y1)” -> “alive'(x2, y1)” [
pos = “e,755.07,117.02 122.7,267.64 167.48,248.36 248.18,215.48 320,196 468.44,155.73 647.09,130.29 744.98,118.25”
];
“count-neighbors(x1, y1)” -> “alive'(x1, y1)” [
pos = “e,774.46,654.09 486.73,562.2 559.08,585.31 691.28,627.53 764.91,651.04”
];
“alive(x1, y1)” -> “count-neighbors(x2, y1)” [
pos = “e,353.01,282.58 124.08,492.88 140.75,484.98 160.29,474.38 176,462 252.45,401.75 236.56,347.12 320,297 327.26,292.64 335.17,288.98 343.33,285.91”
];
“set(x1, y2)” -> “alive'(x1, y2)” [
pos = “e,751.32,182.47 129.28,150.12 210.32,154.29 395.93,163.86 552,172 615.78,175.33 688.15,179.14 741.29,181.94”
];
“count-neighbors(x1, y2)” -> “alive'(x1, y2)” [
pos = “e,785.08,201.84 506.14,309.66 521.39,305.99 537.34,301.73 552,297 633.15,270.83 724.12,230.32 775.88,206.15”
];
“alive(x1, y1)” -> “Reward Function” [
pos = “e,789.37,422.05 123.49,523.31 202.34,555.1 397.33,621.44 552,573 626.36,549.71 629.5,513.61 696,473 723.61,456.14 755.96,439.02 780.41,426.58”
];
“alive(x1, y2)” -> “count-neighbors(x2, y1)” [
pos = “e,370.91,284.9 135.92,343.51 182.78,331.37 256.2,312.54 320,297 333.26,293.77 347.39,290.41 361.06,287.21”
];
“alive(x1, y2)” -> “count-neighbors(x2, y2)” [
pos = “e,358.5,402.64 143.91,365.64 199.08,375.15 284.24,389.83 348.39,400.9”
];
“alive(x2, y2)” -> “count-neighbors(x1, y2)” [
pos = “e,385.19,340.21 131.02,421.28 192.5,401.67 305.78,365.54 375.63,343.26”
];
“count-neighbors(x2, y2)” -> “alive'(x2, y2)” [
pos = “e,765.54,488.47 502.98,430.73 574.26,446.4 686.13,471 755.61,486.28”
];
“alive(x2, y2)” -> “count-neighbors(x2, y1)” [
pos = “e,361.3,283.78 115.76,418.64 133.09,408.42 155.86,394.96 176,383 240.09,344.93 250.87,324.89 320,297 329.98,292.97 340.7,289.47 351.45,286.43”
];
“alive(x2, y1)” -> “Reward Function” [
pos = “e,800.69,392.31 130.88,269.25 213.92,244.8 401.73,200.18 552,243 650.65,271.11 748.43,347.47 793,385.64”
];
“alive(x2, y2)” -> “count-neighbors(x2, y2)” [
pos = “e,326.81,421.96 153.05,431.45 198.98,428.94 261.85,425.51 316.67,422.52”
];
“alive(x1, y2)” -> “count-neighbors(x1, y1)” [
pos = “e,404.15,528.61 117.67,372.2 179.88,406.17 324.09,484.9 395.05,523.64”
];
“alive(x1, y2)” -> “count-neighbors(x1, y2)” [
pos = “e,336.36,333.16 150.62,350.24 199.35,345.76 268.2,339.43 326.06,334.11”
];
“alive(x1, y2)” -> “alive'(x1, y2)” [
pos = “e,749.71,186.56 119.47,339.94 177.92,310.2 299.25,249.05 320,243 464.03,201.02 639.92,189.73 739.44,186.84”
];
“set(x2, y1)” -> “alive'(x2, y1)” [
pos = “e,751.32,106.47 129.28,74.123 210.32,78.292 395.93,87.856 552,96 615.78,99.328 688.15,103.14 741.29,105.94”
];
“alive(x1, y1)” -> “count-neighbors(x2, y2)” [
pos = “e,377.31,431.51 135.66,495.4 195.63,479.55 299.04,452.21 367.48,434.11”
];
“set(x2, y2)” -> “alive'(x2, y2)” [
pos = “e,783.59,515.67 129.17,630.56 210.79,630.87 398.5,627.58 552,595 632.83,577.84 722.51,542.11 774.36,519.69”
];
“alive(x2, y2)” -> “count-neighbors(x1, y1)” [
pos = “e,377.09,530.47 128,449.42 174.05,465.84 252.09,493.09 320,514 335.15,518.66 351.51,523.38 367.03,527.7”
];
“alive(x2, y2)” -> “Reward Function” [
pos = “e,761.14,417.68 153.24,437.85 199.72,439.73 263.69,442.03 320,443 423.1,444.78 449.11,449.74 552,443 620.12,438.54 697.42,427.71 751.07,419.27”
];
“alive(x1, y1)” -> “count-neighbors(x1, y1)” [
pos = “e,341.11,535.64 149.41,514.71 199.59,520.18 271.64,528.05 330.95,534.53”
];
}