La funzione ed calcola la dimensione aspettata di G(k,n)^s in dipendenza dalle variabili k , n e s+1 :

ed(k,n,s) = min{N,(s+1)*(n-k)+s}.