Bulteau, Laurent ;
Marchand, Bertrand ;
Ponty, Yann
A New Parametrization for Independent Set Reconfiguration and Applications to RNA Kinetics
Abstract
In this paper, we study the Independent Set (IS) reconfiguration problem in graphs. An IS reconfiguration is a scenario transforming an IS L into another IS R, inserting/removing vertices one step at a time while keeping the cardinalities of intermediate sets greater than a specified threshold. We focus on the bipartite variant where only start and end vertices are allowed in intermediate ISs. Our motivation is an application to the RNA energy barrier problem from bioinformatics, for which a natural parameter would be the difference between the initial IS size and the threshold.
We first show the paraNP hardness of the problem with respect to this parameter. We then investigate a new parameter, the cardinality range, denoted by ρ which captures the maximum deviation of the reconfiguration scenario from optimal sets (formally, ρ is the maximum difference between the cardinalities of an intermediate IS and an optimal IS). We give two different routes to show that this problem is in XP for ρ: The first is a direct O(n²)space, O(n^{2ρ+2.5})time algorithm based on a separation lemma; The second builds on a parameterized equivalence with the directed pathwidth problem, leading to a O(n^{ρ+1})space, O(n^{ρ+2})time algorithm for the reconfiguration problem through an adaptation of a prior result by Tamaki [Tamaki, 2011]. This equivalence is an interesting result in its own right, connecting a reconfiguration problem (which is essentially a connectivity problem within a reconfiguration network) with a structural parameter for an auxiliary graph.
We demonstrate the practicality of these algorithms, and the relevance of our introduced parameter, by considering the application of our algorithms on random smalldegree instances for our problem. Moreover, we reformulate the computation of the energy barrier between two RNA secondary structures, a classic hard problem in computational biology, as an instance of bipartite reconfiguration. Our results on IS reconfiguration thus yield an XP algorithm in O(n^{ρ+2}) for the energy barrier problem, improving upon a partial O(n^{2ρ+2.5}) algorithm for the problem.
BibTeX  Entry
@InProceedings{bulteau_et_al:LIPIcs.IPEC.2021.11,
author = {Bulteau, Laurent and Marchand, Bertrand and Ponty, Yann},
title = {{A New Parametrization for Independent Set Reconfiguration and Applications to RNA Kinetics}},
booktitle = {16th International Symposium on Parameterized and Exact Computation (IPEC 2021)},
pages = {11:111:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959772167},
ISSN = {18688969},
year = {2021},
volume = {214},
editor = {Golovach, Petr A. and Zehavi, Meirav},
publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15394},
URN = {urn:nbn:de:0030drops153946},
doi = {10.4230/LIPIcs.IPEC.2021.11},
annote = {Keywords: reconfiguration problems  parameterized algorithms  RNA bioinformatics  directed pathwidth}
}
22.11.2021
Keywords: 

reconfiguration problems  parameterized algorithms  RNA bioinformatics  directed pathwidth 
Seminar: 

16th International Symposium on Parameterized and Exact Computation (IPEC 2021)

Issue date: 

2021 
Date of publication: 

22.11.2021 
Supplementary Material: 

Software: https://gitlab.inria.fr/bmarchan/bisrdpw 