Color-coding

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 ) expected time or O(V ω log V ) worst-case time, where ω < 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 = (VH , EH) where |VH | = 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.

[1]  W. R. Garner,et al.  The amount of information in absolute judgments. , 1951 .

[2]  R. M. Hanes,et al.  Color Identification as a Function of Extended Practice , 1959 .

[3]  R M HALSEY Identification of signal lights. II. Elimination of the purple category. , 1959, Journal of the Optical Society of America.

[4]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[5]  W D Wright,et al.  The sensitivity of the eye to small colour differences , 1941 .

[6]  E. A. Alluisi,et al.  Conditions affecting the amount of information in absolute judgments. , 1957, Psychological review.

[7]  Paul D. Seymour,et al.  Graph Minors: XV. Giant Steps , 1996, J. Comb. Theory, Ser. B.

[8]  S. Smith,et al.  Color coding and visual search. , 1962, Journal of experimental psychology.

[9]  Paul D. Seymour,et al.  Graph minors. V. Excluding a planar graph , 1986, J. Comb. Theory B.

[10]  Dana S. Richards,et al.  Finding Short Cycles in Planar Graphs Using Separators , 1986, J. Algorithms.

[11]  David S. Johnson,et al.  The NP-Completeness Column: An Ongoing Guide , 1982, J. Algorithms.

[12]  C W ERIKSEN,et al.  Location of objects in a visual display as a function of the number of dimensions on which the objects differ. , 1952, Journal of experimental psychology.

[13]  Noga Alon,et al.  Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphs , 1992, IEEE Trans. Inf. Theory.

[14]  P L WALRAVEN,et al.  Recognition of color code by normals and color defectives at several illumination levels. An evaluation study of the H.R.R. plates. , 1960, American journal of optometry and archives of American Academy of Optometry.

[15]  Hans L. Bodlaender,et al.  On Linear Time Minor Tests with Depth-First Search , 1993, J. Algorithms.

[16]  R. M. Halsey On the number of absolutely identifiable spectral hues. , 1951, Journal of the Optical Society of America.

[17]  Martin Fürer,et al.  Approximating the minimum degree spanning tree to within one from the optimal degree , 1992, SODA '92.

[18]  A CHAPANIS,et al.  Luminance of equally bright colors. , 1955, Journal of the Optical Society of America.

[19]  P M FITTS,et al.  Amount of information gained during brief exposures of numerals and colors. , 1958, Journal of experimental psychology.

[20]  Edwin J. Breneman Dependence of Luminance Required for Constant Brightness upon Chromaticity and Chromatic Adaptation , 1958 .

[21]  David Eppstein,et al.  The Polyhedral Approach to the Maximum Planar Subgraph Problem: New Chances for Related Problems , 1994, GD.

[22]  B. Bollobás,et al.  Extremal Graph Theory , 2013 .

[23]  L FredmanMichael,et al.  Storing a Sparse Table with 0(1) Worst Case Access Time , 1984 .

[24]  David R. Karger,et al.  On Approximating the Longest Path in a Graph (Preliminary Version) , 1993, WADS.

[25]  B. Monien How to Find Long Paths Efficiently , 1985 .

[26]  B. M. Fulk MATH , 1992 .

[27]  Jeanette P. Schmidt,et al.  The Spatial Complexity of Oblivious k-Probe Hash Functions , 2018, SIAM J. Comput..

[28]  G. Grimmett,et al.  EXTREMAL GRAPH THEORY WITH EMPHASIS ON PROBABILISTIC METHODS (CBMS Regional Conference Series in Mathematics 62) , 1987 .

[29]  R. M. Halsey,et al.  Absolute Judgments of Spectrum Colors , 1956 .

[30]  J. Bruner,et al.  Multiplicity of set as a determinant of perceptual behavior. , 1949, Journal of experimental psychology.

[31]  Leland L. Beck,et al.  Smallest-last ordering and clustering and graph coloring algorithms , 1983, JACM.

[32]  Mihalis Yannakakis,et al.  On limited nondeterminism and the complexity of the V-C dimension , 1993, [1993] Proceedings of the Eigth Annual Structure in Complexity Theory Conference.

[33]  B. Green,et al.  Color coding in a visual search task. , 1956, Journal of experimental psychology.

[34]  E A ALLUISI,et al.  Verbal and motor responses to seven symbolic visual codes: a study in S-R compatibility. , 1958, Journal of experimental psychology.

[35]  F C VOLKMANN,et al.  Three types of anchoring effects in the absolute judgment of hue. , 1961, Journal of experimental psychology.

[36]  Paul D. Seymour,et al.  Graph Minors. II. Algorithmic Aspects of Tree-Width , 1986, J. Algorithms.

[37]  R. M. Halsey,et al.  Identification of signal lights. I. Blue, green, white, and purple. , 1959, Journal of the Optical Society of America.

[38]  D JAMESON,et al.  Perceived color and its dependence on focal, surrounding, and preceding stimulus variables. , 1959, Journal of the Optical Society of America.

[39]  Noga Alon,et al.  Simple Construction of Almost k-wise Independent Random Variables , 1992, Random Struct. Algorithms.

[40]  Béla Bollobás,et al.  Extremal graph theory with emphasis on probabilistic methods , 1986, CBMS-NSF regional conference series in applied mathematics.

[41]  David S. Johnson The NP-Completeness Column: An Ongoing Guide , 1986, J. Algorithms.

[42]  H W HAKE,et al.  Anchor effects in absolute judgments. , 1957, Journal of experimental psychology.

[43]  G. Wyszecki,et al.  Wavelength discrimination for point sources. , 1958, Journal of the Optical Society of America.

[44]  C W ERIKSEN,et al.  Object location in a complex perceptual field. , 1953, Journal of experimental psychology.

[45]  Rita M. Halsey,et al.  Chromaticity-Confusion Contours in a Complex Viewing Situation* , 1954 .

[46]  Noga Alon,et al.  Color-coding: a new method for finding simple paths, cycles and other small subgraphs within large graphs , 1994, STOC '94.

[47]  Moni Naor,et al.  Small-Bias Probability Spaces: Efficient Constructions and Applications , 1993, SIAM J. Comput..

[48]  Michael R. Fellows,et al.  Fixed-parameter intractability , 1992, [1992] Proceedings of the Seventh Annual Structure in Complexity Theory Conference.

[49]  David M. Promisel,et al.  Visual target location as a function of number and kind of competing signals. , 1961 .

[50]  Raphael Yuster,et al.  Finding Even Cycles Even Faster , 1994, SIAM J. Discret. Math..

[51]  Mihalis Yannakakis,et al.  The Clique Problem for Planar Graphs , 1981, Inf. Process. Lett..

[52]  Bernd Voigt,et al.  Finding Minimally Weighted Subgraphs , 1991, WG.

[53]  David S. Johnson,et al.  The NP-Completeness Column: An Ongoing Guide , 1982, J. Algorithms.

[54]  János Komlós,et al.  Storing a sparse table with O(1) worst case access time , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[55]  J. Guilford,et al.  A system of color-preferences. , 1949, The American journal of psychology.

[56]  Alon Itai,et al.  Finding a minimum circuit in a graph , 1977, STOC '77.

[57]  Norishige Chiba,et al.  Arboricity and Subgraph Listing Algorithms , 1985, SIAM J. Comput..

[58]  D. Mackay XXIV. Quantal aspects of scientific information , 1950 .