Based on the adjacency matrix of the network graph, the theoretical proof of the topological arithmetic is given.

• 以图论中邻接矩阵为基础,给出了该算法的理论证明。