next up previous
Next: Probabilistic Models for Mapping Up: DNA Physical Mapping Previous: PQ-Tree Algorithm [#!BL76!#]

   
Solving the Unique Mapping Problem Using Interval Graphs

Create a graph G(V,E) whose vertices are the clones, and its edges are $E=\{(v_{i},v_{j})\vert$ there exists a probe p, $p(v_{i}) = p(v_{j})\}$  
\begin{dfn}{\rm A graph $G(V,E)$\space is said to be an {\em
interval graph} i...
...he set of such intervals
is then called a {\em realization} of $G$ .} \end{dfn}

Problem 10.3   The interval graph problem.
INPUT: A graph G(V,E).
QUESTION: Determine whether G is an interval graph.

Intuitively, it is clear that the problem of checking if a graph is an interval graph is closely related to 10.1 (finding $ \Pi(\varphi) $). The problem of recognition of interval graphs can be solved in polynomial time [1]. The algorithm is based on a following theorem:

Theorem 10.4   Fulkerson - Gross 1965 [3]

A graph G(V,E) is an interval graph iff all of the maximal cliques in the graph can be arranged in linear order so that for every vertex the set of all the cliques containing it is continuous.

To solve the problem mentioned above a matrix is created displaying the connection between the maximal cliques and the vertices:

\begin{displaymath}M_{i,j} =
\begin{cases}
1 & \text{if vertex $i$\space is in clique $j$ }, \\
0 & \text{otherwise}.
\end{cases}
\end{displaymath} (10.1)

By using the algorithm of [1] given in section 10.1.3, we try to find a permutation on the clique order satisfying the requirements of theorem 10.4,furthermore, such a permutation allows easy computation of a set of intervals corresponding to the nodes. Note that construction of matrix M above uses the following property: An interval graph has O(n) maximal cliques and these cliques can be found in O(n) time. As mentioned above, solving the unique mapping problem can be done quite easily using PQ-trees in the absence of noise. In the case of either missing edges (probe not identified) or extra edges (probe identified where it should not have been) the resulting graph might not be an interval graph. The problem of creating an interval graph from the existing graph is known as the interval graph editing problem. Slight modifications introduce other variants like the interval graph sandwich problem.
next up previous
Next: Probabilistic Models for Mapping Up: DNA Physical Mapping Previous: PQ-Tree Algorithm [#!BL76!#]
Itshack Pe`er
1999-03-21