4,518 research outputs found
On the decomposition threshold of a given graph
We study the -decomposition threshold for a given graph .
Here an -decomposition of a graph is a collection of edge-disjoint
copies of in which together cover every edge of . (Such an
-decomposition can only exist if is -divisible, i.e. if and each vertex degree of can be expressed as a linear combination of
the vertex degrees of .)
The -decomposition threshold is the smallest value ensuring
that an -divisible graph on vertices with
has an -decomposition. Our main results imply
the following for a given graph , where is the fractional
version of and :
(i) ;
(ii) if , then
;
(iii) we determine if is bipartite.
In particular, (i) implies that . Our proof
involves further developments of the recent `iterative' absorbing approach.Comment: Final version, to appear in the Journal of Combinatorial Theory,
Series
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
Extremal \u3cem\u3eH\u3c/em\u3e-Colorings of Trees and 2-connected Graphs
For graphs G and H, an H-coloring of G is an adjacency preserving map from the vertices of G to the vertices of H. H-colorings generalize such notions as independent sets and proper colorings in graphs. There has been much recent research on the extremal question of finding the graph(s) among a fixed family that maximize or minimize the number of H-colorings. In this paper, we prove several results in this area. First, we find a class of graphs H with the property that for each H∈H, the n-vertex tree that minimizes the number of H -colorings is the path Pn. We then present a new proof of a theorem of Sidorenko, valid for large n, that for every H the star K1,n−1 is the n-vertex tree that maximizes the number of H-colorings. Our proof uses a stability technique which we also use to show that for any non-regular H (and certain regular H ) the complete bipartite graph K2,n−2 maximizes the number of H-colorings of n -vertex 2-connected graphs. Finally, we show that the cycle Cn has the most proper q-colorings among all n-vertex 2-connected graphs
Clique-Stable Set separation in perfect graphs with no balanced skew-partitions
Inspired by a question of Yannakakis on the Vertex Packing polytope of
perfect graphs, we study the Clique-Stable Set Separation in a non-hereditary
subclass of perfect graphs. A cut (B,W) of G (a bipartition of V(G)) separates
a clique K and a stable set S if and . A
Clique-Stable Set Separator is a family of cuts such that for every clique K,
and for every stable set S disjoint from K, there exists a cut in the family
that separates K and S. Given a class of graphs, the question is to know
whether every graph of the class admits a Clique-Stable Set Separator
containing only polynomially many cuts. It is open for the class of all graphs,
and also for perfect graphs, which was Yannakakis' original question. Here we
investigate on perfect graphs with no balanced skew-partition; the balanced
skew-partition was introduced in the proof of the Strong Perfect Graph Theorem.
Recently, Chudnovsky, Trotignon, Trunck and Vuskovic proved that forbidding
this unfriendly decomposition permits to recursively decompose Berge graphs
using 2-join and complement 2-join until reaching a basic graph, and they found
an efficient combinatorial algorithm to color those graphs. We apply their
decomposition result to prove that perfect graphs with no balanced
skew-partition admit a quadratic-size Clique-Stable Set Separator, by taking
advantage of the good behavior of 2-join with respect to this property. We then
generalize this result and prove that the Strong Erdos-Hajnal property holds in
this class, which means that every such graph has a linear-size biclique or
complement biclique. This property does not hold for all perfect graphs (Fox
2006), and moreover when the Strong Erdos-Hajnal property holds in a hereditary
class of graphs, then both the Erdos-Hajnal property and the polynomial
Clique-Stable Set Separation hold.Comment: arXiv admin note: text overlap with arXiv:1308.644
Polyhedral characteristics of balanced and unbalanced bipartite subgraph problems
We study the polyhedral properties of three problems of constructing an
optimal complete bipartite subgraph (a biclique) in a bipartite graph. In the
first problem we consider a balanced biclique with the same number of vertices
in both parts and arbitrary edge weights. In the other two problems we are
dealing with unbalanced subgraphs of maximum and minimum weight with
nonnegative edges. All three problems are established to be NP-hard. We study
the polytopes and the cone decompositions of these problems and their
1-skeletons. We describe the adjacency criterion in 1-skeleton of the polytope
of the balanced complete bipartite subgraph problem. The clique number of
1-skeleton is estimated from below by a superpolynomial function. For both
unbalanced biclique problems we establish the superpolynomial lower bounds on
the clique numbers of the graphs of nonnegative cone decompositions. These
values characterize the time complexity in a broad class of algorithms based on
linear comparisons
- …