Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars.
Erich KaltofenBin LiZhengfeng YangLihong ZhiPublished in: ISSAC (2008)
Keyphrases
- floating point
- global optimality
- globally optimal
- global optimization
- fixed point
- optimal solution
- exact solution
- discrete optimization
- objective function
- global minimum
- instruction set
- floating point arithmetic
- semidefinite
- theoretical guarantees
- gradient field
- graph cuts
- optimality conditions
- convex functions
- energy function
- cost function
- particle swarm optimization
- global solution
- evolutionary algorithm
- active contours