Source author record

Sudeshna Kolay

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
3topics
4close collaborators

Published work

5 publications

preprint2020arXiv

Parameterized Study of Steiner Tree on Unit Disk Graphs

We study the Steiner Tree problem on unit disk graphs. Given a nn vertex unit disk graph GG, a subset R⊆V(G)R\subseteq V(G) of tt vertices and a positive integer kk, the objective is to decide if there exists a tree TT in GG that spans over all vertices of RR and uses at most kk vertices from V∖RV\setminus R. The vertices of RR are referred to as terminals and the vertices of V(G)∖RV(G)\setminus R as Steiner vertices. First, we show that the problem is NP-Hard. Next, we prove that the Steiner Tree problem on unit disk graphs can be solved in nO(t+k)n^{O(\sqrt{t+k})} time. We also show that the Steiner Tree problem on unit disk graphs parameterized by kk has an FPT algorithm with running time 2O(k)nO(1)2^{O(k)}n^{O(1)}. In fact, the algorithms are designed for a more general class of graphs, called clique-grid graphs. We mention that the algorithmic results can be made to work for the Steiner Tree on disk graphs with bounded aspect ratio. Finally, we prove that the Steiner Tree on disk graphs parameterized by kk is W[1]-hard.

preprint2015arXiv

A faster FPT Algorithm and a smaller Kernel for Block Graph Vertex Deletion

A graph GG is called a \emph{block graph} if each maximal 22-connected component of GG is a clique. In this paper we study the Block Graph Vertex Deletion from the perspective of fixed parameter tractable (FPT) and kernelization algorithm. In particular, an input to Block Graph Vertex Deletion consists of a graph GG and a positive integer kk and the objective to check whether there exists a subset S⊆V(G)S \subseteq V(G) of size at most kk such that the graph induced on V(G)∖SV(G)\setminus S is a block graph. In this paper we give an FPT algorithm with running time 4knO(1)4^kn^{O(1)} and a polynomial kernel of size O(k4)O(k^4) for Block Graph Vertex Deletion. The running time of our FPT algorithm improves over the previous best algorithm for the problem that ran in time 10knO(1)10^kn^{O(1)} and the size of our kernel reduces over the previously known kernel of size O(k9)O(k^9). Our results are based on a novel connection between Block Graph Vertex Deletion and the classical {\sc Feedback Vertex Set} problem in graphs without induced C4C_4 and K4−eK_4-e. To achieve our results we also obtain an algorithm for {\sc Weighted Feedback Vertex Set} running in time 3.618knO(1)3.618^kn^{O(1)} and improving over the running time of previously known algorithm with running time 5knO(1)5^kn^{O(1)}.

preprint2015arXiv

Multivariate Complexity Analysis of Geometric {\sc Red Blue Set Cover}

We investigate the parameterized complexity of GENERALIZED RED BLUE SET COVER (Gen-RBSC), a generalization of the classic SET COVER problem and the more recently studied RED BLUE SET COVER problem. Given a universe UU containing bb blue elements and rr red elements, positive integers kℓk_\ell and krk_r, and a family $\F$ of ℓ\ell sets over UU, the \srbsc\ problem is to decide whether there is a subfamily $\F'\subseteq \F$ of size at most kℓk_\ell that covers all blue elements, but at most krk_r of the red elements. This generalizes SET COVER and thus in full generality it is intractable in the parameterized setting. In this paper, we study a geometric version of this problem, called Gen-RBSC-lines, where the elements are points in the plane and sets are defined by lines. We study this problem for an array of parameters, namely, kℓ,kr,r,bk_\ell, k_r, r, b, and ℓ\ell, and all possible combinations of them. For all these cases, we either prove that the problem is W-hard or show that the problem is fixed parameter tractable (FPT). In particular, on the algorithmic side, our study shows that a combination of kℓk_\ell and krk_r gives rise to a nontrivial algorithm for Gen-RBSC-lines. On the hardness side, we show that the problem is para-NP-hard when parameterized by krk_r, and W[1]-hard when parameterized by kℓk_\ell. Finally, for the combination of parameters for which Gen-RBSC-lines admits FPT algorithms, we ask for the existence of polynomial kernels. We are able to provide a complete kernelization dichotomy by either showing that the problem admits a polynomial kernel or that it does not contain a polynomial kernel unless $\CoNP \subseteq \NP/\mbox{poly}$.

