A Truly Symbolic Linear-Time Algorithm for SCC Decomposition.
Casper Abild LarsenSimon Meldahl SchmidtJesper SteensgaardAnna Blume JakobsenJaco van de PolAndreas PavlogiannisPublished in: TACAS (2) (2023)
Keyphrases
- detection algorithm
- cost function
- computational complexity
- np hard
- computationally efficient
- high accuracy
- worst case
- dynamic programming
- preprocessing
- computational cost
- times faster
- linear programming
- learning algorithm
- tree structure
- matching algorithm
- optimization algorithm
- improved algorithm
- theoretical analysis
- expectation maximization
- k means
- probabilistic model
- multiscale
- path planning
- similarity measure
- recognition algorithm
- selection algorithm
- genetic algorithm
- decomposition methods
- simple polygon