COLOR-CODING

被引:715
作者
ALON, N [1 ]
YUSTER, R [1 ]
ZWICK, U [1 ]
机构
[1] TEL AVIV UNIV,RAYMOND & BEVERLY SACKLER FAC EXACT SCI,SCH MATH SCI,IL-69978 TEL AVIV,ISRAEL
来源
JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY | 1995年 / 42卷 / 04期
关键词
D O I
10.1145/210332.210337
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We describe a novel randomized method, the method of color-coding for finding simple paths and cycles of a specified length k. and other small subgraphs, within a given graph G = (V, E). The randomized algorithms obtained using this method can be derandomized using families of perfect hash functions. Using the color-coding method we obtain, in particular, the following new results: For every fixed k, if a graph G = (V, E) contains a simple cycle of size exactly k, then such a cycle can be found in either O(V-omega) expected time or O(V-omega log V) worst-case time, where omega < 2.376 is the exponent of matrix multiplication. (Here and in what follows we use V and E instead of \V\ and \E\ whenever no confusion may arise.) For every fixed k, if a planar graph G = (V, E) contains a simple cycle of size exactly k, then such a cycle can be found in either O(V) expected time or O(V log V) worst-case time. The same algorithm applies, in fact, not only to planar graphs, but to any minor closed family of graphs which is not the family of all graphs. If a graph G = (V, E) contains a subgraph isomorphic to a bounded tree-width graph H = (V-H, E(H)) where \V-H\ = O(log V), then such a copy of H can be found in polynomial time. This was not previously known even if H were just a path of length O(log V). These results improve upon previous results of many authors. The third result resolves in the affirmative a conjecture of Papadimitriou and Yannakakis that the LOG PATH problem is in P. We can show that it is even in NC.
引用
收藏
页码:844 / 856
页数:13
相关论文
共 28 条
[1]   SIMPLE CONSTRUCTIONS OF ALMOST K-WISE INDEPENDENT RANDOM-VARIABLES [J].
ALON, N ;
GOLDREICH, O ;
HASTAD, J ;
PERALTA, R .
RANDOM STRUCTURES & ALGORITHMS, 1992, 3 (03) :289-304
[2]   CONSTRUCTION OF ASYMPTOTICALLY GOOD LOW-RATE ERROR-CORRECTING CODES THROUGH PSEUDORANDOM GRAPHS [J].
ALON, N ;
BRUCK, J ;
NAOR, J ;
NAOR, M ;
ROTH, RM .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1992, 38 (02) :509-516
[3]   ADDITION [J].
ALON, N .
RANDOM STRUCTURES & ALGORITHMS, 1993, 4 (01) :119-120
[4]  
ALON N, IN PRESS ALGORITHMIC
[5]  
ALON N, IN PRESS SIAM J DISC
[6]   ON LINEAR TIME MINOR TESTS WITH DEPTH-1ST SEARCH [J].
BODLAENDER, HL .
JOURNAL OF ALGORITHMS, 1993, 14 (01) :1-23
[7]  
BOLLOBAS B, 1986, REGIONAL C SERIES MA, V0062
[8]  
Bollobas B., 1978, LONDON MATH SOC MONO
[9]   ARBORICITY AND SUBGRAPH LISTING ALGORITHMS [J].
CHIBA, N ;
NISHIZEKI, T .
SIAM JOURNAL ON COMPUTING, 1985, 14 (01) :210-223
[10]  
Cormen T. H., 1992, INTRO ALGORITHMS