SummaryWe investigate fault‐tolerant shortest path problem in the hypercube between two nodes where some nodes are faulty (or blocked) and thus cannot be used in routing. Previously, several similar problems were studied where proposed algorithms are distributed and local‐information‐based, that is, each node in the network knows only its neighbor's status (faulty or not) and they also look for optimal or near‐optimal paths. There have been studies that established some sufficient conditions for these paths to exist. Since these conditions are only sufficient, there could be shortest paths that will be missed by these conditions. We study the problem under the assumption that for two given nodes, a source node s, a target node t, only s requires to have a global information of the network in order to find a shortest path to t, should it exist. A shortest path is defined as the Hamming distance between s and t. This problem can be solved by trivial algorithms. The first is to try all possible paths. In an n‐dimensional hypercube with 2n vertices, this method would cost at least n! time. Another method is to perform a standard shortest path finding algorithm, which would require at least 2n time. A routing algorithm has been previously developed which is efficient in certain situations. However, in the worst case, its running time could be exponential in the hypercube dimension. We propose an efficient algorithm with running time of O(n3m2), polynomial in n, the hypercube dimension, and m, number of blocking nodes. We gain our efficiency by reducing the routing problem to a permutation problem which can be solved using inclusion‐exclusion principle. We finally use dynamic programming technique to optimally count the terms. With the proposed algorithm, not only can we find a shortest path, if such a path does exist, but we can also count all possible shortest paths.
Read full abstract