Graphs Cannot Be Indexed in Polynomial Time for Sub-quadratic Time String Matching, Unless SETH Fails

Show full item record



Permalink

http://hdl.handle.net/10138/345768

Citation

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


Files in this item

Total number of downloads: Loading...

Files Size Format View
2002.00629.pdf 542.6Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record