Input
One undirected weighted edge per line: u v w.
Edge Labels
Original Graph
ordinary edge
edge in S
selected cycle
Doubled Graph
Drag vertices to clean up the drawing; click a row to highlight a path.
same-layer edge
cross-layer edge from S
selected shortest path
original layer
V^0
copy layer V^1