A Solução Higiênica: Condições Iniciais

1.: Todos os garfos estão sujos :
$\begin{displaymath} \forall f, dirty_{u}(f) \vee dirty_{v}(f)\end{displaymath}$
2.: Todo garfo f e o request token associado estão com vizinhos distintos
$\begin{displaymath} \begin{array} {c} fork_{u}(f), reqf_{v}(f), \neg fork_{v}(f... ...), reqf_{u}(f), \neg fork_{u}(f), \neg reqf_{v}(f) \end{array}\end{displaymath}$
3.: Os garfos estão dispostos de maneira a fazer H acíclico