Una volta fissato nm≤n≤nM, definiamo la matrice T di ordine 2 f(n) x Smax+2 che contiene nelle righe dispari le dimensioni effettive e nelle righe pari le rispettive difettività:

→riga dim

 

 

 

 

 

 

2

n

dim(G(2,n)2)

  .  .  . 

dim(G(2,n)S)

 

 

def(G(2,n)2)

 .  .  . 

def(G(2,n)S)

.

 

 

 

 

.

 

 

 

 

.

 

 

 

 

  f(n)  

  n  

  dim(G(f(n),n)2) 

  .  .  .  

  dim(G(f(n),n)S)  

 

 

  def(G(f(n),n)2)  

  .  .  . 

def(G(f(n),n)S)

 

←riga def

 

 

 

 

 

dove def(k,n)s) = dim aspettata(G(k,n)s) - dim(G(k,n)s).

All'inizio T è definita vuota.