Following what has been done the LCP ``` G(u,v) = 0 0 <= v _|_ H(u,v) >=0 ```
Following what has been done the LCP