Abstract
An edge Hamiltonian path of a graph is a permutation of its edge set where every pair of consecutive edges have a vertex in common. Unlike the seemingly related problem of finding an Eulerian walk, the edge Hamiltonian path is known to be a \(\mathsf {NP}\)-hard problem, even on fairly restricted classes of graphs. We introduce a natural optimization variant of the notion of an edge Hamiltonian path, which seeks the longest sequence of distinct edges with the property that every consecutive pair of them has a vertex in common. We call such a sequence of edges an edge-linked path, and study the parameterized complexity of the problem of finding edge-linked paths with at least k edges. We show that the problem is FPT when parameterized by k, and unlikely to admit a polynomial kernel even on connected graphs.
On the other hand, we show that the problem admits a Turing kernel of polynomial size. To the best of our knowledge, this is the first problem on general graphs to admit Turing kernels with adaptive oracles (for which a non-adaptive kernel is not known). We also design a single-exponential parameterized algorithm for the problem when parameterized by the treewidth of the input graph.
This work is supported by the European Research Council (ERC) via grant LOPPRE, reference 819416 and Norwegian Research Council via project MULTIVAL.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
These instances typically have the property that the input instance is a Yes-instance if and only if one of these instances is a Yes-instance: therefore, the oracle can be applied to each instance in turn to solve the problem.
- 2.
Due to lack of space, the algorithm parameterized by treewidth and the arguments for the above-guarantee parameter are deferred to the full version of the paper.
- 3.
The proofs of results marked with \(\star \) are deferred to the full version of the paper.
References
Bertossi, A.A.: The edge Hamiltonian path problem is NP-complete. Inf. Process. Lett. 13(4/5), 157–159 (1981)
Bilinski, M., Jackson, B., Ma, J., Yu, X.: Circumference of 3-connected claw-free graphs and large Eulerian subgraphs of 3-edge-connected graphs. J. Comb. Theory Ser. B 101(4), 214–236 (2011)
Bodlaender, H.L., Jansen, B.M.P., Kratsch, S.: Kernelization lower bounds by cross-composition. SIAM J. Discrete Math. 28(1), 277–305 (2014)
Cygan, M., et al.: Parameterized Algorithms. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21275-3
Cygan, M., Kratsch, S., Nederlof, J.: Fast hamiltonicity checking via bases of perfect matchings. J. ACM 65(3), 12:1–12:46 (2018)
Demaine, E.D., Demaine, M.L., Harvey, N.J.A., Uehara, R., Uno, T., Uno, Y.: UNO is hard, even for a single player. Theor. Comput. Sci. 521, 51–61 (2014)
Diestel, R.: Graph Theory. Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Heidelberg (2012)
Hopcroft, J., Tarjan, R.: Dividing a graph into triconnected components. SIAM J. Comput. 2(3), 135–158 (1973)
Jansen, B.M.P., Pilipczuk, M., Wrochna, M.: Turing kernelization for finding long paths in graphs excluding a topological minor. In: IPEC, vol. 89. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)
Jansen, B.M.: Turing kernelization for finding long paths and cycles in restricted graph classes. J. Comput. Syst. Sci. 85(C), 18–37 (2017)
Lai, T.H., Wei, S.S.: The edge Hamiltonian path problem is NP-complete for bipartite graphs. Inf. Process. Lett. 46(1), 21–26 (1993)
Lampis, M., Makino, K., Mitsou, V., Uno, Y.: Parameterized edge hamiltonicity. Discrete Appl. Math. 248, 68–78 (2018)
Ryjáček, Z., Woeginger, G.J., Xiong, L.: Hamiltonian index is NP-complete. Discrete Appl. Math. 159(4), 246–250 (2011)
Thomassé, S., Trotignon, N., Vuskovic, K.: A polynomial turing-kernel for weighted independent set in bull-free graphs. Algorithmica 77(3), 619–641 (2017)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Misra, N., Panolan, F., Saurabh, S. (2019). On the Parameterized Complexity of Edge-Linked Paths. In: van Bevern, R., Kucherov, G. (eds) Computer Science – Theory and Applications. CSR 2019. Lecture Notes in Computer Science(), vol 11532. Springer, Cham. https://doi.org/10.1007/978-3-030-19955-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-19955-5_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19954-8
Online ISBN: 978-3-030-19955-5
eBook Packages: Computer ScienceComputer Science (R0)