Source author record

Prafullkumar Tale

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

9works
4topics
4close collaborators

Published work

9 publications

preprint2026arXiv

Parameterized Complexity of Biclique Contraction and Balanced Biclique Contraction

In this work, we initiate the complexity study of Biclique Contraction and Balanced Biclique Contraction. In these problems, given as input a graph G and an integer k, the objective is to determine whether one can contract at most k edges in G to obtain a biclique and a balanced biclique, respectively. We first prove that these problems are NP-complete even when the input graph is bipartite. Next, we study the parameterized complexity of these problems and show that they admit single exponential-time FPT algorithms when parameterized by the number k of edge contractions. Then, we show that Balanced Biclique Contraction admits a quadratic vertex kernel while Biclique Contraction does not admit any polynomial compression (or kernel) under standard complexity-theoretic assumptions. We also give faster FPT algorithms for contraction to restricted bicliques.

preprint2022arXiv

Domination and Cut Problems on Chordal Graphs with Bounded Leafage

The leafage of a chordal graph G is the minimum integer l such that G can be realized as an intersection graph of subtrees of a tree with l leaves. We consider structural parameterization by the leafage of classical domination and cut problems on chordal graphs. Fomin, Golovach, and Raymond [ESA 2018, Algorithmica 2020] proved, among other things, that Dominating Set on chordal graphs admits an algorithm running in time 2O(l2)nO(1)2^{O(l^2)} n^{O(1)}. We present a conceptually much simpler algorithm that runs in time 2O(l)nO(1)2^{O(l)} n^{O(1)}. We extend our approach to obtain similar results for Connected Dominating Set and Steiner Tree. We then consider the two classical cut problems MultiCut with Undeletable Terminals and Multiway Cut with Undeletable Terminals. We prove that the former is W[1]-hard when parameterized by the leafage and complement this result by presenting a simple nO(l)n^{O(l)}-time algorithm. To our surprise, we find that Multiway Cut with Undeletable Terminals on chordal graphs can be solved, in contrast, in nO(1)n^{O(1)}-time.

preprint2022arXiv

Parameterized and Exact Algorithms for Class Domination Coloring

A class domination coloring (also called cd-Coloring or dominated coloring) of a graph is a proper coloring in which every color class is contained in the neighbourhood of some vertex. The minimum number of colors required for any cd-coloring of GG, denoted by χcd(G)χ_{cd}(G), is called the class domination chromatic number (cd-chromatic number) of GG. In this work, we consider two problems associated with the cd-coloring of a graph in the context of exact exponential-time algorithms and parameterized complexity. (1) Given a graph GG on nn vertices, find its cd-chromatic number. (2) Given a graph GG and integers kk and qq, can we delete at most kk vertices such that the cd-chromatic number of the resulting graph is at most qq? For the first problem, we give an exact algorithm with running time $\Oh(2^n n^4 \log n)$. Also, we show that the problem is \FPT\ with respect to the number qq of colors as the parameter on chordal graphs. On graphs of girth at least 5, we show that the problem also admits a kernel with $\Oh(q^3)$ vertices. For the second (deletion) problem, we show \NP-hardness for each q≥2q \geq 2. Further, on split graphs, we show that the problem is \NP-hard if qq is a part of the input and \FPT\ with respect to kk and qq as combined parameters. As recognizing graphs with cd-chromatic number at most qq is \NP-hard in general for q≥4q \geq 4, the deletion problem is unlikely to be \FPT\ when parameterized by the size of the deletion set on general graphs. We show fixed parameter tractability for q∈{2,3}q \in \{2,3\} using the known algorithms for finding a vertex cover and an odd cycle transversal as subroutines.

preprint2022arXiv

Parameterized Complexity of Weighted Multicut in Trees

