English
Related papers

Related papers: Clustering of solutions in hard satisfiability pro…

200 papers

This paper discusses a deterministic clustering approach to capacitated resource allocation problems. In particular, the Deterministic Annealing (DA) algorithm from the data-compression literature, which bears a distinct analogy to the…

Optimization and Control · Mathematics 2016-06-22 Mayank Baranwal , Srinivasa M. Salapaka

We show how clustering as a general hierarchical dynamical process proceeds via a sequence of inverse cascades to produce self-similar scaling, as an intermediate asymptotic, which then truncates at the largest spatial scales. We show how…

adap-org · Physics 2009-10-31 A. Gabrielov , W. I. Newman , D. L. Turcotte

Survey propagation is a powerful technique from statistical physics that has been applied to solve the 3-SAT problem both in principle and in practice. We give, using only probability arguments, a common derivation of survey propagation,…

Statistical Mechanics · Physics 2007-05-23 Erik Aurell , Uri Gordon , Scott Kirkpatrick

The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to True. It is well-known that all NP-problems can be coded as…

Machine Learning · Computer Science 2024-10-22 Christopher R. Serrano , Jonathan Gallagher , Kenji Yamada , Alexei Kopylov , Michael A. Warren

A previously developed quantum search algorithm for solving 1-SAT problems in a single step is generalized to apply to a range of highly constrained k-SAT problems. We identify a bound on the number of clauses in satisfiability problems for…

Artificial Intelligence · Computer Science 2011-05-30 T. Hogg

This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of…

Artificial Intelligence · Computer Science 2019-08-19 Sven Löffler , Ke Liu , Petra Hofstedt

In this paper, we study a number of well-known combinatorial optimization problems that fit in the following paradigm: the input is a collection of (potentially inconsistent) local relationships between the elements of a ground set (e.g.,…

Data Structures and Algorithms · Computer Science 2021-02-24 Vaggos Chatziafratis , Mohammad Mahdian , Sara Ahmadian

Subspace clustering discovers the clusters embedded in multiple, overlapping subspaces of high dimensional data. Many significant subspace clustering algorithms exist, each having different characteristics caused by the use of different…

Databases · Computer Science 2013-04-15 Sunita Jahirabadkar , Parag Kulkarni

Using the apparatus of correlation Gamma-function (``conditional density''), we have analyzed spatial clustering of objects from several different samples of galaxies, clusters and superclusters. On small scales the distribution of objects…

Astrophysics · Physics 2007-05-23 A. V. Tikhonov , D. I. Makarov , A. I. Kopylov

This paper focuses on the sparse subspace clustering problem, and develops an online algorithmic solution to cluster data points on-the-fly, without revisiting the whole dataset. The strategy involves an online solution of a sparse…

Optimization and Control · Mathematics 2024-07-16 Liam Madden , Stephen Becker , Emiliano Dall'Anese

Recently, there has been substantial interest in clustering research that takes a beyond worst-case approach to the analysis of algorithms. The typical idea is to design a clustering algorithm that outputs a near-optimal solution, provided…

Data Structures and Algorithms · Computer Science 2018-12-31 Maria-Florina Balcan , Colin White

We consider the computational complexity of reconfiguration problems, in which one is given two combinatorial configurations satisfying some constraints, and is asked to transform one into the other using elementary transformations, while…

Computational Complexity · Computer Science 2020-01-17 Jean Cardinal , Erik D. Demaine , David Eppstein , Robert A. Hearn , Andrew Winslow

The structure of satisfiability problems is used to improve search algorithms for quantum computers and reduce their required coherence times by using only a single coherent evaluation of problem properties. The structure of random k-SAT…

Quantum Physics · Physics 2009-10-06 Tad Hogg

We consider the random $k$-SAT problem with $n$ variables, $m=m(n)$ clauses, and clause density $\alpha=\lim_{n\to\infty}m/n$ for $k=2,3$. It is known that if $\alpha$ is small enough, then the random $k$-SAT problem admits a solution with…

Probability · Mathematics 2025-04-17 Andreas Basse-O'Connor , Tobias Lindhardt Overgaard , Mette Skjøtt

We define and study a statistical mechanics ensemble that characterizes connected solutions in constraint satisfaction problems (CSPs). Built around a well-known local entropy bias, it allows us to better identify hardness transitions in…

Disordered Systems and Neural Networks · Physics 2026-04-17 Damien Barbier

We propose a general framework for solving inverse self-assembly problems, i.e. designing interactions between elementary units such that they assemble spontaneously into a predetermined structure. Our approach uses patchy particles as…

Soft Condensed Matter · Physics 2022-07-13 John Russo , Flavio Romano , Lukas Kroc , Francesco Sciortino , Lorenzo Rovigatti , Petr Sulc

The problem of constrained clustering has attracted significant attention in the past decades. In this paper, we study the balanced $k$-center, $k$-median, and $k$-means clustering problems where the size of each cluster is constrained by…

Computational Geometry · Computer Science 2018-09-11 Hu Ding

Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…

Data Structures and Algorithms · Computer Science 2014-07-30 Amey Bhangale , Swastik Kopparty , Sushant Sachdeva

Given a satisfiable instance of 1-in-3 SAT, it is NP-hard to find a satisfying assignment for it, but it may be possible to efficiently find a solution subject to a weaker (not necessarily Boolean) predicate than `1-in-3'. There is a…

Computational Complexity · Computer Science 2025-08-21 Andrei Krokhin , Danny Vagnozzi

Despite significant advances in characterizing the highly nonconvex landscapes of constraint satisfaction problems, the good performance of certain algorithms in solving hard combinatorial optimization tasks remains poorly understood. This…

Disordered Systems and Neural Networks · Physics 2025-04-10 David Machado , Jonathan González-García , Roberto Mulet
‹ Prev 1 4 5 6 7 8 10 Next ›