Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph.

Stephan Merz Vincent Trélat

Published in: Arch. Formal Proofs (2022)

Keyphrases

strongly connected components
dynamic programming
segmentation algorithm
detection algorithm
matching algorithm
image segmentation
objective function
computational complexity
lower bound
shortest path
image processing
object recognition
linear programming
energy function
connected components