# Extracting Constrained 2-Interval Subsets in 2-Interval Sets

Abstract : 2-interval sets were used in [S. Vialette, Pattern matching over 2-intervals sets, in: Proc. 13th Annual Symposium Combinatorial Pattern Matching, CPM 2002, in: Lecture Notes in Computer Science, vol. 2373, Springer-Verlag, 2002, pp. 53–63; S. Vialette, On the computational complexity of 2-interval pattern matching, Theoret. Comput. Sci. 312 (2–3) (2004) 223–249] for establishing a general representation for macroscopic describers of RNA secondary structures. In this context, we have a 2-interval for each legal local fold in a given RNA sequence, and a constrained pattern made of disjoint 2-intervals represents a putative RNA secondary structure. We focus here on the problem of extracting a constrained pattern in a set of 2-intervals. More precisely, given a set of 2-intervals View the MathML source and a model R describing if two disjoint 2-intervals in a solution can be in precedence order (<), be allowed to nest (square image of) and/or be allowed to cross (between), we consider the problem of finding a maximum cardinality subset View the MathML source of disjoint 2-intervals such that any two 2-intervals in View the MathML source agree with R. The different combinations of restrictions on model R alter the computational complexity of the problem, and need to be examined separately. In this paper, we improve the time complexity of [S. Vialette, On the computational complexity of 2-interval pattern matching, Theoret. Comput. Sci. 312 (2–3) (2004) 223–249] for model R={square image of} by giving an optimal O(nlogn) time algorithm, where n is the cardinality of the 2-interval set View the MathML source. We also give a graph-like relaxation for model R={square image of,between} that is solvable in View the MathML source time. Finally, we prove that the considered problem is NP-complete for model R={<,between} even for same-length intervals, and give a fixed-parameter tractability result based on the crossing structure of View the MathML source.
Keywords :
Document type :
Journal articles
Domain :

https://hal.archives-ouvertes.fr/hal-00417717
Contributor : Guillaume Fertin <>
Submitted on : Wednesday, September 16, 2009 - 4:32:15 PM
Last modification on : Friday, April 12, 2019 - 10:18:03 AM
Document(s) archivé(s) le : Tuesday, June 15, 2010 - 11:45:45 PM

### File

2IntTCS.pdf
Files produced by the author(s)

### Identifiers

• HAL Id : hal-00417717, version 1

### Citation

Guillaume Blin, Guillaume Fertin, Stéphane Vialette. Extracting Constrained 2-Interval Subsets in 2-Interval Sets. Theoretical Computer Science, Elsevier, 2007, 385 (1-3), pp.241-263. ⟨hal-00417717⟩

Record views