Abstract
Fleischner's theorem says that the square of every 2-connected graph contains a Hamiltonian cycle. We present a proof resulting in an O(|E|) algorithm for producing a Hamiltonian cycle in the square G2 of a 2-connected graph G = (V;E). The previous best was O(|V |2) by Lau in 1980. More generally, we get an O(|E|) algorithm for producing a Hamiltonian path between any two prescribed vertices, and we get an O(|V |2) algorithm for producing cycles C3;C4; : : : ;C|V| in G2 of lengths 3; 4; : : : ; |V|, respectively.
Original language | English |
---|---|
Title of host publication | Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms |
Editors | Artur Czumaj |
Publisher | Society for Industrial and Applied Mathematics |
Publication date | 2018 |
Pages | 1645-1649 |
ISBN (Print) | 978-161197503-1 |
DOIs | |
Publication status | Published - 2018 |
Event | 29th Annual ACM-SIAM Symposium on Discrete Algorithms - New Orleans, United States Duration: 7 Jan 2018 → 10 Jan 2018 Conference number: 29 |
Conference
Conference | 29th Annual ACM-SIAM Symposium on Discrete Algorithms |
---|---|
Number | 29 |
Country/Territory | United States |
City | New Orleans |
Period | 07/01/2018 → 10/01/2018 |