Article Dans Une Revue Algorithms for Molecular Biology Année : 2025

RNA inverse folding can be solved in linear time for structures without isolated stacks or base pairs

Résumé

Inverse folding is a classic instance of negative RNA design which consists in finding a sequence that uniquely folds into a target secondary structure with respect to energy minimization. A breakthrough result of Bonnet et al. shows that, even in simple base pairs-based (BP) models, the decision version of a mildly constrained version of inverse folding is NP-hard. In this work, we show that inverse folding can be solved in linear time for a large collection of targets, including every structure that contains no isolated BP and no isolated stack (or, equivalently, when all helices consist of 3 + base pairs). For structures featuring shorter helices, our linear algorithm is no longer guaranteed to produce a solution, but still does so for a large proportion of instances. Our approach introduces a notion of modulo m-separability, generalizing a property pioneered by Hales et al. Separability is a sufficient condition for the existence of a solution to the inverse folding problem. We show that, for any input secondary structure of length n, a modulo m-separated sequence can be produced in time O(n m 2 m ) anytime such a sequence exists. Meanwhile, we show that any structure consisting of 3 + base pairs is either trivially non-designable, or always admits a modulo-2 separated solution. Solution sequences can thus be produced in linear time, and even be uniformly generated within the set of modulo-2 separable sequences.

Fichier principal
Vignette du fichier
Linear_BP_Design___ALMOB_2024-11.pdf (1.62 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04761629 , version 1 (31-10-2024)
hal-04761629 , version 2 (29-03-2025)
hal-04761629 , version 3 (13-02-2026)

Licence

Identifiants

Citer

Théo Boury, Samuel Gardelle, Laurent Bulteau, Yann Ponty. RNA inverse folding can be solved in linear time for structures without isolated stacks or base pairs. Algorithms for Molecular Biology, 2025, 20 (1), pp.20. ⟨10.1186/s13015-025-00278-6⟩. ⟨hal-04761629v2⟩

Collections

670 Consultations
359 Téléchargements

Altmetric

Partager

  • More