DFT*, hacking forever

Una cosa non immediata è spiegarne la message complexity...

DFT ok, ha 2m.
DFT+, per evitare i backedge, bussa ad ogni porta con un Visited e domanda Ack(nowledgement). Si ha dunque 4m-2(n-1).
DFT++ non chiede più gli Ack. Un upper bound dato dagli errori che ora possono presentarsi ci dà
4m-n+1.
DFT*, infine, usa il Token come un Visited. Ci fa risparmiare dunque un Visited tranne che per quei nodi che quando ricevono il Token si ritrovano già senza vicini da visitare (questo punto forse richiede un po' di riflessione...) per cui bisogna togliere n-emptyUnvisited  ottenendo una message complexity pari a
4m-2n+emptyUnvisited+1. 
Tadan.