Variabili

Le variabili riguardano la selezione delle pagine da caricare nella memoria locale:

$$x_i = \left\{ \begin{array}{ll} 1 & \mbox{la pagina $i$\ v... ... \mbox{altrimenti} \end{array} \right. \;\;\; \forall i\in P.$$