The Edge Multicut problem is a classical cut problem where given an undirected graph GG, a set of pairs of vertices P\mathcal{P}, and a budget kk, the goal is to determine if there is a set SS of at most kk edges such that for each (s,t)∈P(s,t) \in \mathcal{P}, G−SG-S has no path from ss to tt. Edge Multicut has been relatively recently shown to be fixed-parameter tractable (FPT), parameterized by kk, by Marx and Razgon [SICOMP 2014], and independently by Bousquet et al. [SICOMP 2018]. In the weighted version of the problem, called Weighted Edge Multicut one is additionally given a weight function wt:E(G)→N\mathtt{wt} : E(G) \to \mathbb{N} and a weight bound ww, and the goal is to determine if there is a solution of size at most kk and weight at most ww. Both the FPT algorithms for Edge Multicut by Marx et al. and Bousquet et al. fail to generalize to the weighted setting. In fact, the weighted problem is non-trivial even on trees and determining whether Weighted Edge Multicut on trees is FPT was explicitly posed as an open problem by Bousquet et al. [STACS 2009]. In this article, we answer this question positively by designing an algorithm which uses a very recent result by Kim et al. [STOC 2022] about directed flow augmentation as subroutine. We also study a variant of this problem where there is no bound on the size of the solution, but the parameter is a structural property of the input, for example, the number of leaves of the tree. We strengthen our results by stating them for the more general vertex deletion version.

preprint2022arXiv

Reducing the Vertex Cover Number via Edge Contractions

The CONTRACTION(vc) problem takes as input a graph GG on nn vertices and two integers kk and dd, and asks whether one can contract at most kk edges to reduce the size of a minimum vertex cover of GG by at least dd. Recently, Lima et al. [JCSS 2021] proved, among other results, that unlike most of the so-called blocker problems, CONTRACTION(vc) admits an XP algorithm running in time f(d)⋅nO(d)f(d) \cdot n^{O(d)}. They left open the question of whether this problem is FPT under this parameterization. In this article, we continue this line of research and prove the following results: 1. CONTRACTION(vc) is W[1]-hard parameterized by k+dk + d. Moreover, unless the ETH fails, the problem does not admit an algorithm running in time f(k+d)⋅no(k+d)f(k + d) \cdot n^{o(k + d)} for any function ff. In particular, this answers the open question stated in Lima et al. [JCSS 2021] in the negative. 2. It is NP-hard to decide whether an instance (G,k,d)(G, k, d) of CONTRACTION(vc) is a yes-instance even when k=dk = d, hence enhancing our understanding of the classical complexity of the problem. 3. CONTRACTION(vc) can be solved in time 2O(d)⋅nk−d+O(1)2^{O(d)} \cdot n^{k - d + O(1)}. This XP algorithm improves the one of Lima et al. [JCSS 2021], which uses Courcelle's theorem as a subroutine and hence, the f(d)f(d)-factor in the running time is non-explicit and probably very large. On the other hard, it shows that when k=dk=d, the problem is FPT parameterized by dd (or by kk).

preprint2022arXiv

Sparsification Lower Bound for Linear Spanners in Directed Graphs

For α≥1α\ge 1, β≥0β\ge 0, and a graph GG, a spanning subgraph HH of GG is said to be an (α,β)(α, β)-spanner if $\dist(u, v, H) \le α\cdot \dist(u, v, G) + β$ holds for any pair of vertices uu and vv. These type of spanners, called \emph{linear spanners}, generalizes \emph{additive spanners} and \emph{multiplicative spanners}. Recently, Fomin, Golovach, Lochet, Misra, Saurabh, and Sharma initiated the study of additive and multiplicative spanners for directed graphs (IPEC 20202020). In this article, we continue this line of research and prove that \textsc{Directed Linear Spanner} parameterized by the number of vertices nn admits no polynomial compression of size $\calO(n^{2 - ε})$ for any ε>0ε> 0 unless $\NP \subseteq \coNP/poly$. We show that similar results hold for \textsc{Directed Additive Spanner} and \textsc{Directed Multiplicative Spanner} problems. This sparsification lower bound holds even when the input is a directed acyclic graph and α,βα, β are \emph{any} computable functions of the distance being approximated.

preprint2020arXiv

On the Parameterized Approximability of Contraction to Classes of Chordal Graphs

