246,207 research outputs found
Covering Small Independent Sets and Separators with Applications to Parameterized Algorithms
We present two new combinatorial tools for the design of parameterized
algorithms. The first is a simple linear time randomized algorithm that given
as input a -degenerate graph and an integer , outputs an independent
set , such that for every independent set in of size at most ,
the probability that is a subset of is at least .The second is a new (deterministic) polynomial
time graph sparsification procedure that given a graph , a set of terminal pairs and an
integer , returns an induced subgraph of that maintains all
the inclusion minimal multicuts of of size at most , and does not
contain any -vertex connected set of size . In
particular, excludes a clique of size as a
topological minor. Put together, our new tools yield new randomized fixed
parameter tractable (FPT) algorithms for Stable - Separator, Stable Odd
Cycle Transversal and Stable Multicut on general graphs, and for Stable
Directed Feedback Vertex Set on -degenerate graphs, resolving two problems
left open by Marx et al. [ACM Transactions on Algorithms, 2013]. All of our
algorithms can be derandomized at the cost of a small overhead in the running
time.Comment: 35 page
Tur\'an Graphs, Stability Number, and Fibonacci Index
The Fibonacci index of a graph is the number of its stable sets. This
parameter is widely studied and has applications in chemical graph theory. In
this paper, we establish tight upper bounds for the Fibonacci index in terms of
the stability number and the order of general graphs and connected graphs.
Tur\'an graphs frequently appear in extremal graph theory. We show that Tur\'an
graphs and a connected variant of them are also extremal for these particular
problems.Comment: 11 pages, 3 figure
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
Computing graph gonality is hard
There are several notions of gonality for graphs. The divisorial gonality
dgon(G) of a graph G is the smallest degree of a divisor of positive rank in
the sense of Baker-Norine. The stable gonality sgon(G) of a graph G is the
minimum degree of a finite harmonic morphism from a refinement of G to a tree,
as defined by Cornelissen, Kato and Kool. We show that computing dgon(G) and
sgon(G) are NP-hard by a reduction from the maximum independent set problem and
the vertex cover problem, respectively. Both constructions show that computing
gonality is moreover APX-hard.Comment: The previous version only dealt with hardness of the divisorial
gonality. The current version also shows hardness of stable gonality and
discusses the relation between the two graph parameter
- …