1,908 research outputs found
Planarity is (almost) locally checkable in constant-time
Locally checkable proofs for graph properties were introduced by G\"o\"os and
Suomela \cite{GS}. Roughly speaking, a graph property \cP is locally
checkable in constant-time, if the vertices of a graph having the property can
be convinced, in a short period of time not depending on the size of the graph,
that they are indeed vertices of a graph having the given property.
For a given \eps>0, we call a property \cP \eps-locally checkable in
constant-time if the vertices of a graph having the given property can be
convinced at least that they are in a graph \eps-close to the given property.
We say that a property \cP is almost locally checkable in constant-time, if
for all \eps>0, \cP is \eps-locally checkable in constant-time. It is not
hard to see that in the universe of bounded degree graphs planarity is not
locally checkable in constant-time. However, the main result of this paper is
that planarity of bounded degree graphs is almost locally checkable in
constant-time. The proof is based on the surprising fact that although graphs
cannot be convinced by their planarity or hyperfiniteness, planar graphs can be
convinced by their own hyperfiniteness. The reason behind this fact is that the
class of planar graphs are not only hyperfinite but possesses Property A of Yu.Comment: 13 page
Locally checkable proofs
This work studies decision problems from the perspective of nondeterministic distributed algorithms. For a yes-instance there must exist a proof that can be verified with a distributed algorithm: all nodes must accept a valid proof, and at least one node must reject an invalid proof. We focus on locally checkable proofs that can be verified with a constant-time distributed algorithm. For example, it is easy to prove that a graph is bipartite: the locally checkable proof gives a 2-colouring of the graph, which only takes 1 bit per node. However, it is more difficult to prove that a graph is not bipartite—it turns out that any locally checkable proof requires Ω(log n) bits per node. In this work we classify graph problems according to their local proof complexity, i.e., how many bits per node are needed in a locally checkable proof. We establish tight or near-tight results for classical graph properties such as the chromatic number. We show that the proof complexities form a natural hierarchy of complexity classes: for many classical graph problems, the proof complexity is either 0, Θ(1), Θ(log n), or poly(n) bits per node. Among the most difficult graph properties are symmetric graphs, which require Ω(n2) bits per node, and non-3-colourable graphs, which require Ω(n2/log n) bits per node—any pure graph property admits a trivial proof of size O(n2).Peer reviewe
Fast exact algorithms for some connectivity problems parametrized by clique-width
Given a clique-width -expression of a graph , we provide time algorithms for connectivity constraints on locally checkable properties
such as Node-Weighted Steiner Tree, Connected Dominating Set, or Connected
Vertex Cover. We also propose a time algorithm for Feedback
Vertex Set. The best running times for all the considered cases were either
or worse
Locally Checkable Problems Parameterized by Clique-Width
We continue the study initiated by Bonomo-Braberman and Gonzalez in 2020 on r-locally checkable problems. We propose a dynamic programming algorithm that takes as input a graph with an associated clique-width expression and solves a 1-locally checkable problem under certain restrictions. We show that it runs in polynomial time in graphs of bounded clique-width, when the number of colors of the locally checkable problem is fixed. Furthermore, we present a first extension of our framework to global properties by taking into account the sizes of the color classes, and consequently enlarge the set of problems solvable in polynomial time with our approach in graphs of bounded clique-width. As examples, we apply this setting to show that, when parameterized by clique-width, the [k]-Roman domination problem is FPT, and the k-community problem, Max PDS and other variants are XP
Trade-Offs in Distributed Interactive Proofs
The study of interactive proofs in the context of distributed network computing is a novel topic, recently introduced by Kol, Oshman, and Saxena [PODC 2018]. In the spirit of sequential interactive proofs theory, we study the power of distributed interactive proofs. This is achieved via a series of results establishing trade-offs between various parameters impacting the power of interactive proofs, including the number of interactions, the certificate size, the communication complexity, and the form of randomness used. Our results also connect distributed interactive proofs with the established field of distributed verification. In general, our results contribute to providing structure to the landscape of distributed interactive proofs
New Classes of Distributed Time Complexity
A number of recent papers -- e.g. Brandt et al. (STOC 2016), Chang et al.
(FOCS 2016), Ghaffari & Su (SODA 2017), Brandt et al. (PODC 2017), and Chang &
Pettie (FOCS 2017) -- have advanced our understanding of one of the most
fundamental questions in theory of distributed computing: what are the possible
time complexity classes of LCL problems in the LOCAL model? In essence, we have
a graph problem in which a solution can be verified by checking all
radius- neighbourhoods, and the question is what is the smallest such
that a solution can be computed so that each node chooses its own output based
on its radius- neighbourhood. Here is the distributed time complexity of
.
The time complexity classes for deterministic algorithms in bounded-degree
graphs that are known to exist by prior work are , , , , and . It is also known
that there are two gaps: one between and , and
another between and . It has been conjectured
that many more gaps exist, and that the overall time hierarchy is relatively
simple -- indeed, this is known to be the case in restricted graph families
such as cycles and grids.
We show that the picture is much more diverse than previously expected. We
present a general technique for engineering LCL problems with numerous
different deterministic time complexities, including
for any , for any , and
for any in the high end of the complexity
spectrum, and for any ,
for any , and
for any in the low end; here
is a positive rational number
The power of quantum systems on a line
We study the computational strength of quantum particles (each of finite
dimensionality) arranged on a line. First, we prove that it is possible to
perform universal adiabatic quantum computation using a one-dimensional quantum
system (with 9 states per particle). This might have practical implications for
experimentalists interested in constructing an adiabatic quantum computer.
Building on the same construction, but with some additional technical effort
and 12 states per particle, we show that the problem of approximating the
ground state energy of a system composed of a line of quantum particles is
QMA-complete; QMA is a quantum analogue of NP. This is in striking contrast to
the fact that the analogous classical problem, namely, one-dimensional
MAX-2-SAT with nearest neighbor constraints, is in P. The proof of the
QMA-completeness result requires an additional idea beyond the usual techniques
in the area: Not all illegal configurations can be ruled out by local checks,
so instead we rule out such illegal configurations because they would, in the
future, evolve into a state which can be seen locally to be illegal. Our
construction implies (assuming the quantum Church-Turing thesis and that
quantum computers cannot efficiently solve QMA-complete problems) that there
are one-dimensional systems which take an exponential time to relax to their
ground states at any temperature, making them candidates for being
one-dimensional spin glasses.Comment: 21 pages. v2 has numerous corrections and clarifications, and most
importantly a new author, merged from arXiv:0705.4067. v3 is the published
version, with additional clarifications, publisher's version available at
http://www.springerlink.co
- …