The Domination Number of Grids

In this paper, we conclude the calculation of the domination number of all $n\times m$ grid graphs. Indeed, we prove Chang's conjecture saying that for every $16\le n\le m$, $\gamma(G_{n,m})=\lfloor\frac{(n+2)(m+2)}{5}\rfloor -4$.Comment: 12 pages, 4 figure

Parameterized Domination in Circle Graphs

A circle graph is the intersection graph of a set of chords in a circle. Keil [Discrete Applied Mathematics, 42(1):51-63, 1993] proved that Dominating Set, Connected Dominating Set, and Total Dominating Set are NP-complete in circle graphs. To the best of our knowledge, nothing was known about the parameterized complexity of these problems in circle graphs. In this paper we prove the following results, which contribute in this direction: Dominating Set, Independent Dominating Set, Connected Dominating Set, Total Dominating Set, and Acyclic Dominating Set are W[1]-hard in circle graphs, parameterized by the size of the solution. Whereas both Connected Dominating Set and Acyclic Dominating Set are W[1]-hard in circle graphs, it turns out that Connected Acyclic Dominating Set is polynomial-time solvable in circle graphs. If T is a given tree, deciding whether a circle graph has a dominating set isomorphic to T is NP-complete when T is in the input, and FPT when parameterized by |V(T)|. We prove that the FPT algorithm is subexponential

Parameterized vertex deletion problems for hereditary graph classes with a block property

For a class of graphs P, the Bounded P-Block Vertex Deletion problem asks, given a graph G on n vertices and positive integers k and d, whether there is a set S of at most k vertices such that each block of G − S has at most d vertices and is in P. We show that when P satisfies a natural hereditary property and is recognizable in polynomial time, Bounded P-Block Vertex Deletion can be solved in time 2O(k log d)nO(1), and this running time cannot be improved to 2o(k log d)nO(1), in general, unless the Exponential Time Hypothesis fails. On the other hand, if P consists of only complete graphs, or only K1,K2, and cycle graphs, then Bounded P-Block Vertex Deletion admits a cknO(1)-time algorithm for some constant c independent of d. We also show that Bounded P-Block Vertex Deletion admits a kernel with O(k2d7) vertices. © Springer-Verlag GmbH Germany 2016

A Hierarchy of Polynomial Kernels

In parameterized algorithmics, the process of kernelization is defined as a polynomial time algorithm that transforms the instance of a given problem to an equivalent instance of a size that is limited by a function of the parameter. As, afterwards, this smaller instance can then be solved to find an answer to the original question, kernelization is often presented as a form of preprocessing. A natural generalization of kernelization is the process that allows for a number of smaller instances to be produced to provide an answer to the original problem, possibly also using negation. This generalization is called Turing kernelization. Immediately, questions of equivalence occur or, when is one form possible and not the other. These have been long standing open problems in parameterized complexity. In the present paper, we answer many of these. In particular, we show that Turing kernelizations differ not only from regular kernelization, but also from intermediate forms as truth-table kernelizations. We achieve absolute results by diagonalizations and also results on natural problems depending on widely accepted complexity theoretic assumptions. In particular, we improve on known lower bounds for the kernel size of compositional problems using these assumptions

Paths with two blocks in n-chromatic digraphs

We show that every oriented path of order n ≥ 4 with two blocks is contained in every n-chromatic digraph.

Separation Choosability and Dense Bipartite Induced Subgraphs

Contains fulltext : 207677.pdf (postprint version ) (Open Access

2-partition-transitive tournaments

AbstractGiven a tournament score sequences1⩾s2⩾…⩾sn, we prove that there exists a tournamentTon vertex set {1, 2, …, n} such that the degree of any vertexiissiand the subtournaments ofTon both the even and the odd vertices are transitive in the given order. This means thatibeatsjwheneveri<jandi≡j(mod2). For any score sequence, we give an algorithm to construct a tournament of the above form, i.e. it is transitive on evens and odds in the given order. This algorithm fixes half of the edges of the tournament and then is similar to the algorithm for constructing a tournament given its score sequence. Another consequence provides asymptotics for the maximum number of edges in score unavoidable digraphs. From a result of Ryser, it is possible to get from any tournament to this special tournament by a sequence of triangle reversals. We show thatn2/2 reversals are always enough and that in some cases (1−o(1))n2/32 are required. We also show that such a sequence of triangle reversals can be found inO(n2) time