Shaily Verma

dblp:204/4607 · DBLP profile ↗
← Back
17ranked-venue papers
1as first author
15since 2021 · last 2025
0009-0000-6789-1643ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 17 · 1 first-author · 15 since 2021Databases, data management, data science and information retrieval · 1 · 1 first-author
YearPublicationVenuePosition
2025 Connected Partitions via Connected Dominating Sets
Aikaterini Niklanovits, Kirill Simonov, Shaily Verma, Ziena Zeif
ESA3
2025 A Parameterized Study of Secluded Structures in Directed Graphs
abstract
Given an undirected graph G and an integer k, the Secluded Π-Subgraph problem asks you to find a maximum size induced subgraph that satisfies a property Π and has at most k neighbors in the rest of the graph. This problem has been extensively studied; however, there is no prior study of the problem in directed graphs. This question has been mentioned by Jansen et al. [ISAAC'23]. In this paper, we initiate the study of Secluded Subgraph problems in directed graphs by incorporating different notions of neighborhoods: in-neighborhood, out-neighborhood, and their union. Formally, we call these problems {In, Out, Total}-Secluded Π-Subgraph, where given a directed graph G and an integer k, we want to find an induced subgraph satisfying Π of maximum size that has at most k in/out/total-neighbors in the rest of the graph, respectively. We investigate the parameterized complexity of these problems for different properties Π. In particular, we prove the following parameterized results: - We design an FPT algorithm for the Total-Secluded Strongly Connected Subgraph problem when parameterized by k. - We show that the Out-Secluded ℱ-Free Subgraph problem with parameter k is W[1]-hard, where ℱ is a family of directed graphs except any subgraph of a star graph whose edges are directed towards the center. This result also implies that In/Out-Secluded DAG is W[1]-hard, unlike the undirected variants of the two problems, which are FPT. - We design an FPT-algorithm for In/Out/Total-Secluded α-Bounded Subgraph when parameterized by k, where α-bounded graphs are a superclass of tournaments. - For undirected graphs, we improve the best-known FPT algorithm for Secluded Clique by providing a faster FPT algorithm that runs in time 1.6181^k n^𝒪(1).
Jonas Schmidt 0002, Shaily Verma, Nadym Mallek
ISAAC2
2025 Parameterized Complexity of Vehicle Routing
abstract
The Vehicle Routing Problem (VRP) is a popular generalization of the Traveling Salesperson Problem. Instead of one salesperson traversing the entire weighted, undirected graph G, there are k vehicles available to jointly cover the set of clients C ⊆ V(G). Every vehicle must start at one of the depot vertices D ⊆ V(G) and return to its start. Capacitated Vehicle Routing (CVRP) additionally restricts the route of each vehicle by limiting the number of clients it can cover, the distance it can travel, or both. In this work, we study the complexity of VRP and the three variants of CVRP for several parameterizations, in particular focusing on the treewidth of G. We present an FPT algorithm for VRP parameterized by treewidth. For CVRP, we prove paraNP- and W[⋅]-hardness for various parameterizations, including treewidth, thereby rendering the existence of FPT algorithms unlikely. In turn, we provide an XP algorithm for CVRP when parameterized by both treewidth and the vehicle capacity.
Michelle Döring, Jan Fehse, Tobias Friedrich 0001, Paula Marten, Niklas Mohrin, Kirill Simonov, Farehe Soheil, Jakob Timm, Shaily Verma
IPEC9
2025 Parameterized Saga of First-Fit and Last-Fit Coloring
abstract
The classic greedy coloring (first-fit) algorithm considers the vertices of an input graph $G$ in a given order and assigns the first available color to each vertex $v$ in $G$. In the {\sc Grundy Coloring} problem, the task is to find an ordering of the vertices that will force the greedy algorithm to use as many colors as possible. In the {\sc Partial Grundy Coloring}, the task is also to color the graph using as many colors as possible. This time, however, we may select both the ordering in which the vertices are considered and which color to assign the vertex. The only constraint is that the color assigned to a vertex $v$ is a color previously used for another vertex if such a color is available. Whether {\sc Grundy Coloring} and {\sc Partial Grundy Coloring} admit fixed-parameter tractable (FPT) algorithms, algorithms with running time $f(k)n^{\OO(1)}$, where $k$ is the number of colors, was posed as an open problem by Zaker and by Effantin et al., respectively. Recently, Aboulker et al. (STACS 2020 and Algorithmica 2022) resolved the question for \Grundycol\ in the negative by showing that the problem is W[1]-hard. For {\sc Partial Grundy Coloring}, they obtain an FPT algorithm on graphs that do not contain $K_{i,j}$ as a subgraph (a.k.a. $K_{i,j}$-free graphs). Aboulker et al.~re-iterate the question of whether there exists an FPT algorithm for {\sc Partial Grundy Coloring} on general graphs and also asks whether {\sc Grundy Coloring} admits an FPT algorithm on $K_{i,j}$-free graphs. We give FPT algorithms for {\sc Partial Grundy Coloring} on general graphs and for {\sc Grundy Coloring} on $K_{i,j}$-free graphs, resolving both the questions in the affirmative. We believe that our new structural theorems for partial Grundy coloring and ``representative-family'' like sets for $K_{i,j}$-free graphs that we use in obtaining our results may have wider algorithmic applications.
Akanksha Agrawal 0001, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh 0001, Shaily Verma
STACS5
2025 Chromatic Index Under Parameterized Settings
Sriram Bhyravarapu, Soumen Mandal 0001, Ashutosh Rai 0001, Saket Saurabh 0001, Shaily Verma
WG5
2025 Burn and win
Pradeesha Ashok, Sayani Das, Lawqueen Kanesh, Saket Saurabh 0001, Avi Tomar, Shaily Verma
Theor. Comput. Sci.6
2024 Parameterized Complexity of Paired Domination
Nikita Andreev, Ivan Bliznets, Madhumita Kundu, Saket Saurabh 0001, Vikash Tripathi, Shaily Verma
IWOCA6
2024 Partitioning subclasses of chordal graphs with few deletions
Satyabrata Jana, Souvik Saha 0002, Saket Saurabh 0001, Shaily Verma
Theor. Comput. Sci.5
2023 Partitioning Subclasses of Chordal Graphs with Few Deletions
Satyabrata Jana, Souvik Saha 0002, Saket Saurabh 0001, Shaily Verma
CIAC5
2023 Burn and Win
Pradeesha Ashok, Sayani Das, Lawqueen Kanesh, Saket Saurabh 0001, Avi Tomar, Shaily Verma
IWOCA6
2023 Parameterized Algorithms for Eccentricity Shortest Path Problem
Sriram Bhyravarapu, Satyabrata Jana, Lawqueen Kanesh, Saket Saurabh 0001, Shaily Verma
IWOCA5
2022 List Homomorphism: Beyond the Known Boundaries
Sriram Bhyravarapu, Satyabrata Jana, Fahad Panolan, Saket Saurabh 0001, Shaily Verma
LATIN5
2022 An Exact Algorithm for Knot-Free Vertex Deletion
abstract
The study of the Knot-Free Vertex Deletion problem emerges from its application in the resolution of deadlocks called knots, detected in a classical distributed computation model, that is, the OR-model. A strongly connected subgraph Q of a digraph D with at least two vertices is said to be a knot if there is no arc (u,v) of D with u ∈ V(Q) and v ∉ V(Q) (no-out neighbors of the vertices in Q). Given a directed graph D, the Knot-Free Vertex Deletion (KFVD) problem asks to compute a minimum-size subset S ⊂ V(D) such that D[V⧵S] contains no knots. There is no exact algorithm known for the KFVD problem in the literature that is faster than the trivial O^⋆(2ⁿ) brute-force algorithm. In this paper, we obtain the first non-trivial upper bound for KFVD by designing an exact algorithm running in time 𝒪^⋆(1.576ⁿ), where n is the size of the vertex set in D.
M. S. Ramanujan 0001, Saket Saurabh 0001, Shaily Verma
MFCS4
2022 A Polynomial Kernel for Bipartite Permutation Vertex Deletion
Jan Derbisz, Lawqueen Kanesh, Jayakrishnan Madathil, Saket Saurabh 0001, Shaily Verma
Algorithmica6
2021 A Polynomial Kernel for Bipartite Permutation Vertex Deletion
Lawqueen Kanesh, Jayakrishnan Madathil, Saket Saurabh 0001, Shaily Verma
IPEC5
2020 Grundy coloring in some subclasses of bipartite graphs and their complements
Shaily Verma, Bhawani Sankar Panda
Inf. Process. Lett.1
2019 On partial Grundy coloring of bipartite graphs and chordal graphs
Bhawani Sankar Panda, Shaily Verma
Discret. Appl. Math.2