1,759 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
Assessing the Computational Complexity of Multi-Layer Subgraph Detection
Multi-layer graphs consist of several graphs (layers) over the same vertex
set. They are motivated by real-world problems where entities (vertices) are
associated via multiple types of relationships (edges in different layers). We
chart the border of computational (in)tractability for the class of subgraph
detection problems on multi-layer graphs, including fundamental problems such
as maximum matching, finding certain clique relaxations (motivated by community
detection), or path problems. Mostly encountering hardness results, sometimes
even for two or three layers, we can also spot some islands of tractability
Almost spanning subgraphs of random graphs after adversarial edge removal
Let Delta>1 be a fixed integer. We show that the random graph G(n,p) with
p>>(log n/n)^{1/Delta} is robust with respect to the containment of almost
spanning bipartite graphs H with maximum degree Delta and sublinear bandwidth
in the following sense: asymptotically almost surely, if an adversary deletes
arbitrary edges in G(n,p) such that each vertex loses less than half of its
neighbours, then the resulting graph still contains a copy of all such H.Comment: 46 pages, 6 figure
Perfect graphs of fixed density: counting and homogenous sets
For c in [0,1] let P_n(c) denote the set of n-vertex perfect graphs with
density c and C_n(c) the set of n-vertex graphs without induced C_5 and with
density c. We show that
log|P_n(c)|/binom{n}{2}=log|C_n(c)|/binom{n}{2}=h(c)+o(1) with h(c)=1/2 if
1/4<c<3/4 and h(c)=H(|2c-1|)/2 otherwise, where H is the binary entropy
function.
Further, we use this result to deduce that almost all graphs in C_n(c) have
homogenous sets of linear size. This answers a question raised by Loebl, Reed,
Scott, Thomason, and Thomass\'e [Almost all H-free graphs have the
Erd\H{o}s-Hajnal property] in the case of forbidden induced C_5.Comment: 19 page
- …