Vincoli

I vincoli di conservazione del flusso obbligano lo spazzaneve a tornare al punto di partenza;

\begin{displaymath}
\sum_{j: (j,i) \in A} x_{ji} + = \sum_{j: (i,j) \in A} x_{ij} = 0\;\;\;\; \forall i\in N
\end{displaymath}

Per avere la certezza di passare su tutte le strade almeno una volta bisogna imporre un vincolo sulla capacità inferiore di ogni arco:

\begin{displaymath}
x_{ij} \geq1 \;\;\;\;\; \forall (i,j) \in A
\end{displaymath}