preprint2015arXiv

Parameterized Algorithms for Deletion to (r,l)-graphs

For fixed integers r,ℓ≥0r,\ell \geq 0, a graph GG is called an {\em (r,ℓ)(r,\ell)-graph} if the vertex set V(G)V(G) can be partitioned into rr independent sets and ℓ\ell cliques. This brings us to the following natural parameterized questions: {\sc Vertex (r,ℓ)(r,\ell)-Partization} and {\sc Edge (r,ℓ)(r,\ell)-Partization}. An input to these problems consist of a graph GG and a positive integer kk and the objective is to decide whether there exists a set S⊆V(G)S\subseteq V(G) (S⊆E(G)S\subseteq E(G)) such that the deletion of SS from GG results in an (r,ℓ)(r,\ell)-graph. These problems generalize well studied problems such as {\sc Odd Cycle Transversal}, {\sc Edge Odd Cycle Transversal}, {\sc Split Vertex Deletion} and {\sc Split Edge Deletion}. We do not hope to get parameterized algorithms for either {\sc Vertex (r,ℓ)(r,\ell)-Partization} or {\sc Edge (r,ℓ)(r,\ell)-Partization} when either of rr or ℓ\ell is at least 33 as the recognition problem itself is NP-complete. This leaves the case of r,ℓ∈{1,2}r,\ell \in \{1,2\}. We almost complete the parameterized complexity dichotomy for these problems. Only the parameterized complexity of {\sc Edge (2,2)(2,2)-Partization} remains open. We also give an approximation algorithm and a Turing kernelization for {\sc Vertex (r,ℓ)(r,\ell)-Partization}. We use an interesting finite forbidden induced graph characterization, for a class of graphs known as (r,ℓ)(r,\ell)-split graphs, properly containing the class of (r,ℓ)(r,\ell)-graphs. This approach to obtain approximation algorithms could be of an independent interest.

preprint2015arXiv

Parameterized Algorithms on Perfect Graphs for deletion to (r,ℓ)(r,\ell)-graphs

For fixed integers r,ℓ≥0r,\ell \geq 0, a graph GG is called an {\em (r,ℓ)(r,\ell)-graph} if the vertex set V(G)V(G) can be partitioned into rr independent sets and ℓ\ell cliques. The class of (r,ℓ)(r, \ell) graphs generalizes rr-colourable graphs (when ℓ=0)\ell =0) and hence not surprisingly, determining whether a given graph is an (r,ℓ)(r, \ell)-graph is \NP-hard even when r≥3r \geq 3 or ℓ≥3\ell \geq 3 in general graphs. When rr and ℓ\ell are part of the input, then the recognition problem is NP-hard even if the input graph is a perfect graph (where the {\sc Chromatic Number} problem is solvable in polynomial time). It is also known to be fixed-parameter tractable (FPT) on perfect graphs when parameterized by rr and ℓ\ell. I.e. there is an $f(r+\ell) \cdot n^{\Oh(1)}$ algorithm on perfect graphs on nn vertices where ff is some (exponential) function of rr and ℓ\ell. In this paper, we consider the parameterized complexity of the following problem, which we call {\sc Vertex Partization}. Given a perfect graph GG and positive integers r,ℓ,kr,\ell,k decide whether there exists a set S⊆V(G)S\subseteq V(G) of size at most kk such that the deletion of SS from GG results in an (r,ℓ)(r,\ell)-graph. We obtain the following results: \begin{enumerate} \item {\sc Vertex Partization} on perfect graphs is FPT when parameterized by k+r+ℓk+r+\ell. \item The problem does not admit any polynomial sized kernel when parameterized by k+r+ℓk+r+\ell. In other words, in polynomial time, the input graph can not be compressed to an equivalent instance of size polynomial in k+r+ℓk+r+\ell. In fact, our result holds even when k=0k=0. \item When r,ℓr,\ell are universal constants, then {\sc Vertex Partization} on perfect graphs, parameterized by kk, has a polynomial sized kernel. \end{enumerate}

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.