Equi , M , Mäkinen , V & Tomescu , A 2021 , Graphs Cannot Be Indexed in Polynomial Time for Sub-quadratic Time String Matching, Unless SETH Fails . in T Bureš , R Dondi , J Gamper , G Guerrini , T Jurdzinski , C Pahl , F Sikora & P W Wong (eds) , SOFSEM 2021: Theory and Practice of Computer Science. SOFSEM 2021 . Lecture Notes in Computer Science , vol. 12607 , Springer , Cham , pp. 608-622 , 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021 , Bolzano-Bozen , Italy , 25/01/2021 . https://doi.org/10.1007/978-3-030-67731-2_44
Title: | Graphs Cannot Be Indexed in Polynomial Time for Sub-quadratic Time String Matching, Unless SETH Fails |
Author: | Equi, Massimo; Mäkinen, Veli; Tomescu, Alexandru |
Other contributor: |
Bureš, Tomáš
Dondi, Riccardo Gamper, Johann Guerrini, Giovanna Jurdzinski, Tomasz Pahl, Claus Sikora, Florian Wong, Prudence W. |
Contributor organization: | Algorithmic Bioinformatics Department of Computer Science Genome-scale Algorithmics research group / Veli Mäkinen Helsinki Institute for Information Technology Bioinformatics |
Publisher: | Springer |
Date: | 2021 |
Language: | eng |
Number of pages: | 15 |
Belongs to series: | SOFSEM 2021: Theory and Practice of Computer Science. SOFSEM 2021 |
Belongs to series: | Lecture Notes in Computer Science |
ISBN: | 9783030677305 9783030677312 |
DOI: | https://doi.org/10.1007/978-3-030-67731-2_44 |
URI: | http://hdl.handle.net/10138/345768 |
Abstract: | The string matching problem on a node-labeled graph G= (V, E) asks whether a given pattern string P has an occurrence in G, in the form of a path whose concatenation of node labels equals P. This is a basic primitive in various problems in bioinformatics, graph databases, or networks, but only recently proven to have a O(|E||P|)-time lower bound, under the Orthogonal Vectors Hypothesis (OVH). We consider here its indexed version, in which we can index the graph in order to support time-efficient string queries. We show that, under OVH, no polynomial-time indexing scheme of the graph can support querying P in time O(| P| + | E| δ| P| β), with either δ< 1 or β< 1. As a side-contribution, we introduce the notion of linear independent-components (lic) reduction, allowing for a simple proof of our result. As another illustration that hardness of indexing follows as a corollary of a lic reduction, we also translate the quadratic conditional lower bound of Backurs and Indyk (STOC 2015) for the problem of matching a query string inside a text, under edit distance. We obtain an analogous tight quadratic lower bound for its indexed version, improving the recent result of Cohen-Addad, Feuilloley and Starikovskaya (SODA 2019), but with a slightly different boundary condition. |
Subject: |
113 Computer and information sciences
Complexity theory Edit distance Exact pattern matching Graph query Indexing Lower bounds Orthogonal vectors Reductions |
Peer reviewed: | Yes |
Usage restriction: | openAccess |
Self-archived version: | acceptedVersion |
Total number of downloads: Loading...
Files | Size | Format | View |
---|---|---|---|
2002.00629.pdf | 542.6Kb |
View/ |