Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
We prove that unless Exponential Time Hypothesis (ETH) fails, deciding if there is a homomorphism from graph G to graph H cannot be done in time |V(H)|o(|V(G)|). We also show an exponential-time reduction from Graph Homomorphism to Subgraph Isomorphism. This rules out (subject to ETH) a possibility of |V(H)| (|V(H)|)-time algorithm deciding if graph G is a subgraph of H. For both problems our lower bounds asymptotically match the running time of brute-force algorithms trying all possible mappings of one graph into another. Thus, our work closes the gap in the known complexity of these fundamental problems.
Original language | English |
---|---|
Title of host publication | 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016 |
Editors | Robert Krauthgamer |
Publisher | Association for Computing Machinery |
Pages | 1643-1649 |
Number of pages | 7 |
ISBN (Electronic) | 9781510819672 |
State | Published - 1 Jan 2016 |
Event | 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016 - Arlington, United States Duration: 10 Jan 2016 → 12 Jan 2016 |
Name | Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms |
---|---|
Volume | 3 |
Conference | 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016 |
---|---|
Country/Territory | United States |
City | Arlington |
Period | 10/01/16 → 12/01/16 |
ID: 49823936