11,266 research outputs found
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
Characterising and recognising game-perfect graphs
Consider a vertex colouring game played on a simple graph with
permissible colours. Two players, a maker and a breaker, take turns to colour
an uncoloured vertex such that adjacent vertices receive different colours. The
game ends once the graph is fully coloured, in which case the maker wins, or
the graph can no longer be fully coloured, in which case the breaker wins. In
the game , the breaker makes the first move. Our main focus is on the
class of -perfect graphs: graphs such that for every induced subgraph ,
the game played on admits a winning strategy for the maker with only
colours, where denotes the clique number of .
Complementing analogous results for other variations of the game, we
characterise -perfect graphs in two ways, by forbidden induced subgraphs
and by explicit structural descriptions. We also present a clique module
decomposition, which may be of independent interest, that allows us to
efficiently recognise -perfect graphs.Comment: 39 pages, 8 figures. An extended abstract was accepted at the
International Colloquium on Graph Theory (ICGT) 201
Contraction blockers for graphs with forbidden induced paths.
We consider the following problem: can a certain graph parameter of some given graph be reduced by at least d for some integer d via at most k edge contractions for some given integer k? We examine three graph parameters: the chromatic number, clique number and independence number. For each of these graph parameters we show that, when d is part of the input, this problem is polynomial-time solvable on P4-free graphs and NP-complete as well as W[1]-hard, with parameter d, for split graphs. As split graphs form a subclass of P5-free graphs, both results together give a complete complexity classification for Pℓ-free graphs. The W[1]-hardness result implies that it is unlikely that the problem is fixed-parameter tractable for split graphs with parameter d. But we do show, on the positive side, that the problem is polynomial-time solvable, for each parameter, on split graphs if d is fixed, i.e., not part of the input. We also initiate a study into other subclasses of perfect graphs, namely cobipartite graphs and interval graphs
Clique versus Independent Set
Yannakakis' Clique versus Independent Set problem (CL-IS) in communication
complexity asks for the minimum number of cuts separating cliques from stable
sets in a graph, called CS-separator. Yannakakis provides a quasi-polynomial
CS-separator, i.e. of size , and addresses the problem of
finding a polynomial CS-separator. This question is still open even for perfect
graphs. We show that a polynomial CS-separator almost surely exists for random
graphs. Besides, if H is a split graph (i.e. has a vertex-partition into a
clique and a stable set) then there exists a constant for which we find a
CS-separator on the class of H-free graphs. This generalizes a
result of Yannakakis on comparability graphs. We also provide a
CS-separator on the class of graphs without induced path of length k and its
complement. Observe that on one side, is of order
resulting from Vapnik-Chervonenkis dimension, and on the other side, is
exponential.
One of the main reason why Yannakakis' CL-IS problem is fascinating is that
it admits equivalent formulations. Our main result in this respect is to show
that a polynomial CS-separator is equivalent to the polynomial
Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition
into k complete bipartite graphs, then its chromatic number is polynomially
bounded in terms of k. We also show that the classical approach to the stubborn
problem (arising in CSP) which consists in covering the set of all solutions by
instances of 2-SAT is again equivalent to the existence of a
polynomial CS-separator
OV Graphs Are (Probably) Hard Instances
© Josh Alman and Virginia Vassilevska Williams. A graph G on n nodes is an Orthogonal Vectors (OV) graph of dimension d if there are vectors v1, . . ., vn ∈ {0, 1}d such that nodes i and j are adjacent in G if and only if hvi, vji = 0 over Z. In this paper, we study a number of basic graph algorithm problems, except where one is given as input the vectors defining an OV graph instead of a general graph. We show that for each of the following problems, an algorithm solving it faster on such OV graphs G of dimension only d = O(log n) than in the general case would refute a plausible conjecture about the time required to solve sparse MAX-k-SAT instances: Determining whether G contains a triangle. More generally, determining whether G contains a directed k-cycle for any k ≥ 3. Computing the square of the adjacency matrix of G over Z or F2. Maintaining the shortest distance between two fixed nodes of G, or whether G has a perfect matching, when G is a dynamically updating OV graph. We also prove some complementary results about OV graphs. We show that any problem which is NP-hard on constant-degree graphs is also NP-hard on OV graphs of dimension O(log n), and we give two problems which can be solved faster on OV graphs than in general: Maximum Clique, and Online Matrix-Vector Multiplication
Contraction blockers for graphs with forbidden induced paths
We consider the following problem: can a certain graph parameter of some given graph be reduced by at least d for some integer d via at most k edge contractions for some given integer k? We examine three graph parameters: the chromatic number, clique number and independence number. For each of these graph parameters we show that, when d is part of the input, this problem is polynomial-time solvable on P4-free graphs and NP-complete as well as W[1]-hard, with parameter d, for split graphs. As split graphs form a subclass of P5-free graphs, both results together give a complete complexity classification for Pℓ-free graphs. The W[1]-hardness result implies that it is unlikely that the problem is fixed-parameter tractable for split graphs with parameter d. But we do show, on the positive side, that the problem is polynomial-time solvable, for each parameter, on split graphs if d is fixed, i.e., not part of the input. We also initiate a study into other subclasses of perfect graphs, namely cobipartite graphs and interval graphs
Line game-perfect graphs
The -edge colouring game is played with a set of colours on a
graph with initially uncoloured edges by two players, Alice (A) and Bob
(B). The players move alternately. Player has the first move.
. If , then only player may skip any move,
otherwise skipping is not allowed for any player. A move consists in colouring
an uncoloured edge with one of the colours such that adjacent edges have
distinct colours. When no more moves are possible, the game ends. If every edge
is coloured in the end, Alice wins; otherwise, Bob wins.
The -game chromatic index is the smallest
nonnegative integer such that Alice has a winning strategy for the
-edge colouring game played on with colours. The graph is
called line -perfect if, for any edge-induced subgraph of ,
where denotes the clique
number of the line graph of .
For each of the six possibilities , we
characterise line -perfect graphs by forbidden (edge-induced) subgraphs
and by explicit structural descriptions, respectively
Perfect graphs of arbitrarily large clique-chromatic number
We prove that there exist perfect graphs of arbitrarily large
clique-chromatic number. These graphs can be obtained from cobipartite graphs
by repeatedly gluing along cliques. This negatively answers a question raised
by Duffus, Sands, Sauer, and Woodrow in [Two-coloring all two-element maximal
antichains, J. Combinatorial Theory, Ser. A, 57 (1991), 109-116]
- …