857 research outputs found
Towards an Isomorphism Dichotomy for Hereditary Graph Classes
In this paper we resolve the complexity of the isomorphism problem on all but
finitely many of the graph classes characterized by two forbidden induced
subgraphs. To this end we develop new techniques applicable for the structural
and algorithmic analysis of graphs. First, we develop a methodology to show
isomorphism completeness of the isomorphism problem on graph classes by
providing a general framework unifying various reduction techniques. Second, we
generalize the concept of the modular decomposition to colored graphs, allowing
for non-standard decompositions. We show that, given a suitable decomposition
functor, the graph isomorphism problem reduces to checking isomorphism of
colored prime graphs. Third, we extend the techniques of bounded color valence
and hypergraph isomorphism on hypergraphs of bounded color size as follows. We
say a colored graph has generalized color valence at most k if, after removing
all vertices in color classes of size at most k, for each color class C every
vertex has at most k neighbors in C or at most k non-neighbors in C. We show
that isomorphism of graphs of bounded generalized color valence can be solved
in polynomial time.Comment: 37 pages, 4 figure
On bounding the difference between the maximum degree and the chromatic number by a constant
We provide a finite forbidden induced subgraph characterization for the graph
class , for all , which is defined as
follows. A graph is in if for any induced subgraph, holds, where is the maximum degree and is the
chromatic number of the subgraph.
We compare these results with those given in [O. Schaudt, V. Weil, On
bounding the difference between the maximum degree and the clique number,
Graphs and Combinatorics 31(5), 1689-1702 (2015). DOI:
10.1007/s00373-014-1468-3], where we studied the graph class , for
, whose graphs are such that for any induced subgraph,
holds, where denotes the clique number of
a graph. In particular, we give a characterization in terms of
and of those graphs where the neighborhood of every vertex is
perfect.Comment: 10 pages, 4 figure
On First-Order Definable Colorings
We address the problem of characterizing -coloring problems that are
first-order definable on a fixed class of relational structures. In this
context, we give several characterizations of a homomorphism dualities arising
in a class of structure
Bipartite Minors
We introduce a notion of bipartite minors and prove a bipartite analog of
Wagner's theorem: a bipartite graph is planar if and only if it does not
contain as a bipartite minor. Similarly, we provide a forbidden minor
characterization for outerplanar graphs and forests. We then establish a
recursive characterization of bipartite -Laman graphs --- a certain
family of graphs that contains all maximal bipartite planar graphs.Comment: 9 page
- …