Designing RNA secondary structures is hard

Conference paper


Bonnet, E., Rzążewski, P. and Sikora, F. 2018. Designing RNA secondary structures is hard. 22nd Annual International Conference on Research in Computational Molecular Biology (RECOMB 2018). Paris, France 21 - 24 Apr 2018 Springer. pp. 248-250
TypeConference paper
TitleDesigning RNA secondary structures is hard
AuthorsBonnet, E., Rzążewski, P. and Sikora, F.
Abstract

An RNA sequence is a word over an alphabet on four elements {A, C, G, U} called bases. RNA sequences fold into secondary structures where some bases match one another while others remain unpaired. Pseudoknot-free secondary structures can be represented as well-parenthesized expressions with additional dots, where pairs of matching parentheses symbolize paired bases and dots, unpaired bases. The two fundamental problems in RNA algorithmic are to predict how sequences fold within some model of energy and to design sequences of bases which will fold into targeted secondary structures. Predicting how a given RNA sequence folds into a pseudoknot-free secondary structure is known to be solvable in cubic time since the eighties and in truly subcubic time by a recent result of Bringmann et al. (FOCS 2016), whereas Lyngsø has shown it is NP-complete if pseudoknots are allowed (ICALP 2004). As a stark contrast, it is unknown whether or not designing a given RNA secondary structure is a tractable task; this has been raised as a challenging open question by Anne Condon (ICALP 2003). Because of its crucial importance in a number of fields such as pharmaceutical research and biochemistry, there are dozens of heuristics and software libraries dedicated to RNA secondary structure design. It is therefore rather surprising that the computational complexity of this central problem in bioinformatics has been unsettled for decades.
In this paper we show that, in the simplest model of energy which is the Watson-Crick model the design of secondary structures is NP-complete if one adds natural constraints of the form: index i of the sequence has to be labeled by base b. This negative result suggests that the same lower bound holds for more realistic models of energy. It is noteworthy that the additional constraints are by no means artificial: they are provided by all the RNA design pieces of software and they do correspond to the actual practice (see for example the instances of the EteRNA project). Our reduction from a variant of 3-Sat has as main ingredients: arches of parentheses of different widths, a linear order interleaving variables and clauses, and an intended rematching strategy which increases the number of pairs iff the three literals of a same clause are not satisfied. The correctness of the construction is also quite intricate; it relies on the polynomial algorithm for the design of saturated structures – secondary structures without dots – by Haleš et al. (Algorithmica 2016), counting arguments, and a concise case analysis.

Conference22nd Annual International Conference on Research in Computational Molecular Biology (RECOMB 2018)
Page range248-250
ISSN0302-9743
ISBN
Hardcover9783319899282
PublisherSpringer
Publication dates
Print24 Apr 2018
Publication process dates
Deposited23 Apr 2018
Accepted21 Dec 2017
Output statusPublished
Accepted author manuscript
Copyright Statement

The final authenticated version is available online at https://doi.org/10.1007/978-3-319-89929-9

Additional information

published as Édouard Bonnet, Paweł Rzążewski, and Florian Sikora, Designing RNA Secondary Structures Is Hard. In: Raphael B. (eds) Research in Computational Molecular Biology. RECOMB 2018. pp. 248-250. Lecture Notes in Computer Science, vol 10812. Springer, Cham

Web address (URL)https://doi.org/10.1007/978-3-319-89929-9
LanguageEnglish
Book titleResearch in Computational Molecular Biology: 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings
Permalink -

https://repository.mdx.ac.uk/item/879y4

Download files


Accepted author manuscript
  • 30
    total views
  • 7
    total downloads
  • 1
    views this month
  • 0
    downloads this month

Export as