Transition Gallery

Transitions are grouped by source graph. Each card clearly shows source and destination. Cards ending at BAD have a light red tone; cards ending at DONE have a light green tone.

Build: 2026-04-01 17:22:33

Critical Transition Definition

Starting from a graph, if we remove the critical edge (red) and add the appearing edge (green), and the resulting graph is valid, then the transition is not critical.

Source Graph

Graph 1

Rule: Shrink b5

No critical transition SVGs from this graph.

Source Graph

Graph 2

Rule: Shrink b5

No critical transition SVGs from this graph.

Source Graph

Graph 3

Rule: Shrink b5

G3T1

BAD

Graph 3 -> BAD

Critical: a4-b5

Appearing: a4-b1

Change: Added: - | Removed: -

G3T2

GRAPH

Graph 3 -> Graph 5

Critical: a4-b5

Appearing: a4-b4

Change: Added: a4-b4 | Removed: a1-b4

Source Graph

Graph 4

Rule: Shrink b5

G4T1

DONE

Graph 4 -> DONE

Critical: a4-b5

Appearing: a4-b1

Change: Added: - | Removed: -

G4T2

GRAPH

Graph 4 -> Graph 6

Critical: a4-b5

Appearing: a4-b3

Change: Added: a4-b3 | Removed: a1-b3

Source Graph

Graph 5

Rule: Keep b4 and b5 equal for a3

G5T1

GRAPH

Graph 5 -> Graph 2

Critical: a1-b1

Appearing: a1-b4

Change: Added: a1-b4 | Removed: a3-b4

G5T2

GRAPH

Graph 5 -> Graph 3

Critical: a1-b1

Appearing: a1-b5

Change: Added: a1-b5 | Removed: a3-b5

G5T3

BAD

Graph 5 -> BAD

Critical: a2-b4

Appearing: a2-b1

Change: Added: - | Removed: -

G5T4

GRAPH

Graph 5 -> Graph 5

Critical: a2-b4

Appearing: a2-b5

Change: Added: a2-b5 | Removed: a3-b5

G5T5

BAD

Graph 5 -> BAD

Critical: a3-b4

Appearing: a3-b1

Change: Added: - | Removed: -

G5T6

BAD

Graph 5 -> BAD

Critical: a3-b5

Appearing: a3-b1

Change: Added: - | Removed: -

Source Graph

Graph 6

Rule: Keep b4 and b5 equal for a4

Choose actions for Graph 6 transitions

G6T1

GRAPH

Graph 6 -> Graph 4

Critical: a1-b1

Appearing: a1-b4

Change: Added: a1-b4 | Removed: a4-b4

G6T2

GRAPH

Graph 6 -> Graph 4

Critical: a1-b3

Appearing: a1-b4

Change: Added: a1-b4 | Removed: a4-b4

G6T3

DONE

Graph 6 -> DONE

Critical: a3-b4

Appearing: a3-b1

Change: Added: - | Removed: -

G6T4

GRAPH

Graph 6 -> Graph 8

Critical: a3-b4

Appearing: a3-b3

Change: Added: a3-b3 | Removed: a1-b3

G6T5

GRAPH

Graph 6 -> Graph 6

Critical: a3-b4

Appearing: a3-b5

Change: Added: a3-b5 | Removed: a4-b5

G6T6

DONE

Graph 6 -> DONE

Critical: a4-b4

Appearing: a4-b1

Change: Added: - | Removed: -

G6T7

GRAPH

Graph 6 -> Graph 7

Critical: a4-b4

Appearing: a4-b3

Change: Added: a4-b3 | Removed: a1-b3

Source Graph

Graph 7

Rule: Keep b3, b4, b5 equal for a3

G7T1

GRAPH

Graph 7 -> Graph 6

Critical: a1-b1

Appearing: a1-b3

Change: Added: a1-b3 | Removed: a3-b3

G7T2

DONE

Graph 7 -> DONE

Critical: a2-b3

Appearing: a2-b1

Change: Added: - | Removed: -

G7T3

GRAPH

Graph 7 -> Graph 8

Critical: a2-b3

Appearing: a2-b4

Change: Added: a2-b4 | Removed: a3-b4

G7T4

DONE

Graph 7 -> DONE

Critical: a3-b3

Appearing: a3-b1

Change: Added: - | Removed: -

Source Graph

Graph 8

Rule: Keep b3 and b4 equal for a3, and b4 and b5 equal for a4

G8T1

GRAPH

Graph 8 -> Graph 6

Critical: a1-b1

Appearing: a1-b3

Change: Added: a1-b3 | Removed: a3-b3

G8T2

BAD

Graph 8 -> BAD

Critical: a1-b1

Appearing: a1-b4

Change: Added: - | Removed: -

G8T3

DONE

Graph 8 -> DONE

Critical: a2-b3

Appearing: a2-b1

Change: Added: - | Removed: -

G8T4

GRAPH

Graph 8 -> Graph 8

Critical: a2-b3

Appearing: a2-b4

Change: Added: a2-b4 | Removed: a3-b4

G8T5

GRAPH

Graph 8 -> Graph 8

Critical: a2-b3

Appearing: a2-b5

Change: Added: a2-b5 | Removed: a4-b5

G8T6

DONE

Graph 8 -> DONE

Critical: a3-b3

Appearing: a3-b1

Change: Added: - | Removed: -

G8T7

GRAPH

Graph 8 -> Graph 7

Critical: a3-b3

Appearing: a3-b5

Change: Added: a3-b5 | Removed: a4-b5

G8T8

DONE

Graph 8 -> DONE

Critical: a3-b4

Appearing: a3-b1

Change: Added: - | Removed: -

G8T9

GRAPH

Graph 8 -> Graph 7

Critical: a3-b4

Appearing: a3-b5

Change: Added: a3-b5 | Removed: a4-b5