b ( E , u ∈ E , v ∈ E ) ∈ { 0 , 1 } = { 0 if ( u , v ) is an edge in E 1 if ( u , v ) is not an edge in E f ( F , u ∈ F , v ∈ F ) ∈ { 0 , 1 } = { 0 if ( u , v ) is an edge in F 1 if ( u , v ) is not an edge in F c ( C , E , p ∈ C , q ∈ C , r ∈ C , s ∈ C ) ∈ { 0 , 1 , 2 , 3 } = b ( E , C p − 1 , C q + 1 ) + b ( E , C q , C s ) + b ( E , C p , C r ) d ( C , F , p ∈ C , q ∈ C , r ∈ C , s ∈ C ) ∈ { 0 , 1 , 2 , 3 } = f ( F , C p − 1 , C q + 1 ) + f ( F , C q , C s ) + f ( F , C p , C r ) b , c , d , f ∈ O ( 1 ) {\displaystyle {\begin{array}{lcl}b\left(E,u\in E,v\in E\right)\in \left\{0,1\right\}&=&{\begin{cases}0&{\text{if }}\left(u,v\right){\text{ is an edge in }}E\\1&{\text{if }}\left(u,v\right){\text{ is not an edge in }}E\end{cases}}\\f\left(F,u\in F,v\in F\right)\in \left\{0,1\right\}&=&{\begin{cases}0&{\text{if }}\left(u,v\right){\text{ is an edge in }}F\\1&{\text{if }}\left(u,v\right){\text{ is not an edge in }}F\end{cases}}\\c\left(C,E,p\in C,q\in C,r\in C,s\in C\right)\in \left\{0,1,2,3\right\}&=&b\left(E,C_{p-1},C_{q+1}\right)+b\left(E,C_{q},C_{s}\right)+b\left(E,C_{p},C_{r}\right)\\d\left(C,F,p\in C,q\in C,r\in C,s\in C\right)\in \left\{0,1,2,3\right\}&=&f\left(F,C_{p-1},C_{q+1}\right)+f\left(F,C_{q},C_{s}\right)+f\left(F,C_{p},C_{r}\right)\\b,c,d,f\in O\left(1\right)\\\end{array}}}
m ( C , F , E ) ∈ { 0 , 1 , 2 , 3 } = min p , q , r , s ∈ C ( p ≤ q ) ∧ ( q < r ) ∧ ( q < s ) ∧ ( | s − r | = 1 ) ( c ( C , E , p , q , r , s ) ≠ 0 ) → ( d ( C , F , p , q , r , s ) ≠ 0 ) c ( C , E , p , q , r , s ) {\displaystyle {\begin{array}{lcl}m\left(C,F,E\right)\in \left\{0,1,2,3\right\}&=&{\underset {\begin{array}{c}p,q,r,s\in C\\\left(p\leq q\right)\wedge \left(q<r\right)\wedge \left(q<s\right)\wedge \left(\left|s-r\right|=1\right)\\\left(c\left(C,E,p,q,r,s\right)\neq 0\right)\rightarrow \left(d\left(C,F,p,q,r,s\right)\neq 0\right)\end{array}}{\min }}c\left(C,E,p,q,r,s\right)\\\end{array}}}