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

نویسندگان

چکیده

The string matching problem on a node-labeled graph $$G=(V,E)$$ asks whether given pattern P has an occurrence in G, the form of path whose concatenation node labels equals P. This is basic primitive various problems bioinformatics, databases, or networks, but only recently proven to have O(|E||P|)-time lower bound, under Orthogonal Vectors Hypothesis (OVH). We consider here its indexed version, which we can index order support time-efficient queries. show that, OVH, no polynomial-time indexing scheme querying time $$O(|P|+|E|^\delta |P|^\beta )$$ , with either $$\delta < 1$$ $$\beta . As side-contribution, introduce notion linear independent-components (lic) reduction allowing for simple proof our result. another illustration that hardness follows as corollary lic reduction, also translate quadratic conditional bound Backurs and Indyk (STOC 2015) query inside text, edit distance. obtain analogous tight improving recent result Cohen-Addad, Feuilloley Starikovskaya (SODA 2019), slightly different boundary condition.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Tenacity and some other Parameters of Interval Graphs can be computed in polynomial time

In general, computation of graph vulnerability parameters is NP-complete. In past, some algorithms were introduced to prove that computation of toughness, scattering number, integrity and weighted integrity parameters of interval graphs are polynomial. In this paper, two different vulnerability parameters of graphs, tenacity and rupture degree are defined. In general, computing the tenacity o...

متن کامل

Unification Algorithms Cannot be Combined in Polynomial Time

We establish that there is no polynomial-time general combination algorithm for uniication in nitary equational theories, unless the complexity class #P of counting problems is contained in the class FP of function problems solvable in polynomial-time. The prevalent view in complexity theory is that such a collapse is extremely unlikely for a number of reasons, including the fact that the conta...

متن کامل

Tree Edit Distance Cannot be Computed in Strongly Subcubic Time (unless APSP can)

The edit distance between two rooted ordered trees with n nodes labeled from an alphabet Σ is the minimum cost of transforming one tree into the other by a sequence of elementary operations consisting of deleting and relabeling existing nodes, as well as inserting new nodes. Tree edit distance is a well known generalization of string edit distance. The fastest known algorithm for tree edit dist...

متن کامل

Indexed Hierarchical Approximate String Matching

We present a new search procedure for approximate string matching over suffix trees. We show that hierarchical verification, which is a well-established technique for on-line searching, can also be used with an indexed approach. For this, we need that the index supports bidirectionality, meaning that the search for a pattern can be updated by adding a letter at the right or at the left. This tu...

متن کامل

Maximal Matching and Path Matching Counting in Polynomial Time for Graphs of Bounded Clique Width

In this paper, we provide polynomial-time algorithms for different extensions of the matching counting problem, namely maximal matchings, path matchings (linear forest) and paths, on graph classes of bounded clique-width. For maximal matchings, we introduce matchingcover pairs to efficiently handle maximality in the local structure, and develop a polynomial time algorithm. For path matchings, w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2021

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-030-67731-2_44