Extracting Constrained 2-Interval Subsets in 2-Interval Sets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2007

Extracting Constrained 2-Interval Subsets in 2-Interval Sets

Résumé

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.
Fichier principal
Vignette du fichier
2IntTCS.pdf (779.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00417717 , version 1 (16-09-2009)

Identifiants

  • HAL Id : hal-00417717 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More