## Abstract

A linear graph is a graph whose vertices are linearly ordered. This linear ordering allows pairs of disjoint edges to be either preceding (<), nesting (square subset) or crossing (between). Given a family of linear graphs, and a non-empty subset R ⊆ {<, square subset, between}, we are interested in the MCSP problem: Find a maximum size edge-disjoint graph, with edge-pairs all comparable by one of the relations in R, that occurs as a subgraph in each of the linear graphs of the family. In this paper, we generalize the framework of Davydov and Batzoglou by considering patterns comparable by all possible subsets T ⊆ {<, square subset, between}. This is motivated by the fact that many biological applications require considering crossing structures, and by the fact that different combinations of the relations above give rise to different generalizations of natural combinatorial problems. Our results can be summarized as follows: We give tight hardness results for the MCSP problem for {<, between}-structured patterns and {square subset, between}-structured patterns. Furthermore, we prove that the problem is approximable within ratios: (i) 2 ℋ(k) for {<, between}-structured patterns, (ii) k^{1/2} for {square subset, between}-structured patterns, and (iii) Ο(y√k lg k) for {<, square subset, between}-structured patterns, where k is the size of the optimal solution and ℋ(k) = Σ_{i=1}^{k} 1/i is the k-th harmonic number.

Original language | English GB |
---|---|

Pages (from-to) | 241-252 |

Number of pages | 12 |

Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |

DOIs | |

State | Published - 1 Jan 2007 |

Externally published | Yes |

Event | 18th Annual Symposium on Combinatorial Pattern Matching, CPM 2007 - London, ON, Canada Duration: 9 Jul 2007 → 11 Jul 2007 |

## ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science (all)