inactive

Proof of deadlock freedom and livelock freedom is presented.

部分自适应的NPN和确定性的IDO都是无死锁,无活锁且最短的路由算法。