Prove that there exists a deadlock-free controller, for packet switching on a hypercube, which uses only two buffers in each node and allows packets to he routed usa minimum-hop paths.
Is it possible to obtain the collection of used paths by means of the interval routing algorithm (Subsection 4.4.2)? Is it possible to use a linear interval labelung scheme?