Abstract:Combinatorial optimization problems define fitness landscapes that combine the numerics of the 'fitness' function to be maximized with the combinatorics of which assignments are adjacent. Local search starts at an initial assignment in this landscape and successively moves to assignments until no further improvement is possible among the adjacent assignments. Classic analyses of local search algorithms have focused mostly on the question of effectiveness ("did the algorithm find a good solution?") and often implicitly assumed that there are no doubts about their efficiency ("did the algorithm find the solution quickly?"). But there are many reasons to doubt the efficiency of local search. Many local search algorithms are known to be inefficient even if we focus on fitness landscapes on the hypercube that are single peaked on every subcube (known as semismooth fitness landscapes, completely unimodal pseudo-Boolean functions, or acyclic unique sink orientations). Here, we want to identify the most expressive subclass of single-peaked binary Boolean valued constraint satisfaction problems for which many popular local search algorithms are efficient. In this paper, we introduce the class of conditionally-smooth fitness landscapes where the preferred assignment of a variable xj depends only on the assignments of variables xi with i less than j in an associated partial order. We prove that many popular local search algorithms like random ascent, simulated annealing, various jumping rules, and the Kernighan-Lin heuristic are very efficient on conditionally-smooth landscapes. Some other popular local search algorithms like steepest ascent and random facet, however, still require a super-polynomial number of steps on these landscapes. Our hope is to contribute to a fuller understanding of what properties fitness landscapes must have for local search algorithms to be both effective and efficient.

Aggressive Local Search for Constrained Optimal Control Problems with Many Local Minima

Analytical Sensitivity Computation Using Collocation Method with Non-Uniform Mesh Discretisation for Numerical Solutions of Optimal Control Problems

Global Versus Local Orthogonal Collocation in Simultaneous Approach

A Quasi-Sequential Algorithm for PDE-constrained Optimization Based on Space–time Orthogonal Collocation on Finite Elements

A Novel Mesh Discretization Strategy for Numerical Solution of Optimal Control Problems in Aerospace Engineering.

A Combined Global And Local Search Method To Deal With Constrained Optimization For Continuous Tabu Search

Fast algorithm based on reduced precision solution criterion for solving optimal control problem

Learning to Control Local Search for Combinatorial Optimization

When is local search both effective and efficient?

Globally-Constrained Decentralized Optimization with Variable Coupling

Globalization of distributed parameter self‐optimizing control

A Conservation Law Method in Optimization

Global Continuous Optimization with Error Bound and Fast Convergence

An Adaptive Localized Decision Variable Analysis Approach to Large-Scale Multiobjective and Many-Objective Optimization

Optimization Method Based On Optimal Control

The landscape of deterministic and stochastic optimal control problems: One-shot Optimization versus Dynamic Programming

On the Divergence of Decentralized Non-Convex Optimization

A Global Convergent Algorithm for OPF Problems With Regularity Condition Not Satisfied

Lax-Oleinik-Type Formulas and Efficient Algorithms for Certain High-Dimensional Optimal Control Problems

A New Smoothing Technique for Bang-Bang Optimal Control Problems

An essentially decentralized interior point method for control