Skip to content

XO Graph

```mermaid graph TD;

X0["| ❎ | 🅾️ | --- |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | --- | ---- |"]
X13["| ❎ | 🅾️ | ❎ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | --- | ---- |"]
X23["| ❎ | 🅾️ | --- |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎ | ---- |"]
X33["| ❎ | 🅾️ | --- |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | --- | ❎ |"]

X13_O32["| ❎ | 🅾️ | ❎ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | 🅾️ | ---- |"]
X13_O33["| ❎ | 🅾️ | ❎ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | --- | 🅾️ |"]
X13_O33_X32["| ❎ | 🅾️ | ❎ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎ | 🅾️ |"]

X23_O13["| ❎ | 🅾️ | 🅾️ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎ | ---- |"]
X23_O33["| ❎ | 🅾️ | --- |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎ | 🅾️ |"]

X23_O13_X33["| ❎ | 🅾️ | 🅾️ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎ | ❎ |"]
X23_O33_X13["| ❎ | 🅾️ | ❎ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎ | 🅾️ |"]


X33_O13["| ❎ | 🅾️ | 🅾️ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | --- | ❎ |"]
X33_O32["| ❎ | 🅾️ | --- |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | 🅾️ | ❎ |"]

X33_O13_X32["| ❎ | 🅾️ | 🅾️ |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | ❎  | ❎ |"]
X33_O32_O13["| ❎ | 🅾️ | ❎  |<br/>| ❎ | 🅾️ | ❎ |<br/>| 🅾️ | 🅾️ | ❎ |"]

X0 -->|"❎ At 1,3 <br> V=0" | X13
X0 -->|"❎ At 2,3 <br> V=0" | X23
X0 -->|"❎ At 3,3 <br> V=+1"| X33

X13 -->|"🅾️ At 3,2 <br> V=-1" | X13_O32
X13 -->|"🅾️ At 3,3 <br> V=0" | X13_O33

X13_O32 --> L0(("U1: -1 "))

X13_O33 -->|"❎ At 3,2 <br> V=0" | X13_O33_X32
X13_O33_X32 --> D0(("U2: 0" ))

X23 -->|"🅾️ At 1,3 <br> V=0" | X23_O13
X23 -->|"🅾️ At 3,3 <br> V=0" | X23_O33

X23_O13 -->|"❎ At 3,3 <br> V=0" | X23_O13_X33
X23_O13_X33 --> L1(("U3: 0" ))

X23_O33 -->|"❎ At 1,3 <br> V=0" | X23_O33_X13
X23_O33_X13 --> D1(("U4: 0" ))

X33 -->|"🅾️ At 1,3 <br> V=0" | X33_O13
X33 -->|"🅾️ At 3,2 <br> V=+1" | X33_O32

X33_O13 -->|"❎ At 3,2 <br> V=0" | X33_O13_X32
X33_O13_X32 --> D2(("U5: 0" ))

X33_O32 -->|"❎ At 1,3 <br> V=+1" | X33_O32_O13
X33_O32_O13 --> D3(("U6: +1 "))

```