English
Related papers

Related papers: Focused Local Search for Random 3-Satisfiability

200 papers

Local search algorithms and iterated local search algorithms are a basic technique. Local search can be a stand along search methods, but it can also be hybridized with evolutionary algorithms. Recently, it has been shown that it is…

Artificial Intelligence · Computer Science 2016-01-29 Francisco Chicano , Darrell Whitley , Renato Tinos

In this paper we propose a new parallel algorithm for solving global optimization (GO) multidimensional problems. The method unifies two powerful approaches for accelerating the search: parallel computations and local tuning on the behavior…

Optimization and Control · Mathematics 2011-03-31 Yaroslav D. Sergeyev

Online algorithms make decisions based on past inputs. In general, the decision may depend on the entire history of inputs. If many computers run the same online algorithm with the same input stream but are started at different times, they…

Data Structures and Algorithms · Computer Science 2022-10-14 Maciej Pacut , Mahmoud Parham , Joel Rybicki , Stefan Schmid , Jukka Suomela , Aleksandr Tereshchenko

This paper is concerned with numerically finding a global solution of constrained optimal control problems with many local minima. The focus is on the optimal decentralized control (ODC) problem, whose feasible set is recently shown to have…

Optimization and Control · Mathematics 2019-03-21 Yuhao Ding , Han Feng , Javad Lavaei

We study the optimization version of the set partition problem (where the difference between the partition sums are minimized), which has numerous applications in decision theory literature. While the set partitioning problem is NP-hard and…

Data Structures and Algorithms · Computer Science 2021-09-13 Kaan Gokcesu , Hakan Gokcesu

We consider information retrieval when the data, for instance multimedia, is coputationally expensive to fetch. Our approach uses "information filters" to considerably narrow the universe of possiblities before retrieval. We are especially…

Information Retrieval · Computer Science 2007-05-23 Neil C. Rowe

Motivation: Estimating parameters from data is a key stage of the modelling process, particularly in biological systems where many parameters need to be estimated from sparse and noisy data sets. Over the years, a variety of heuristics have…

Quantitative Methods · Quantitative Biology 2011-11-07 Mariano Beguerisse-Diaz , Baojun Wang , Radhika Desikan , Mauricio Barahona

This chapter compiles a number of results that apply the theory of parameterized algorithmics to the running-time analysis of randomized search heuristics such as evolutionary algorithms. The parameterized approach articulates the running…

Neural and Evolutionary Computing · Computer Science 2020-01-16 Frank Neumann , Andrew M. Sutton

A key part of any evolutionary algorithm is fitness evaluation. When fitness evaluations are corrupted by noise, as happens in many real-world problems as a consequence of various types of uncertainty, a strategy is needed in order to cope…

Neural and Evolutionary Computing · Computer Science 2017-07-13 Simon M. Lucas , Jialin Liu , Diego Pérez-Liébana

The problem of P vs. NP is very serious, and solutions to the problem can help save lives. This article is an attempt at solving the problem using a computer algorithm. It is presented in a fashion that will hopefully allow for easy…

Data Structures and Algorithms · Computer Science 2015-03-19 Matt Groff

The $(1+(\lambda,\lambda))$ genetic algorithm, first proposed at GECCO 2013, showed a surprisingly good performance on so me optimization problems. The theoretical analysis so far was restricted to the OneMax test function, where this GA…

Neural and Evolutionary Computing · Computer Science 2017-04-17 Maxim Buzdalov , Benjamin Doerr

In this paper we consider a network of processors aiming at cooperatively solving linear programming problems subject to uncertainty. Each node only knows a common cost function and its local uncertain constraint set. We propose a…

Optimization and Control · Mathematics 2019-08-27 Mohammadreza Chamanbaz , Giuseppe Notarstefano , Roland Bouffanais

Meta-heuristics are frequently used to tackle NP-hard combinatorial optimization problems. With this paper we contribute to the understanding of the success of 2-opt based local search algorithms for solving the traveling salesman problem…

Data Structures and Algorithms · Computer Science 2012-08-14 Olaf Mersmann , Bernd Bischl , Heike Trautmann , Markus Wagner , Frank Neumann

The restricted max-min fair allocation problem (also known as the restricted Santa Claus problem) is one of few problems that enjoys the intriguing status of having a better estimation algorithm than approximation algorithm. Indeed,…

Data Structures and Algorithms · Computer Science 2014-01-21 Lukas Polacek , Ola Svensson

We consider the problem of active learning in the context of spatial sampling for level set estimation (LSE), where the goal is to localize all regions where a function of interest lies above/below a given threshold as quickly as possible.…

Machine Learning · Computer Science 2025-07-24 Phillip Kearns , Bruno Jedynak , John Lipor

We study geometrical properties of the complete set of solutions of the random 3-satisfiability problem. We show that even for moderate system sizes the number of clusters corresponds surprisingly well with the theoretic asymptotic…

Statistical Mechanics · Physics 2008-10-02 John Ardelius , Lenka Zdeborová

An analysis of the average-case complexity of solving random 3-Satisfiability (SAT) instances with backtrack algorithms is presented. We first interpret previous rigorous works in a unifying framework based on the statistical physics…

Data Structures and Algorithms · Computer Science 2008-06-20 Simona Cocco , Remi Monasson

Change point estimation is often formulated as a search for the maximum of a gain function describing improved fits when segmenting the data. Searching through all candidates requires $O(n)$ evaluations of the gain function for an interval…

Methodology · Statistics 2024-11-22 Solt Kovács , Housen Li , Lorenz Haubner , Axel Munk , Peter Bühlmann

The Boolean Satisfiability problem (SAT), as the prototypical $\mathsf{NP}$-complete problem, is crucial in both theoretical computer science and practical applications. To address this problem, stochastic local search (SLS) algorithms,…

Artificial Intelligence · Computer Science 2026-04-17 Maximilian J. Kramer , Paul Boes , Jens Eisert

The goal of this paper is to understand how exponential-time approximation algorithms can be obtained from existing polynomial-time approximation algorithms, existing parameterized exact algorithms, and existing parameterized approximation…

Data Structures and Algorithms · Computer Science 2023-06-28 Barış Can Esmer , Ariel Kulik , Dániel Marx , Daniel Neuen , Roohani Sharma