107 research outputs found
Modified Linear Programming and Class 0 Bounds for Graph Pebbling
Given a configuration of pebbles on the vertices of a connected graph , a
\emph{pebbling move} removes two pebbles from some vertex and places one pebble
on an adjacent vertex. The \emph{pebbling number} of a graph is the
smallest integer such that for each vertex and each configuration of
pebbles on there is a sequence of pebbling moves that places at least
one pebble on .
First, we improve on results of Hurlbert, who introduced a linear
optimization technique for graph pebbling. In particular, we use a different
set of weight functions, based on graphs more general than trees. We apply this
new idea to some graphs from Hurlbert's paper to give improved bounds on their
pebbling numbers.
Second, we investigate the structure of Class 0 graphs with few edges. We
show that every -vertex Class 0 graph has at least
edges. This disproves a conjecture of Blasiak et al. For diameter 2 graphs, we
strengthen this lower bound to , which is best possible. Further, we
characterize the graphs where the bound holds with equality and extend the
argument to obtain an identical bound for diameter 2 graphs with no cut-vertex.Comment: 19 pages, 8 figure
Domination Cover Pebbling: Structural Results
This paper continues the results of "Domination Cover Pebbling: Graph
Families." An almost sharp bound for the domination cover pebbling (DCP) number
for graphs G with specified diameter has been computed. For graphs of diameter
two, a bound for the ratio between the cover pebbling number of G and the DCP
number of G has been computed. A variant of domination cover pebbling, called
subversion DCP is introducted, and preliminary results are discussed.Comment: 15 page
Approximating Cumulative Pebbling Cost Is Unique Games Hard
The cumulative pebbling complexity of a directed acyclic graph is defined
as , where the minimum is taken over all
legal (parallel) black pebblings of and denotes the number of
pebbles on the graph during round . Intuitively, captures
the amortized Space-Time complexity of pebbling copies of in parallel.
The cumulative pebbling complexity of a graph is of particular interest in
the field of cryptography as is tightly related to the
amortized Area-Time complexity of the Data-Independent Memory-Hard Function
(iMHF) [AS15] defined using a constant indegree directed acyclic
graph (DAG) and a random oracle . A secure iMHF should have
amortized Space-Time complexity as high as possible, e.g., to deter brute-force
password attacker who wants to find such that . Thus, to
analyze the (in)security of a candidate iMHF , it is crucial to
estimate the value but currently, upper and lower bounds for
leading iMHF candidates differ by several orders of magnitude. Blocki and Zhou
recently showed that it is -Hard to compute , but
their techniques do not even rule out an efficient
-approximation algorithm for any constant . We
show that for any constant , it is Unique Games hard to approximate
to within a factor of .
(See the paper for the full abstract.)Comment: 28 pages, updated figures and corrected typo
Completeness Results for Parameterized Space Classes
The parameterized complexity of a problem is considered "settled" once it has
been shown to lie in FPT or to be complete for a class in the W-hierarchy or a
similar parameterized hierarchy. Several natural parameterized problems have,
however, resisted such a classification. At least in some cases, the reason is
that upper and lower bounds for their parameterized space complexity have
recently been obtained that rule out completeness results for parameterized
time classes. In this paper, we make progress in this direction by proving that
the associative generability problem and the longest common subsequence problem
are complete for parameterized space classes. These classes are defined in
terms of different forms of bounded nondeterminism and in terms of simultaneous
time--space bounds. As a technical tool we introduce a "union operation" that
translates between problems complete for classical complexity classes and for
W-classes.Comment: IPEC 201
A linear optimization technique for graph pebbling
Graph pebbling is a network model for studying whether or not a given supply
of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling
move across an edge of a graph takes two pebbles from one endpoint and places
one pebble at the other endpoint; the other pebble is lost in transit as a
toll. It has been shown that deciding whether a supply can meet a demand on a
graph is NP-complete. The pebbling number of a graph is the smallest t such
that every supply of t pebbles can satisfy every demand of one pebble. Deciding
if the pebbling number is at most k is \Pi_2^P-complete. In this paper we
develop a tool, called the Weight Function Lemma, for computing upper bounds
and sometimes exact values for pebbling numbers with the assistance of linear
optimization. With this tool we are able to calculate the pebbling numbers of
much larger graphs than in previous algorithms, and much more quickly as well.
We also obtain results for many families of graphs, in many cases by hand, with
much simpler and remarkably shorter proofs than given in previously existing
arguments (certificates typically of size at most the number of vertices times
the maximum degree), especially for highly symmetric graphs. Here we apply the
Weight Function Lemma to several specific graphs, including the Petersen,
Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a
number of infinite families of graphs, such as trees, cycles, graph powers of
cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly
answers a question of Pachter, et al., by computing the pebbling exponent of
cycles to within an asymptotically small range. It is conceivable that this
method yields an approximation algorithm for graph pebbling
A linear optimization technique for graph pebbling
Graph pebbling is a network model for studying whether or not a given supply of discrete pebbles can satisfy a given demand via pebbling moves. A pebbling move across an edge of a graph takes two pebbles from one endpoint and places one pebble at the other endpoint; the other pebble is lost in transit as a toll. It has been shown that deciding whether a supply can meet a demand on a graph is NP-complete. The pebbling number of a graph is the smallest t such that every supply of t pebbles can satisfy every demand of one pebble. Deciding if the pebbling number is at most k is NP 2 -complete. In this paper we develop a tool, called theWeight Function Lemma, for computing upper bounds and sometimes exact values for pebbling numbers with the assistance of linear optimization. With this tool we are able to calculate the pebbling numbers of much larger graphs than in previous algorithms, and much more quickly as well. We also obtain results for many families of graphs, in many cases by hand, with much simpler and remarkably shorter proofs than given in previously existing arguments (certificates typically of size at most the number of vertices times the maximum degree), especially for highly symmetric graphs. Here we apply theWeight Function Lemma to several specific graphs, including the Petersen, Lemke, 4th weak Bruhat, Lemke squared, and two random graphs, as well as to a number of infinite families of graphs, such as trees, cycles, graph powers of cycles, cubes, and some generalized Petersen and Coxeter graphs. This partly answers a question of Pachter, et al., by computing the pebbling exponent of cycles to within an asymptotically small range. It is conceivable that this method yields an approximation algorithm for graph pebbling
- …