97,647 research outputs found
Integrable nonlinear equations on a circle
The concept of integrable boundary value problems for soliton equations on
and is extended to bounded regions enclosed by
smooth curves. Classes of integrable boundary conditions on a circle for the
Toda lattice and its reductions are found.Comment: 23 page
Parameterized Complexity of Graph Constraint Logic
Graph constraint logic is a framework introduced by Hearn and Demaine, which
provides several problems that are often a convenient starting point for
reductions. We study the parameterized complexity of Constraint Graph
Satisfiability and both bounded and unbounded versions of Nondeterministic
Constraint Logic (NCL) with respect to solution length, treewidth and maximum
degree of the underlying constraint graph as parameters. As a main result we
show that restricted NCL remains PSPACE-complete on graphs of bounded
bandwidth, strengthening Hearn and Demaine's framework. This allows us to
improve upon existing results obtained by reduction from NCL. We show that
reconfiguration versions of several classical graph problems (including
independent set, feedback vertex set and dominating set) are PSPACE-complete on
planar graphs of bounded bandwidth and that Rush Hour, generalized to boards, is PSPACE-complete even when is at most a constant
On the Closest Vector Problem with a Distance Guarantee
We present a substantially more efficient variant, both in terms of running
time and size of preprocessing advice, of the algorithm by Liu, Lyubashevsky,
and Micciancio for solving CVPP (the preprocessing version of the Closest
Vector Problem, CVP) with a distance guarantee. For instance, for any , our algorithm finds the (unique) closest lattice point for any target
point whose distance from the lattice is at most times the length of
the shortest nonzero lattice vector, requires as preprocessing advice only vectors, and runs in
time .
As our second main contribution, we present reductions showing that it
suffices to solve CVP, both in its plain and preprocessing versions, when the
input target point is within some bounded distance of the lattice. The
reductions are based on ideas due to Kannan and a recent sparsification
technique due to Dadush and Kun. Combining our reductions with the LLM
algorithm gives an approximation factor of for search
CVPP, improving on the previous best of due to Lagarias, Lenstra,
and Schnorr. When combined with our improved algorithm we obtain, somewhat
surprisingly, that only O(n) vectors of preprocessing advice are sufficient to
solve CVPP with (the only slightly worse) approximation factor of O(n).Comment: An early version of the paper was titled "On Bounded Distance
Decoding and the Closest Vector Problem with Preprocessing". Conference on
Computational Complexity (2014
New Inapproximability Bounds for TSP
In this paper, we study the approximability of the metric Traveling Salesman
Problem (TSP) and prove new explicit inapproximability bounds for that problem.
The best up to now known hardness of approximation bounds were 185/184 for the
symmetric case (due to Lampis) and 117/116 for the asymmetric case (due to
Papadimitriou and Vempala). We construct here two new bounded occurrence CSP
reductions which improve these bounds to 123/122 and 75/74, respectively. The
latter bound is the first improvement in more than a decade for the case of the
asymmetric TSP. One of our main tools, which may be of independent interest, is
a new construction of a bounded degree wheel amplifier used in the proof of our
results
- …