16 research outputs found
Universal graphs and universal permutations
Let be a family of graphs and the set of -vertex graphs in .
A graph containing all graphs from as induced subgraphs is
called -universal for . Moreover, we say that is a proper
-universal graph for if it belongs to . In the present paper, we
construct a proper -universal graph for the class of split permutation
graphs. Our solution includes two ingredients: a proper universal 321-avoiding
permutation and a bijection between 321-avoiding permutations and symmetric
split permutation graphs. The -universal split permutation graph constructed
in this paper has vertices, which means that this construction is
order-optimal.Comment: To appear in Discrete Mathematics, Algorithms and Application
Dynamic and Multi-functional Labeling Schemes
We investigate labeling schemes supporting adjacency, ancestry, sibling, and
connectivity queries in forests. In the course of more than 20 years, the
existence of labeling schemes supporting each of these
functions was proven, with the most recent being ancestry [Fraigniaud and
Korman, STOC '10]. Several multi-functional labeling schemes also enjoy lower
or upper bounds of or
respectively. Notably an upper bound of for
adjacency+siblings and a lower bound of for each of the
functions siblings, ancestry, and connectivity [Alstrup et al., SODA '03]. We
improve the constants hidden in the -notation. In particular we show a lower bound for connectivity+ancestry and
connectivity+siblings, as well as an upper bound of for connectivity+adjacency+siblings by altering existing
methods.
In the context of dynamic labeling schemes it is known that ancestry requires
bits [Cohen, et al. PODS '02]. In contrast, we show upper and lower
bounds on the label size for adjacency, siblings, and connectivity of
bits, and to support all three functions. There exist efficient
adjacency labeling schemes for planar, bounded treewidth, bounded arboricity
and interval graphs. In a dynamic setting, we show a lower bound of
for each of those families.Comment: 17 pages, 5 figure
Distance labeling schemes for trees
We consider distance labeling schemes for trees: given a tree with nodes,
label the nodes with binary strings such that, given the labels of any two
nodes, one can determine, by looking only at the labels, the distance in the
tree between the two nodes.
A lower bound by Gavoille et. al. (J. Alg. 2004) and an upper bound by Peleg
(J. Graph Theory 2000) establish that labels must use
bits\footnote{Throughout this paper we use for .}. Gavoille et.
al. (ESA 2001) show that for very small approximate stretch, labels use
bits. Several other papers investigate various
variants such as, for example, small distances in trees (Alstrup et. al.,
SODA'03).
We improve the known upper and lower bounds of exact distance labeling by
showing that bits are needed and that bits are sufficient. We also give ()-stretch labeling
schemes using bits for constant .
()-stretch labeling schemes with polylogarithmic label size have
previously been established for doubling dimension graphs by Talwar (STOC
2004).
In addition, we present matching upper and lower bounds for distance labeling
for caterpillars, showing that labels must have size . For simple paths with nodes and edge weights in , we show that
labels must have size
Labeling Schemes for Bounded Degree Graphs
We investigate adjacency labeling schemes for graphs of bounded degree
. In particular, we present an optimal (up to an additive
constant) adjacency labeling scheme for bounded degree trees.
The latter scheme is derived from a labeling scheme for bounded degree
outerplanar graphs. Our results complement a similar bound recently obtained
for bounded depth trees [Fraigniaud and Korman, SODA 10], and may provide new
insights for closing the long standing gap for adjacency in trees [Alstrup and
Rauhe, FOCS 02]. We also provide improved labeling schemes for bounded degree
planar graphs. Finally, we use combinatorial number systems and present an
improved adjacency labeling schemes for graphs of bounded degree with
Simpler, faster and shorter labels for distances in graphs
We consider how to assign labels to any undirected graph with n nodes such
that, given the labels of two nodes and no other information regarding the
graph, it is possible to determine the distance between the two nodes. The
challenge in such a distance labeling scheme is primarily to minimize the
maximum label lenght and secondarily to minimize the time needed to answer
distance queries (decoding). Previous schemes have offered different trade-offs
between label lengths and query time. This paper presents a simple algorithm
with shorter labels and shorter query time than any previous solution, thereby
improving the state-of-the-art with respect to both label length and query time
in one single algorithm. Our solution addresses several open problems
concerning label length and decoding time and is the first improvement of label
length for more than three decades.
More specifically, we present a distance labeling scheme with label size (log
3)/2 + o(n) (logarithms are in base 2) and O(1) decoding time. This outperforms
all existing results with respect to both size and decoding time, including
Winkler's (Combinatorica 1983) decade-old result, which uses labels of size
(log 3)n and O(n/log n) decoding time, and Gavoille et al. (SODA'01), which
uses labels of size 11n + o(n) and O(loglog n) decoding time. In addition, our
algorithm is simpler than the previous ones. In the case of integral edge
weights of size at most W, we present almost matching upper and lower bounds
for label sizes. For r-additive approximation schemes, where distances can be
off by an additive constant r, we give both upper and lower bounds. In
particular, we present an upper bound for 1-additive approximation schemes
which, in the unweighted case, has the same size (ignoring second order terms)
as an adjacency scheme: n/2. We also give results for bipartite graphs and for
exact and 1-additive distance oracles
Adjacency labeling schemes and induced-universal graphs
We describe a way of assigning labels to the vertices of any undirected graph
on up to vertices, each composed of bits, such that given the
labels of two vertices, and no other information regarding the graph, it is
possible to decide whether or not the vertices are adjacent in the graph. This
is optimal, up to an additive constant, and constitutes the first improvement
in almost 50 years of an bound of Moon. As a consequence, we
obtain an induced-universal graph for -vertex graphs containing only
vertices, which is optimal up to a multiplicative constant,
solving an open problem of Vizing from 1968. We obtain similar tight results
for directed graphs, tournaments and bipartite graphs
Near-Optimal Induced Universal Graphs for Bounded Degree Graphs
A graph is an induced universal graph for a family of graphs if every
graph in is a vertex-induced subgraph of . For the family of all
undirected graphs on vertices Alstrup, Kaplan, Thorup, and Zwick [STOC
2015] give an induced universal graph with vertices,
matching a lower bound by Moon [Proc. Glasgow Math. Assoc. 1965].
Let . Improving asymptotically on previous results by
Butler [Graphs and Combinatorics 2009] and Esperet, Arnaud and Ochem [IPL
2008], we give an induced universal graph with vertices for the family of graphs with vertices of maximum degree
. For constant , Butler gives a lower bound of
. For an odd constant , Esperet et al.
and Alon and Capalbo [SODA 2008] give a graph with
vertices. Using their techniques for any
(including constant) even values of gives asymptotically worse bounds than
we present.
For large , i.e. when , the previous best
upper bound was due to Adjiashvili and
Rotbart [ICALP 2014]. We give upper and lower bounds showing that the size is
. Hence the optimal size is
and our construction is within a factor of
from this. The previous results were
larger by at least a factor of .
As a part of the above, proving a conjecture by Esperet et al., we construct
an induced universal graph with vertices for the family of graphs with
max degree . In addition, we give results for acyclic graphs with max degree
and cycle graphs. Our results imply the first labeling schemes that for any
are at most bits from optimal
Quasipolynomiality of the Smallest Missing Induced Subgraph
We study the problem of finding the smallest graph that does not occur as an
induced subgraph of a given graph. This missing induced subgraph has at most
logarithmic size and can be found by a brute-force search, in an -vertex
graph, in time . We show that under the Exponential Time
Hypothesis this quasipolynomial time bound is optimal. We also consider
variations of the problem in which either the missing subgraph or the given
graph comes from a restricted graph family; for instance, we prove that the
smallest missing planar induced subgraph of a given planar graph can be found
in polynomial time.Comment: 10 pages, 1 figure. To appear in J. Graph Algorithms Appl. This
version updates an author affiliatio