Définitions formelles

? = {?+, ?-, ?+, ?-}

S=(S1,..., Sk), 1?i? k, Si ??

H = {(S1,?,Sj), | S1,Sj, ?{?+, ?-} ? = P ? S1=Sj, ? = A ? S1?Sj}

C = {(S1,?,Sj) | S1,Sj, ? ?, ,? ? {D,G}

S=(?1+, ?2-, ?3-, ?4+, ?5+,?6-, ?7+, ?8-)

H = { (?1+, A, ?6-), (?1+, A, ?8-), (?4+, A, ?6-),(?5+, A, ?6-)}

C= {(?1+,D, ?4+),(?6-,D ?8-)}