1,601 research outputs found
A Breezing Proof of the KMW Bound
In their seminal paper from 2004, Kuhn, Moscibroda, and Wattenhofer (KMW)
proved a hardness result for several fundamental graph problems in the LOCAL
model: For any (randomized) algorithm, there are input graphs with nodes
and maximum degree on which (expected) communication rounds are
required to obtain polylogarithmic approximations to a minimum vertex cover,
minimum dominating set, or maximum matching. Via reduction, this hardness
extends to symmetry breaking tasks like finding maximal independent sets or
maximal matchings. Today, more than years later, there is still no proof
of this result that is easy on the reader. Setting out to change this, in this
work, we provide a fully self-contained and proof of the KMW
lower bound. The key argument is algorithmic, and it relies on an invariant
that can be readily verified from the generation rules of the lower bound
graphs.Comment: 21 pages, 6 figure
Planar Induced Subgraphs of Sparse Graphs
We show that every graph has an induced pseudoforest of at least
vertices, an induced partial 2-tree of at least vertices, and an
induced planar subgraph of at least vertices. These results are
constructive, implying linear-time algorithms to find the respective induced
subgraphs. We also show that the size of the largest -minor-free graph in
a given graph can sometimes be at most .Comment: Accepted by Graph Drawing 2014. To appear in Journal of Graph
Algorithms and Application
Characterization and Efficient Search of Non-Elementary Trapping Sets of LDPC Codes with Applications to Stopping Sets
In this paper, we propose a characterization for non-elementary trapping sets
(NETSs) of low-density parity-check (LDPC) codes. The characterization is based
on viewing a NETS as a hierarchy of embedded graphs starting from an ETS. The
characterization corresponds to an efficient search algorithm that under
certain conditions is exhaustive. As an application of the proposed
characterization/search, we obtain lower and upper bounds on the stopping
distance of LDPC codes.
We examine a large number of regular and irregular LDPC codes, and
demonstrate the efficiency and versatility of our technique in finding lower
and upper bounds on, and in many cases the exact value of, . Finding
, or establishing search-based lower or upper bounds, for many of the
examined codes are out of the reach of any existing algorithm
- …