A graph operation that {\em contracts edges} is one of the fundamental operations in the theory of graph minors. Parameterized Complexity of editing to a family of graphs by contracting kk edges has recently gained substantial scientific attention, and several new results have been obtained. Some important families of graphs, namely the subfamilies of chordal graphs, in the context of edge contractions, have proven to be significantly difficult than one might expect. In this paper, we study the \textsc{F\cal F-Contraction} problem, where F\cal F is a subfamily of chordal graphs, in the realm of parameterized approximation. Formally, given a graph GG and an integer kk, \textsc{ F\cal F-Contraction} asks whether there exists X⊆E(G)X \subseteq E(G) such that G/X∈FG/X \in \cal F and ∣X∣≤k|X| \leq k. Here, G/XG/X is the graph obtained from GG by contracting edges in XX. We obtain the following results for the \textsc{ F\cal F-Contraction} problem. (1)(1) We show that \textsc{Clique Contraction} admits a polynomial-size approximate kernelization scheme (\textsf{PSAKS}). (2)(2) We give a (2+ε)(2+ε)-approximate polynomial kernel for \textsc{Split Contraction} (which also implies a factor (2+ε)(2+ε)-\FPT-approximation algorithm for \textsc{ Split Contraction}). Furthermore, we show that, assuming \textsf{ Gap-ETH}, there is no (54−δ)\left(\frac{5}{4}-δ\right)-\FPT-approximation algorithm for \textsc{Split Contraction}. Here, ε,δ>0ε, δ>0 are fixed constants. (3)(3) \textsc{Chordal Contraction} is known to be \WTH. We complement this result by observing that the existing \textsf{W[2]-hardness} reduction can be adapted to show that, assuming \FPT ≠\neq \textsf{W[1]}, there is no F(k)F(k)-\FPT-approximation algorithm for \textsc{Chordal Contraction}. Here, F(k)F(k) is an arbitrary function depending on kk alone.

preprint2020arXiv

On the Parameterized Complexity Of Grid Contraction

For a family of graphs G\mathcal{G}, the G\mathcal{G}-\textsc{Contraction} problem takes as an input a graph GG and an integer kk, and the goal is to decide if there exists F⊆E(G)F \subseteq E(G) of size at most kk such that G/FG/F belongs to G\mathcal{G}. Here, G/FG/F is the graph obtained from GG by contracting all the edges in FF. In this article, we initiate the study of \textsc{Grid Contraction} from the parameterized complexity point of view. We present a fixed parameter tractable algorithm, running in time ck⋅∣V(G)∣O(1)c^k \cdot |V(G)|^{\mathcal{O}(1)}, for this problem. We complement this result by proving that unless Ð fails, there is no algorithm for \textsc{Grid Contraction} with running time co(k)⋅∣V(G)∣O(1)c^{o(k)} \cdot |V(G)|^{\mathcal{O}(1)}. We also present a polynomial kernel for this problem.

preprint2020arXiv

Parameterized Complexity of Maximum Edge Colorable Subgraph

A graph HH is {\em pp-edge colorable} if there is a coloring ψ:E(H)→{1,2,…,p}ψ: E(H) \rightarrow \{1,2,\dots,p\}, such that for distinct uv,vw∈E(H)uv, vw \in E(H), we have ψ(uv)≠ψ(vw)ψ(uv) \neq ψ(vw). The {\sc Maximum Edge-Colorable Subgraph} problem takes as input a graph GG and integers ll and pp, and the objective is to find a subgraph HH of GG and a pp-edge-coloring of HH, such that ∣E(H)∣≥l|E(H)| \geq l. We study the above problem from the viewpoint of Parameterized Complexity. We obtain \FPT\ algorithms when parameterized by: (1)(1) the vertex cover number of GG, by using {\sc Integer Linear Programming}, and (2)(2) ll, a randomized algorithm via a reduction to \textsc{Rainbow Matching}, and a deterministic algorithm by using color coding, and divide and color. With respect to the parameters p+kp+k, where kk is one of the following: (1)(1) the solution size, ll, (2)(2) the vertex cover number of GG, and (3)(3) $l - {\mm}(G)$, where ${\mm}(G)$ is the size of a maximum matching in GG; we show that the (decision version of the) problem admits a kernel with O(k⋅p)\mathcal{O}(k \cdot p) vertices. Furthermore, we show that there is no kernel of size O(k1−ε⋅f(p))\mathcal{O}(k^{1-ε} \cdot f(p)), for any ε>0ε> 0 and computable function ff, unless $\NP \subseteq \CONPpoly$.

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.