[ISS] Linear Secret Sharing e padding matrice

Buonasera a tutti :)

ho una domanda riguardo il Linear secret sharing. Abbiamo detto che dato un
qualunque predicato logico che non contenga negazioni (quindi solo AND e OR)
possiamo costruire la matrice A del linear secret sharing.

In alcuni casi ci saranno degli elementi che sono lasciati "liberi" ma 
dovranno
essere scelti accuratamente per evitare inconsistenze col predicato logico da
cui si era partiti (non faccio esempi per fare prima :D se volete però ne 
posto
uno).

La mia domanda è: c'è un metodo preciso per decidere il padding (appunto 
questi
elementi lasciati liberi) nella matrice A oppure bisogna sceglierlo "ad 
occhio"
in maniera tale che tutto torni?

Grazie per l'attenzione :)

Mirko