892 research outputs found
Grad and Classes with Bounded Expansion II. Algorithmic Aspects
Classes of graphs with bounded expansion are a generalization of both proper
minor closed classes and degree bounded classes. Such classes are based on a
new invariant, the greatest reduced average density (grad) of G with rank r,
∇r(G). These classes are also characterized by the existence of several
partition results such as the existence of low tree-width and low tree-depth
colorings. These results lead to several new linear time algorithms, such as an
algorithm for counting all the isomorphs of a fixed graph in an input graph or
an algorithm for checking whether there exists a subset of vertices of a priori
bounded size such that the subgraph induced by this subset satisfies some
arbirtrary but fixed first order sentence. We also show that for fixed p,
computing the distances between two vertices up to distance p may be performed
in constant time per query after a linear time preprocessing. We also show,
extending several earlier results, that a class of graphs has sublinear
separators if it has sub-exponential expansion. This result result is best
possible in general
Join-Reachability Problems in Directed Graphs
For a given collection G of directed graphs we define the join-reachability
graph of G, denoted by J(G), as the directed graph that, for any pair of
vertices a and b, contains a path from a to b if and only if such a path exists
in all graphs of G. Our goal is to compute an efficient representation of J(G).
In particular, we consider two versions of this problem. In the explicit
version we wish to construct the smallest join-reachability graph for G. In the
implicit version we wish to build an efficient data structure (in terms of
space and query time) such that we can report fast the set of vertices that
reach a query vertex in all graphs of G. This problem is related to the
well-studied reachability problem and is motivated by emerging applications of
graph-structured databases and graph algorithms. We consider the construction
of join-reachability structures for two graphs and develop techniques that can
be applied to both the explicit and the implicit problem. First we present
optimal and near-optimal structures for paths and trees. Then, based on these
results, we provide efficient structures for planar graphs and general directed
graphs
The Parameterized Complexity of the Minimum Shared Edges Problem
We study the NP-complete Minimum Shared Edges (MSE) problem. Given an
undirected graph, a source and a sink vertex, and two integers p and k, the
question is whether there are p paths in the graph connecting the source with
the sink and sharing at most k edges. Herein, an edge is shared if it appears
in at least two paths. We show that MSE is W[1]-hard when parameterized by the
treewidth of the input graph and the number k of shared edges combined. We show
that MSE is fixed-parameter tractable with respect to p, but does not admit a
polynomial-size kernel (unless NP is contained in coNP/poly). In the proof of
the fixed-parameter tractability of MSE parameterized by p, we employ the
treewidth reduction technique due to Marx, O'Sullivan, and Razgon [ACM TALG
2013].Comment: 35 pages, 16 figure
Deterministic and Probabilistic Binary Search in Graphs
We consider the following natural generalization of Binary Search: in a given
undirected, positively weighted graph, one vertex is a target. The algorithm's
task is to identify the target by adaptively querying vertices. In response to
querying a node , the algorithm learns either that is the target, or is
given an edge out of that lies on a shortest path from to the target.
We study this problem in a general noisy model in which each query
independently receives a correct answer with probability (a
known constant), and an (adversarial) incorrect one with probability .
Our main positive result is that when (i.e., all answers are
correct), queries are always sufficient. For general , we give an
(almost information-theoretically optimal) algorithm that uses, in expectation,
no more than queries, and identifies the target correctly with probability at
leas . Here, denotes the
entropy. The first bound is achieved by the algorithm that iteratively queries
a 1-median of the nodes not ruled out yet; the second bound by careful repeated
invocations of a multiplicative weights algorithm.
Even for , we show several hardness results for the problem of
determining whether a target can be found using queries. Our upper bound of
implies a quasipolynomial-time algorithm for undirected connected
graphs; we show that this is best-possible under the Strong Exponential Time
Hypothesis (SETH). Furthermore, for directed graphs, or for undirected graphs
with non-uniform node querying costs, the problem is PSPACE-complete. For a
semi-adaptive version, in which one may query nodes each in rounds, we
show membership in in the polynomial hierarchy, and hardness
for
On rooted directed path graphs
An asteroidal triple is a stable set of three vertices such that each pair is connected by a path avoiding the neighborhood of the third vertex. An asteroidal quadruple is a stable set of four vertices such that any three of them is an asteroidal triple. Two non adjacent vertices are linked by a special connection if either they have a common neighbor or they are the endpoints of two vertex-disjoint chordless paths satisfying certain technical conditions. Cameron, Ho`ang, and L´evˆeque [DIMAP Workshop on Algorithmic Graph Theory, 67–74, Electron. Notes Discrete Math., 32, Elsevier, 2009] proved that if a pair of non adjacent vertices are linked by a special connection then in any directed path model T the subpaths of T corresponding to the vertices forming the special connection have to overlap and they force T to be completely directed in one direction between these vertices. Special connections along with the concept of asteroidal quadruple play an important role to study rooted directed path graphs, which are the intersection graphs of directed paths in a rooted directed tree. In this work we define other special connections; these special connections along with the ones defined by Cameron, Ho`ang, and L´evˆeque are nine in total, and we prove that every one forces T to be completely directed in one direction between these vertices. Also, we give a characterization of rooted directed path graphs whose rooted models cannot be rooted on a bold maximal clique. As a by-product of our result, we build new forbidden induced subgraphs for rooted directed path graphs.Fil: Tondato, Silvia Beatriz. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; ArgentinaFil: Gutierrez, Marisa. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata; Argentin
- …