next up previous contents
Next: Up: Correctness Proof Previous: c < min(k,q)

$c \geq min(k,q) \quad \textrm{and} \quad k < q$

Here the two paths look like:-

\begin{displaymath}
P'_{3} = y_{1}, \ldots y_{k},b,y_{k+1} \ldots y_{m} \end{displaymath}

\begin{displaymath}
P_{2} = x_{1}, \ldots x_{p}, \ldots x_{q}, b, x_{q+1}, \ldots x_{m}\end{displaymath}

What is important is where p is in relation to k. There are two sub cases.



 

Timothy Lewis
11/12/1997