3,365 research outputs found
Solving finite-domain linear constraints in presence of the
In this paper, we investigate the possibility of improvement of the
widely-used filtering algorithm for the linear constraints in constraint
satisfaction problems in the presence of the alldifferent constraints. In many
cases, the fact that the variables in a linear constraint are also constrained
by some alldifferent constraints may help us to calculate stronger bounds of
the variables, leading to a stronger constraint propagation. We propose an
improved filtering algorithm that targets such cases. We provide a detailed
description of the proposed algorithm and prove its correctness. We evaluate
the approach on five different problems that involve combinations of the linear
and the alldifferent constraints. We also compare our algorithm to other
relevant approaches. The experimental results show a great potential of the
proposed improvement.Comment: 28 pages, 2 figure
A Unified View of Graph Regularity via Matrix Decompositions
We prove algorithmic weak and \Szemeredi{} regularity lemmas for several
classes of sparse graphs in the literature, for which only weak regularity
lemmas were previously known. These include core-dense graphs, low threshold
rank graphs, and (a version of) upper regular graphs. More precisely, we
define \emph{cut pseudorandom graphs}, we prove our regularity lemmas for these
graphs, and then we show that cut pseudorandomness captures all of the above
graph classes as special cases.
The core of our approach is an abstracted matrix decomposition, roughly
following Frieze and Kannan [Combinatorica '99] and \Lovasz{} and Szegedy
[Geom.\ Func.\ Anal.\ '07], which can be computed by a simple algorithm by
Charikar [AAC0 '00]. This gives rise to the class of cut pseudorandom graphs,
and using work of Oveis Gharan and Trevisan [TOC '15], it also implies new
PTASes for MAX-CUT, MAX-BISECTION, MIN-BISECTION for a significantly expanded
class of input graphs. (It is NP Hard to get PTASes for these graphs in
general.
Explicit Optimal Hardness via Gaussian stability results
The results of Raghavendra (2008) show that assuming Khot's Unique Games
Conjecture (2002), for every constraint satisfaction problem there exists a
generic semi-definite program that achieves the optimal approximation factor.
This result is existential as it does not provide an explicit optimal rounding
procedure nor does it allow to calculate exactly the Unique Games hardness of
the problem.
Obtaining an explicit optimal approximation scheme and the corresponding
approximation factor is a difficult challenge for each specific approximation
problem. An approach for determining the exact approximation factor and the
corresponding optimal rounding was established in the analysis of MAX-CUT (KKMO
2004) and the use of the Invariance Principle (MOO 2005). However, this
approach crucially relies on results explicitly proving optimal partitions in
Gaussian space. Until recently, Borell's result (Borell 1985) was the only
non-trivial Gaussian partition result known.
In this paper we derive the first explicit optimal approximation algorithm
and the corresponding approximation factor using a new result on Gaussian
partitions due to Isaksson and Mossel (2012). This Gaussian result allows us to
determine exactly the Unique Games Hardness of MAX-3-EQUAL. In particular, our
results show that Zwick algorithm for this problem achieves the optimal
approximation factor and prove that the approximation achieved by the algorithm
is as conjectured by Zwick.
We further use the previously known optimal Gaussian partitions results to
obtain a new Unique Games Hardness factor for MAX-k-CSP : Using the well known
fact that jointly normal pairwise independent random variables are fully
independent, we show that the the UGC hardness of Max-k-CSP is , improving on results of Austrin and Mossel (2009)
The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem
We determine the exact threshold of satisfiability for random instances of a
particular NP-complete constraint satisfaction problem (CSP). This is the first
random CSP model for which we have determined a precise linear satisfiability
threshold, and for which random instances with density near that threshold
appear to be computationally difficult. More formally, it is the first random
CSP model for which the satisfiability threshold is known and which shares the
following characteristics with random k-SAT for k >= 3. The problem is
NP-complete, the satisfiability threshold occurs when there is a linear number
of clauses, and a uniformly random instance with a linear number of clauses
asymptotically almost surely has exponential resolution complexity.Comment: This is the long version of a paper that will be published in the
SIAM Journal on Discrete Mathematics. This long version includes an appendix
and a computer program. The contents of the paper are unchanged in the latest
version. The format of the arxiv submission was changed so that the computer
program will appear as an ancillary file. Some comments in the computer
program were update
- …