209,262 research outputs found
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
Universality for graphs of bounded degeneracy
Given a family of graphs, a graph is called
-universal if contains every graph of as a
subgraph. Following the extensive research on universal graphs of small size
for bounded-degree graphs, Alon asked what is the minimum number of edges that
a graph must have to be universal for the class of all -vertex graphs that
are -degenerate. In this paper, we answer this question up to a factor that
is polylogarithmic in Comment: 17 page
Superpatterns and Universal Point Sets
An old open problem in graph drawing asks for the size of a universal point
set, a set of points that can be used as vertices for straight-line drawings of
all n-vertex planar graphs. We connect this problem to the theory of
permutation patterns, where another open problem concerns the size of
superpatterns, permutations that contain all patterns of a given size. We
generalize superpatterns to classes of permutations determined by forbidden
patterns, and we construct superpatterns of size n^2/4 + Theta(n) for the
213-avoiding permutations, half the size of known superpatterns for
unconstrained permutations. We use our superpatterns to construct universal
point sets of size n^2/4 - Theta(n), smaller than the previous bound by a 9/16
factor. We prove that every proper subclass of the 213-avoiding permutations
has superpatterns of size O(n log^O(1) n), which we use to prove that the
planar graphs of bounded pathwidth have near-linear universal point sets.Comment: GD 2013 special issue of JGA
Universal Factor Graphs for Every NP-Hard Boolean CSP
An instance of a Boolean constraint satisfaction problem can be divided into two parts. One part, that we refer to as the factor graph of the instance, specifies for each clause the set of variables that are associated with the clause. The other part, specifies for each of the given clauses what is the constraint that is evaluated on the respective variables. Depending on the allowed choices of constraints, it is known that Boolean constraint satisfaction problems fall into one of two classes, being either NP-hard or in P.
This paper shows that every NP-hard Boolean constraint satisfaction problem (except for an easy to characterize set of natural exceptions) has a universal factor graph. That is, for every NP-hard Boolean constraint satisfaction problem, there is a family of at most one factor graph of each size, such that the problem, restricted to instances that have a factor graph from this family, cannot be solved in polynomial time unless NP is contained in P/poly. Moreover, we extend this classification to one that establishes hardness of approximation
Max-3-Lin over Non-Abelian Groups with Universal Factor Graphs
Factor graph of an instance of a constraint satisfaction problem with n variables and m constraints is the bipartite graph between [m] and [n] describing which variable appears in which constraints. Thus, an instance of a CSP is completely defined by its factor graph and the list of predicates. We show inapproximability of Max-3-LIN over non-abelian groups (both in the perfect completeness case and in the imperfect completeness case), with the same inapproximability factor as in the general case, even when the factor graph is fixed.
Along the way, we also show that these optimal hardness results hold even when we restrict the linear equations in the Max-3-LIN instances to the form x? y? z = g, where x,y,z are the variables and g is a group element. We use representation theory and Fourier analysis over non-abelian groups to analyze the reductions
- …