2026-07-23T20:03:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20663 2024-11-27T23:18:03Z ddc:004 open_access

RNA Inverse Folding Can Be Solved in Linear Time for Structures Without Isolated Stacks or Base Pairs Boury, Théo Bulteau, Laurent Ponty, Yann RNA structure String Design Parameterized Complexity Uniform Sampling 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 𝒪(n 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 (m = 2). Solution sequences can thus be produced in linear time, and even be uniformly generated within the set of modulo-2 separable sequences. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Théo Boury and Laurent Bulteau and Yann Ponty 2024 Is Part Of LIPIcs, Volume 312, 24th International Workshop on Algorithms in Bioinformatics (WABI 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.WABI.2024.19 urn:nbn:de:0030-drops-206632 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.WABI.2024.19 eng https://creativecommons.org/licenses/by/4.0/legalcode