A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals
James RenegarPublished in: FOCS (1988)
Keyphrases
- times faster
- experimental evaluation
- detection algorithm
- computational complexity
- objective function
- cost function
- worst case
- simulated annealing
- theoretical analysis
- learning algorithm
- improved algorithm
- optimization algorithm
- segmentation algorithm
- matching algorithm
- convergence rate
- linear programming
- highly efficient
- probabilistic model
- dynamic programming
- search space
- preprocessing
- optimal solution
- high accuracy
- particle swarm optimization
- computationally efficient
- np hard
- significant improvement
- clustering method
- similarity measure
- decision trees
- recognition algorithm
- neural network
- data sets