Completeness for First-order Properties on Sparse Structures with Algorithmic Applications
Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, Ryan Williams · DSpace@MIT (Massachusetts Institute of Technology) · 2019
© 2018 Copyright held by the owner/author(s). Properties definable in first-order logic are algorithmically interesting for both theoretical and pragmatic reasons. Many of the most studied algorithmic problems, such as Hitting Set and Orthogonal Vectors, are first-order, and the first-order properties naturally arise as relational database queries. A relatively straightforward algorithm for evaluating a propertywith k + 1 quantifiers takes timeO(mk ) and, assuming the Strong Exponential Time Hypothesis (SETH), some such properties require O(mk-ϵ ) time for any ϵ > 0. (Here, m represents the size of the input structure, i.e., the number of tuples in all relations.) We give algorithms for every first-order property that improves this upper bound to mk /2Θ( √ log n) , i.e., an improvement by a factor more than any poly-log, but less than the polynomial required to refute SETH. Moreover,we showthat further improvement is equivalent to improving algorithms for sparse instances of the well-studied Orthogonal Vectors problem. Surprisingly, both results are obtained by showing completeness of the Sparse Orthogonal Vectors problem for the class of first-order properties under fine-grained reductions. To obtain improved algorithms, we apply the fast Orthogonal Vectors algorithm of References [3, 16]. While fine-grained reductions (reductions that closely preserve the conjectured complexities of problems) have been used to relate the hardness of disparate specific problems both within P and beyond, this is the first such completeness result for a standard complexity class.