Nikola Beneš, Luboš Brim, Samuel Pastva, and David Šafránek
Graph
Pivot Vertex ⇒
Backward set (B) ⇒
Pivot Vertex ⇒
Graph
Backward set (B) ⇒
Graph
Forward set (F) ⇒
Backward set (B) ⇒
Graph
Forward set (F) ⇒
Not a bottom SCC
Graph
×
⇐ Pivot Vertex
Graph
10^30
10^10
0.000000000000000001%
⇐
Graph
×
×
×
×
×
×
×
×
Graph
y
x
x << y
Graph
×
Graph
⇐ Pivot Set
Graph
Backward set (B)
Graph
Backward set (B)
Forward Set (F)
Graph
Backward set (B)
Forward Set (F)
Graph
Backward set (B)
Forward Set (F)
125 real models, 200 randomly generated