Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm.
Peter LammichPublished in: Arch. Formal Proofs (2014)
Keyphrases
- efficient implementation
- active set
- objective function
- detection algorithm
- optimal solution
- computational complexity
- dynamic programming
- np hard
- search strategy
- search space
- hardware implementation
- simulated annealing
- randomly generated
- strongly connected components
- upper bound
- segmentation algorithm
- matching algorithm
- combinatorial optimization