Abstract
In this work, we study the parameterized complexity of various classical graphtheoretic problems in the dynamic framework where the input graph is being updated by a sequence of edge additions and deletions. Vertex subset problems on graphs typically deal with finding a subset of vertices having certain properties that are of interest to us. In realworld applications, the graph under consideration often changes over time and due to this dynamics, the solution at hand might lose the desired properties. The goal in the area of dynamic graph algorithms is to efficiently maintain a solution under these changes. Recomputing a new solution on the new graph is an expensive task especially when the number of modifications made to the graph is significantly smaller than the size of the graph. In the context of parameterized algorithms, two natural parameters are the size k of the symmetric difference of the edge sets of the two graphs (on n vertices) and the size r of the symmetric difference of the two solutions. We study the Dynamic PiDeletion problem which is the dynamic variant of the PiDeletion problem and show NPhardness, fixedparameter tractability and kernelization results. For specific cases of Dynamic PiDeletion such as Dynamic Vertex Cover and Dynamic Feedback Vertex Set, we describe improved FPT algorithms and give linear kernels. Specifically, we show that Dynamic Vertex Cover admits algorithms with running times 1.1740^k*n^{O(1)} (polynomial space) and 1.1277^k*n^{O(1)} (exponential space). Then, we show that Dynamic Feedback Vertex Set admits a randomized algorithm with 1.6667^k*n^{O(1)} running time. Finally, we consider Dynamic Connected Vertex Cover, Dynamic Dominating Set and Dynamic Connected Dominating Set and describe algorithms with 2^k*n^{O(1)} running time improving over the known running time bounds for these problems. Additionally, for Dynamic Dominating Set and Dynamic Connected Dominating Set, we show that this is the optimal running time (up to polynomial factors) assuming the Set Cover Conjecture.
BibTeX  Entry
@InProceedings{krithika_et_al:LIPIcs:2017:6936,
author = {R. Krithika and Abhishek Sahu and Prafullkumar Tale},
title = {{Dynamic Parameterized Problems}},
booktitle = {11th International Symposium on Parameterized and Exact Computation (IPEC 2016)},
pages = {19:119:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959770231},
ISSN = {18688969},
year = {2017},
volume = {63},
editor = {Jiong Guo and Danny Hermelin},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/6936},
URN = {urn:nbn:de:0030drops69366},
doi = {10.4230/LIPIcs.IPEC.2016.19},
annote = {Keywords: dynamic problems, fixedparameter tractability, kernelization}
}
Keywords: 

dynamic problems, fixedparameter tractability, kernelization 
Collection: 

11th International Symposium on Parameterized and Exact Computation (IPEC 2016) 
Issue Date: 

2017 
Date of publication: 

09.02.2017 