Formalization of Complexity Analysis of the First-order Optimization Algorithms.
Chenyi LiZiyu WangWanyi HeYuxuan WuShengyang XuZaiwen WenPublished in: CoRR (2024)
Keyphrases
- complexity analysis
- theoretical analysis
- optimization problems
- times faster
- data structure
- optimization methods
- discrete optimization
- computational complexity
- first order logic
- higher order
- optimization algorithm
- optimization approaches
- formal model
- neural network
- benchmark datasets
- computational efficiency
- approximately optimal
- recently developed
- graph theory
- optimization process
- global optimization
- combinatorial optimization
- optimization method
- computationally efficient
- evolutionary algorithm
- search space
- search algorithm
- feature selection
- learning algorithm