Teorema Se Pammette una soluzione ammissibile, allora ha una soluzione albero ammissibile.

Se P ha soluzione ottima, allora ha una soluzione albero ottima Parte 1 Sia xuna soluzione ammissibile per P. Se xnon una soluzione albero, significa che esiste almeno un ciclo Ccon la proprietche xij> 0per ogni (i, j) C. Cpu essere sempre orientato in modo che contenga almeno un arco reverse. Sia = minxijtale che (i,j)un arco reversedi C. La soluzione xottenuta da xcon la seguente tecnica: xij= xij+ se (i,j)un arco forwarddi C xij= xijse (i,j)un arco reversedi C ammissibile e non contiene piC. Pongo x= xe reitero finchxpriva di cicli. Parte 2 Sia x*una soluzione ottima. Se x*contiene un circuito, questo ha costo zero. Difatti, x*non pu contenere circuiti Cdi costo negativo (altrimenti x*non sarebbe ottima). Potendo scegliere lorientazione di C, significa che se x*contiene cicli, questi hanno costo zero. sufficiente, quindi, applicare la tecnica precedente per ottenere una soluzione ottima albero.