English
Related papers

Related papers: A Landscape Analysis of Constraint Satisfaction Pr…

200 papers

Energy-minimizing constraint maps are a natural extension of the obstacle problem within a vectorial framework. Due to inherent topological constraints, these maps manifest a diverse structure that includes singularities similar to harmonic…

Analysis of PDEs · Mathematics 2024-08-01 Alessio Figalli , André Guerra , Sunghan Kim , Henrik Shahgholian

Many automated manufacturing processes rely on industrial robot arms to move process-specific tools along workpiece surfaces. In applications like grinding, sanding, spray painting, or inspection, they need to cover a workpiece fully while…

Robotics · Computer Science 2026-02-09 Robert Wilbrandt , Rüdiger Dillmann

We consider (closed neighbourhood) packings and their generalization in graphs called limited packings. A vertex set X in a graph G is a k-limited packing if for any vertex $v\in V(G)$, $\left|N[v] \cap X\right| \le k$, where $N[v]$ is the…

Discrete Mathematics · Computer Science 2014-07-08 Andrei Gagarin , Vadim Zverovich

Graph colouring is a combinatorial optimisation problem with applications in several important domains, including sports scheduling, cartography, street map navigation, and timetabling. It is also of significant theoretical interest and a…

History and Overview · Mathematics 2026-02-23 Rhyd Lewis

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á

We study a class of combinatorial scheduling problems characterized by a particular type of constraint often associated with electrical power or gas energy. This constraint appears in several practical applications and is expressed as a sum…

Data Structures and Algorithms · Computer Science 2023-12-27 Trung Thanh Nguyen , Khaled Elbassioni , Areg Karapetyan , Majid Khonji

We introduce the framework of the left-hand side restricted promise constraint satisfaction problem, which includes problems like approximating clique number of a graph. We study the parameterized complexity of problems in this class and…

Computational Complexity · Computer Science 2024-02-20 Kristina Asimi , Libor Barto , Victor Dalmau

Packing problems are an important class of optimization problems. The probably most well-known problem if this type is knapsack and many generalizations of it have been studied in the literature like Two-dimensional Geometric Knapsack…

Data Structures and Algorithms · Computer Science 2019-11-26 Tobias Mömke , Andreas Wiese

We introduce the problem of finding a satisfying assignment to a CNF formula that must further belong to a prescribed input subspace. Equivalent formulations of the problem include finding a point outside a union of subspaces (the…

Data Structures and Algorithms · Computer Science 2021-08-16 Vikraman Arvind , Venkatesan Guruswami

We initiate the study of a new parameterization of graph problems. In a multiple interval representation of a graph, each vertex is associated to at least one interval of the real line, with an edge between two vertices if and only if an…

Data Structures and Algorithms · Computer Science 2011-12-19 Fedor V. Fomin , Serge Gaspers , Petr Golovach , Karol Suchan , Stefan Szeider , Erik Jan van Leeuwen , Martin Vatshelle , Yngve Villanger

The aim of this review paper is to give a panoramic of the impact of spin glass theory and statistical physics in the study of the K-sat problem. The introduction of spin glass theory in the study of the random K-sat problem has indeed left…

Computational Complexity · Computer Science 2014-05-15 Stefano Gogioso

We study rough high-dimensional landscapes in which an increasingly stronger preference for a given configuration emerges. Such energy landscapes arise in glass physics and inference. In particular we focus on random Gaussian functions, and…

Disordered Systems and Neural Networks · Physics 2019-01-09 Valentina Ros , Gerard Ben Arous , Giulio Biroli , Chiara Cammarota

The set of solutions of random constraint satisfaction problems (zero energy groundstates of mean-field diluted spin glasses) undergoes several structural phase transitions as the amount of constraints is increased. This set first breaks…

Statistical Mechanics · Physics 2007-12-19 Guilhem Semerjian

We establish the existence of wave-like solutions to spatially coupled graphical models which, in the large size limit, can be characterized by a one-dimensional real-valued state. This is extended to a proof of the threshold saturation…

Information Theory · Computer Science 2015-03-20 Shrinivas Kudekar , Tom Richardson , Ruediger Urbanke

Understanding spatial correlation is vital in many fields including epidemiology and social science. Lee, Meeks and Pettersson (Stat. Comput. 2021) recently demonstrated that improved inference for areal unit count data can be achieved by…

Data Structures and Algorithms · Computer Science 2026-02-10 Jessica Enright , Duncan Lee , Kitty Meeks , William Pettersson , John Sylvester

In this article, we consider a collection of geometric problems involving points colored by two colors (red and blue), referred to as bichromatic problems. The motivation behind studying these problems is two fold; (i) these problems appear…

Computational Geometry · Computer Science 2016-10-04 Sayan Bandyapadhyay , Aritra Banik

The observation and modeling of natural Complex Systems (CSs) like the human nervous system, the evolution or the weather, allows the definition of special abilities and models reusable to solve other problems. For instance, Genetic…

Neural and Evolutionary Computing · Computer Science 2008-12-18 Frédéric Guinand , Yoann Pigné

Difficult, in particular NP-complete, optimization problems are traditionally solved approximately using search heuristics. These are usually slowed down by the rugged landscapes encountered, because local minima arrest the search process.…

Artificial Intelligence · Computer Science 2023-11-08 Konstantin Klemm , Anita Mehta , Peter F. Stadler

We study a variation of the graph colouring problem on random graphs of finite average connectivity. Given the number of colours, we aim to maximise the number of different colours at neighbouring vertices (i.e. one edge distance) of any…

Statistical Mechanics · Physics 2009-11-11 S. Bounkong , J. van Mourik , D. Saad

While 3-SAT is NP-hard, 2-SAT is solvable in polynomial time. Austrin, Guruswami, and H\r{a}stad roved a result known as "$(2+\varepsilon)$-SAT is NP-hard" [FOCS'14/SICOMP'17]. They showed that the problem of distinguishing k-CNF formulas…

Discrete Mathematics · Computer Science 2021-09-10 Alex Brandts , Marcin Wrochna , Stanislav Živný