Abstract
An r-simple k-path is a path in the graph of length k that passes through each vertex at most r times. The r-SIMPLE k-PATH problem, given a graph G as input, asks whether there exists an r-simple k-path in G. We first show that this problem is NP-Complete. We then show that there is a graph G that contains an r-simple k-path and no simple path of length greater than 4logk/logr. So this, in a sense, motivates this problem especially when one’s goal is to find a short path that visits many vertices in the graph while bounding the number of visits at each vertex.
We then give a randomized algorithm that runs in time
that solves the r-SIMPLE k-PATH on a graph with n vertices with one-sided error. We also show that a randomized algorithm with running time poly(n)·2(c/2)k/ r with c < 1 gives a randomized algorithm with running time poly(n)·2cn for the Hamiltonian path problem in a directed graph - an outstanding open problem. So in a sense our algorithm is optimal up to an O(logr) factor in the exponent.
The crux of our method is to use low degree testing to efficiently test whether a polynomial contains a monomial where all individual degrees are bounded by a given r.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abasi, H., Bshouty, N.H.: A simple algorithm for undirected hamiltonicity. Electronic Colloquium on Computational Complexity (ECCC) 20, 12 (2013)
Alon, N., Yuster, R., Zwick, U.: Color-Coding. J. ACM 42(4), 844–856 (1995)
Bellman, R.: Dynamic programming treatment of the travelling salesman problem. J. Assoc. Comput. Mach. 9, 61–63 (1962)
Bellman, R.: Combinatorial processes and dynamic programming, Combinatorial Analysis. In: Bellman, R., Hall, M. (eds.) Proceedings of Symposia in Applied Mathematics 10, American Mathematical Society, pp. 217–249 (1960)
Bodlaender, H.L.: On linear time minor tests with depth-first search. J. Algorithm. 14(1), 1–23 (1993)
Björklund, A., Husfeldt, T., Khanna, S.: Approximating Longest Directed Paths and Cycles. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 222–233. Springer, Heidelberg (2004)
Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Narrow sieves for parameterized paths and packings. CoRR abs/1007.1161 (2010)
Baker, R.C., Harman, G., Pintz, J.: The Difference between Consecutive Primes. II. Proc. London Math. Soc. 83(3), 532–562 (2001)
Cramer, H.: On the order of magnitude of the difference between consecutive prime numbers. Acta Arithmetica 2, 23–46 (1936)
Chen, J., Lu, S., Sze, S.-H., Zhang, F.: Improved algorithms for path, matching, and packing problems. In: Proc. 18th Annual ACM SIAM Symposium on Discrete Algorithms, SODA 2007, Philadelphia, PA, USA, pp. 298–307 (2007)
Gabow, H.N., Nie, S.: Finding Long Paths, Cycles and Circuits. In: Hong, S.-H., Nagamochi, H., Fukunaga, T. (eds.) ISAAC 2008. LNCS, vol. 5369, pp. 752–763. Springer, Heidelberg (2008)
Haramaty, E., Shpilka, A., Sudan, M.: Optimal Testing of Multivariate Polynomials over Small Prime Fields. SIAM J. Comput. 42(2), 536–562 (2013)
Koutis, I.: Faster algebraic algorithms for path and packing problems. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 575–586. Springer, Heidelberg (2008)
Koutis, I., Williams, R.: Limits and applications of group algebras for parameterized problems. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part I. LNCS, vol. 5555, pp. 653–664. Springer, Heidelberg (2009)
Karger, D.R., Motwani, R., Ramkumar, G.D.S.: On Approximating the Longest Path in a Graph. Algorithmica 18(1), 82–98 (1997)
Kneis, J., Mölle, D., Richter, S., Rossmanith, P.: Divide-and-Color. In: Fomin, F.V. (ed.) WG 2006. LNCS, vol. 4271, pp. 58–67. Springer, Heidelberg (2006)
Monien, B.: How to find long paths efficiently. Annals of Discrete Mathematics 25, 239–254 (1985)
Ribenboim, P.: The New Book of Prime Number Records. Springer, New York (1996)
Williams, R.: Finding paths of length k in O *(2k). Inform. Process Lett. 109(6), 301–338 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abasi, H., Bshouty, N.H., Gabizon, A., Haramaty, E. (2014). On r-Simple k-Path. In: Csuhaj-Varjú, E., Dietzfelbinger, M., Ésik, Z. (eds) Mathematical Foundations of Computer Science 2014. MFCS 2014. Lecture Notes in Computer Science, vol 8635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44465-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-44465-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44464-1
Online ISBN: 978-3-662-44465-8
eBook Packages: Computer ScienceComputer Science (R0)