Automated design of dynamic programming schemes for RNA folding with pseudoknots - Archive ouverte HAL
Article Dans Une Revue Algorithms for Molecular Biology Année : 2023

Automated design of dynamic programming schemes for RNA folding with pseudoknots

Résumé

Although RNA secondary structure prediction is a textbook application of dynamic programming (DP) and routine task in RNA structure analysis, it remains challenging whenever pseudoknots come into play. Since the prediction of pseudoknotted structures by minimizing (realistically modelled) energy is NP-hard, specialized algorithms have been proposed for restricted conformation classes that capture the most frequently observed configurations. To achieve good performance, these methods rely on specific and carefully hand-crafted DP schemes. In contrast, we generalize and fully automatize the design of DP pseudoknot prediction algorithms. For this purpose, we formalize the problem of designing DP algorithms for an (infinite) class of conformations, modeled by (a finite number of) fatgraphs, and automatically build DP schemes minimizing their algorithmic complexity. We propose an algorithm for the problem, based on the tree-decomposition of a well-chosen representative structure, which we simplify and reinterpret as a DP scheme. The algorithm is fixed-parameter tractable for the tree-width tw of the fatgraph, and its output represents a $O(n^{tw+1})$ algorithm (and even possibly $O(n^{tw})$ in simple energy models) for predicting the MFE folding of an RNA of length n. We demonstrate, for the most common pseudoknot classes, that our automatically generated algorithms achieve the same complexities as reported in the literature for hand-crafted schemes. Our framework supports general energy models, partition function computations, recursive substructures and partial folding, and could pave the way for algebraic dynamic programming beyond the context-free case.
Fichier principal
Vignette du fichier
long_version_autodp.pdf (1.42 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04103565 , version 1 (23-05-2023)

Identifiants

Citer

Bertrand Marchand, Sebastian Will, Sarah Berkemer, Yann Ponty, Laurent Bulteau. Automated design of dynamic programming schemes for RNA folding with pseudoknots. Algorithms for Molecular Biology, 2023, 18 (1), pp.18. ⟨10.1186/s13015-023-00229-z⟩. ⟨hal-04103565⟩
117 Consultations
128 Téléchargements

Altmetric

Partager

More