In molecular biology, RNA structure comparison is of great interest to help solving problems as different as phylogeny reconstruction, prediction of molecule folding and identification of a function common to a set of molecules. Lin et al. [6] proposed to define a similarity criterion between RNA structures using a concept of edit distance ; they named the corresponding problem Edit. Recently, Blin et al. [3] showed that another problem, the Longest ARC-Preserving Common Subsequence problem (or LAPCS), is in fact a subproblem of Edit. This relationship between those two problems induces the hardness of what was the last open case for the Edit problem, Edit(NESTED, NESTED), which corresponds to computing the edit distance between two secondary structures without pseudoknots. Nevertheless, LAPCS is a very restricted subproblem of Edit: in particular, it corresponds to a given system of editing costs, whose biological relevance can be discussed ; hence, giving a more precise categorization of the computational complexity of the Edit problem remains of interest. In this paper, we answer this question by showing that EDIT(NESTED, NESTED) is NP-complete for a large class of instances, not overlapping with the ones used in the proof for LAPCS, and which represent more biologically relevant cost systems.
[1]
Bin Ma,et al.
Edit distance between two RNA structures
,
2001,
RECOMB.
[2]
Shane S. Sturrock,et al.
Time Warps, String Edits, and Macromolecules – The Theory and Practice of Sequence Comparison . David Sankoff and Joseph Kruskal. ISBN 1-57586-217-4. Price £13.95 (US$22·95).
,
2000
.
[3]
Zhi-Zhong Chen,et al.
The longest common subsequence problem for sequences with nested arc annotations
,
2002,
J. Comput. Syst. Sci..
[4]
Michael R. Fellows,et al.
Algorithms and complexity for annotated sequence analysis
,
1999
.
[5]
Paul C. Kainen,et al.
The book thickness of a graph
,
1979,
J. Comb. Theory, Ser. B.
[6]
Goos Kant,et al.
On Triangulating Planar Graphs under the Four-Connectivity Constraint
,
1994,
Algorithmica.
[7]
Hélène Touzet,et al.
How to Compare Arc-Annotated Sequences: The Alignment Hierarchy
,
2006,
SPIRE.
[8]
Robin Milner,et al.
On Observing Nondeterminism and Concurrency
,
1980,
ICALP.