English
Related papers

Related papers: The solution space geometry of random linear equat…

200 papers

The XOR-satisfiability (XORSAT) problem deals with a system of $n$ Boolean variables and $m$ clauses. Each clause is a linear Boolean equation (XOR) of a subset of the variables. A $K$-clause is a clause involving $K$ distinct variables. In…

Disordered Systems and Neural Networks · Physics 2013-03-05 S. Hamed Hassani , Nicolas Macris , Rudiger Urbanke

We take an algorithmic approach to studying the solution space geometry of relatively sparse random and bounded degree $k$-CNFs for large $k$. In the course of doing so, we establish that with high probability, a random $k$-CNF $\Phi$ with…

Data Structures and Algorithms · Computer Science 2022-07-18 Zongchen Chen , Nitya Mani , Ankur Moitra

The Random K-Satisfiability Problem, consisting in verifying the existence of an assignment of N Boolean variables that satisfy a set of M=alpha N random logical clauses containing K variables each, is studied using the replica symmetric…

Disordered Systems and Neural Networks · Physics 2009-10-28 R. Monasson , R. Zecchina

A fundamental result in linear algebra states that if a homogenous linear equation system has only the trivial solution, then there are at most as many variables as equations. We prove the following generalisation of this phenomenon. If a…

Combinatorics · Mathematics 2022-11-24 J. Pascal Gollin , Attila Joó

Stochastic processes wherein the size of the state space is changing as a function of time offer models for the emergence of scale-invariant features observed in complex systems. I consider such a sample-space reducing (SSR) stochastic…

Statistical Mechanics · Physics 2016-05-04 Avinash Chand Yadav

We consider a high-dimensional random constrained optimization problem in which a set of binary variables is subjected to a linear system of equations. The cost function is a simple linear cost, measuring the Hamming distance with respect…

Disordered Systems and Neural Networks · Physics 2022-11-23 Alfredo Braunstein , Louise Budzynski , Stefano Crotti , Federico Ricci-Tersenghi

We apply a probabilistic approach to study the computational complexity of analog computers which solve linear programming problems. We analyze numerically various ensembles of linear programming problems and obtain, for each of these…

Other Condensed Matter · Physics 2009-11-11 Yaniv Avizrats , Joshua Feinberg , Shmuel Fishman

Consider the model where we can access a parity function through random uniform labeled examples in the presence of random classification noise. In this paper, we show that approximating the number of relevant variables in the parity…

Machine Learning · Computer Science 2024-07-17 Nader H. Bshouty , George Haddad

Let $S_n$ denote the set of permutations of $[n]:=\{1,\cdots, n\}$, and denote a permutation $\sigma\in S_n$ by $\sigma=\sigma_1\sigma_2\cdots \sigma_n$. For $l\ge2$ an integer, let $A^{(n)}_{l;k}\subset S_n$ denote the event that the set…

Combinatorics · Mathematics 2022-08-26 Ross G. Pinsky

We give the first efficient algorithm to approximately count the number of solutions in the random $k$-SAT model when the density of the formula scales exponentially with $k$. The best previous counting algorithm for the permissive version…

Data Structures and Algorithms · Computer Science 2021-05-25 Andreas Galanis , Leslie Ann Goldberg , Heng Guo , Kuan Yang

We study a simple and exactly solvable model for the generation of random satisfiability problems. These consist of $\gamma N$ random boolean constraints which are to be satisfied simultaneously by $N$ logical variables. In…

Disordered Systems and Neural Networks · Physics 2009-10-31 F. Ricci-Tersenghi , M. Weigt , R. Zecchina

In this paper, we investigate the combinatorial structure and asymptotic distribution of the solution set of the equation $\sigma(n+1) = k\sigma(n)$ for a given integer $k>1$. From a combinatorial perspective, the solutions to this equation…

Number Theory · Mathematics 2026-05-22 Amirali Fatehizadeh

The random K-satisfiability (K-SAT) problem is an important problem for studying typical-case complexity of NP-complete combinatorial satisfaction; it is also a representative model of finite-connectivity spin-glasses. In this paper we…

Disordered Systems and Neural Networks · Physics 2015-05-18 Haijun Zhou

Set packing is a fundamental problem that generalises some well-known combinatorial optimization problems and knows a lot of applications. It is equivalent to hypergraph matching and it is strongly related to the maximum independent set…

Combinatorics · Mathematics 2015-07-28 Tim Oosterwijk

We study numerically the cluster structure of random ensembles of two NP-hard optimization problems originating in computational complexity, the vertex-cover problem and the number partitioning problem. We use branch-and-bound type…

Disordered Systems and Neural Networks · Physics 2009-11-13 Alexander K. Hartmann , Alexander Mann , Wolfgang Radenbach

For non-negative integers $(d_n(k))_{k \ge 1}$ such that $\sum_{k \ge 1} d_n(k) = n$, we sample a bipartite planar map with $n$ faces uniformly at random amongst those which have $d_n(k)$ faces of degree $2k$ for every $k \ge 1$ and we…

Probability · Mathematics 2020-07-20 Cyril Marzouk

We study occurrences of patterns on clusters of size n in random fields on Z^d. We prove that for a given pattern, there is a constant a>0 such that the probability that this pattern occurs at most an times on a cluster of size n is…

Probability · Mathematics 2008-03-13 Remco van der Hofstad , Wouter Kager

In this work, the possibility of clustering correlated random variables was examined, both because of their mutual similarity and because of their similarity to the principal components. The k-means algorithm and spectral algorithms were…

Machine Learning · Computer Science 2019-09-10 Zenon Gniazdowski , Dawid Kaliszewski

In this paper we propose a general methodology for solving a broad class of continuous, multifacility location problems, in any dimension and with $\ell_\tau$-norms proposing two different methodologies: 1) by a new second order cone mixed…

Optimization and Control · Mathematics 2014-10-21 Víctor Blanco , Justo Puerto , Safae El-Haj Ben-Ali

We study a version of the randomized Kaczmarz algorithm for solving systems of linear equations where the iterates are confined to the solution space of a selected subsystem. We show that the subspace constraint leads to an accelerated…

Numerical Analysis · Mathematics 2024-06-11 Jackie Lok , Elizaveta Rebrova