44,564 research outputs found
Parameterized Complexity of Independent Set in H-Free Graphs
In this paper, we investigate the complexity of Maximum Independent Set (MIS) in the class of H-free graphs, that is, graphs excluding a fixed graph as an induced subgraph. Given that the problem remains NP-hard for most graphs H, we study its fixed-parameter tractability and make progress towards a dichotomy between FPT and W[1]-hard cases. We first show that MIS remains W[1]-hard in graphs forbidding simultaneously K_{1, 4}, any finite set of cycles of length at least 4, and any finite set of trees with at least two branching vertices. In particular, this answers an open question of Dabrowski et al. concerning C_4-free graphs. Then we extend the polynomial algorithm of Alekseev when H is a disjoint union of edges to an FPT algorithm when H is a disjoint union of cliques. We also provide a framework for solving several other cases, which is a generalization of the concept of iterative expansion accompanied by the extraction of a particular structure using Ramsey\u27s theorem. Iterative expansion is a maximization version of the so-called iterative compression. We believe that our framework can be of independent interest for solving other similar graph problems. Finally, we present positive and negative results on the existence of polynomial (Turing) kernels for several graphs H
Acyclic edge coloring of graphs
An {\em acyclic edge coloring} of a graph is a proper edge coloring such
that the subgraph induced by any two color classes is a linear forest (an
acyclic graph with maximum degree at most two). The {\em acyclic chromatic
index} \chiup_{a}'(G) of a graph is the least number of colors needed in
an acyclic edge coloring of . Fiam\v{c}\'{i}k (1978) conjectured that
\chiup_{a}'(G) \leq \Delta(G) + 2, where is the maximum degree of
. This conjecture is well known as Acyclic Edge Coloring Conjecture (AECC).
A graph with maximum degree at most is {\em
-deletion-minimal} if \chiup_{a}'(G) > \kappa and \chiup_{a}'(H)
\leq \kappa for every proper subgraph of . The purpose of this paper is
to provide many structural lemmas on -deletion-minimal graphs. By using
the structural lemmas, we firstly prove that AECC is true for the graphs with
maximum average degree less than four (\autoref{NMAD4}). We secondly prove that
AECC is true for the planar graphs without triangles adjacent to cycles of
length at most four, with an additional condition that every -cycle has at
most three edges contained in triangles (\autoref{NoAdjacent}), from which we
can conclude some known results as corollaries. We thirdly prove that every
planar graph without intersecting triangles satisfies \chiup_{a}'(G) \leq
\Delta(G) + 3 (\autoref{NoIntersect}). Finally, we consider one extreme case
and prove it: if is a graph with and all the
-vertices are independent, then \chiup_{a}'(G) = \Delta(G). We hope
the structural lemmas will shed some light on the acyclic edge coloring
problems.Comment: 19 page
- …