Approximating Longest Directed Path

We investigate the hardness of approximating the longest path and the longest cycle in directed graphs on n vertices. We show that neither of these two problems can be polynomial time approximated within n for any > 0 unless P = NP. In particular, the result holds for digraphs of constant bounded outdegree that contain a Hamiltonian cycle. Assuming the stronger complexity conjecture that Satisfiability cannot be solved in subexponential time, we show that there is no polynomial time algorithm that always finds a path of length Ω(log n), or a cycle of length Ω(log n), for any constant > 0 in these graphs. In contrast we show that there is a polynomial time algorithm always finding a path of length Ω(log n/ log log n) in these graphs. This separates the approximation hardness of Longest Path and Longest Cycle in this class of graphs. Furthermore, we present a polynomial time algorithm that finds paths of length Ω(n) in most digraphs of constant bounded outdegree.

[1]  Saharon Shelah,et al.  Expected Computation Time for Hamiltonian Path Problem , 1987, SIAM J. Comput..

[2]  Russell Impagliazzo,et al.  Which problems have strongly exponential complexity? , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[3]  Leslie G. Valiant,et al.  Fast probabilistic algorithms for hamiltonian circuits and matchings , 1977, STOC '77.

[4]  Rajeev Motwani,et al.  Finding long paths and cycles in sparse Hamiltonian graphs , 2000, STOC '00.

[5]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

[6]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[7]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[8]  Christos H. Papadimitriou,et al.  Computational complexity , 1993 .

[9]  Russell Impagliazzo,et al.  Which Problems Have Strongly Exponential Complexity? , 2001, J. Comput. Syst. Sci..

[10]  Alan M. Frieze,et al.  Finding Hidden Hamiltonian Cycles , 1994, Random Struct. Algorithms.

[11]  Noga Alon,et al.  Color-coding , 1995, JACM.

[12]  Russell Impagliazzo,et al.  On the Complexity of k-SAT , 2001, J. Comput. Syst. Sci..

[13]  Sundar Vishwanathan,et al.  An approximation algorithm for finding a long path in Hamiltonian graphs , 2000, SODA '00.

[14]  Andreas Björklund,et al.  Finding a Path of Superlogarithmic Length , 2002, ICALP.