A polynomial time algorithm for finding the prime factors of cartesian-product graphs
暂无分享,去创建一个
Abstract We consider the computational complexity of recognizinf concerned cartesian product graphs. Sabidussi gives a non-algorithmic proof that the cartesian factorization is unique. He uses a tower of successively coarser equivalence relations on the edge set in which each prime factor of the graph is identified with an equivalence class in the coarsest of the relations. We first explore the structure and size of the relation at the base of the tower. Then we give a polynomial-time algorithm to compute the relations and to construct the prime factors of any connected graph. The bounds on the size of the relations are crucial to the runtime analysis of our algorithm.
[1] Joan Feigenbaum,et al. Recognizing Composite Graphs is Equivalent to Testing Graph Isomorphism , 1986, SIAM J. Comput..
[2] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .
[3] Derek A. Holton,et al. Stability of cartesian products , 1978, J. Comb. Theory, Ser. B.
[4] R. Graham,et al. On isometric embeddings of graphs , 1985 .
[5] Robert E. Tarjan,et al. Efficiency of a Good But Not Linear Set Union Algorithm , 1972, JACM.