V è la lista di variabili

V := {{x _0,0,0 , . . . , x _0,k,n-k-1 } } , {{x _1,k,n-k-1 , x _1,k,n-k-1 }, . . . , {x _s,0,0 , . . . , x _s,k,n-k-1 }} _{s=2, ..., S} .