FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4235156957> ?p ?o ?g. }

• W4235156957 endingPage "35" @default.
• W4235156957 startingPage "1" @default.
• W4235156957 abstract "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 property with k +1 quantifiers takes time O ( m k ) and, assuming the Strong Exponential Time Hypothesis (SETH), some such properties require O ( m k −ϵ) 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 m k /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 show that 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." @default.
• W4235156957 created "2022-05-12" @default.
• W4235156957 creator A5002208831 @default.
• W4235156957 creator A5003773985 @default.
• W4235156957 creator A5046851838 @default.
• W4235156957 creator A5068082200 @default.
• W4235156957 date "2018-12-18" @default.
• W4235156957 modified "2023-10-12" @default.
• W4235156957 title "Completeness for First-order Properties on Sparse Structures with Algorithmic Applications" @default.
• W4235156957 cites W1499093134 @default.
• W4235156957 cites W1764956874 @default.
• W4235156957 cites W1989783863 @default.
• W4235156957 cites W1998918799 @default.
• W4235156957 cites W2004130530 @default.
• W4235156957 cites W2026036943 @default.
• W4235156957 cites W2042194938 @default.
• W4235156957 cites W2042654457 @default.
• W4235156957 cites W2045583484 @default.
• W4235156957 cites W2055693471 @default.
• W4235156957 cites W2083820240 @default.
• W4235156957 cites W2083951446 @default.
• W4235156957 cites W2084732238 @default.
• W4235156957 cites W2084803275 @default.
• W4235156957 cites W2121770144 @default.
• W4235156957 cites W2154935036 @default.
• W4235156957 cites W2158747250 @default.
• W4235156957 cites W2178011018 @default.
• W4235156957 cites W2293041988 @default.
• W4235156957 cites W2294619171 @default.
• W4235156957 cites W2296148711 @default.
• W4235156957 cites W2401929940 @default.
• W4235156957 cites W2998808137 @default.
• W4235156957 cites W3098709746 @default.
• W4235156957 cites W3150645827 @default.
• W4235156957 doi "https://doi.org/10.1145/3196275" @default.
• W4235156957 hasPublicationYear "2018" @default.
• W4235156957 type Work @default.
• W4235156957 citedByCount "7" @default.
• W4235156957 countsByYear W42351569572020 @default.
• W4235156957 countsByYear W42351569572021 @default.
• W4235156957 countsByYear W42351569572022 @default.
• W4235156957 countsByYear W42351569572023 @default.
• W4235156957 crossrefType "journal-article" @default.
• W4235156957 hasAuthorship W4235156957A5002208831 @default.
• W4235156957 hasAuthorship W4235156957A5003773985 @default.
• W4235156957 hasAuthorship W4235156957A5046851838 @default.
• W4235156957 hasAuthorship W4235156957A5068082200 @default.
• W4235156957 hasBestOaLocation W42351569571 @default.
• W4235156957 hasConcept C10138342 @default.
• W4235156957 hasConcept C111472728 @default.
• W4235156957 hasConcept C11413529 @default.
• W4235156957 hasConcept C114614502 @default.
• W4235156957 hasConcept C118615104 @default.
• W4235156957 hasConcept C118930307 @default.
• W4235156957 hasConcept C134306372 @default.
• W4235156957 hasConcept C138885662 @default.
• W4235156957 hasConcept C151376022 @default.
• W4235156957 hasConcept C154945302 @default.
• W4235156957 hasConcept C162319229 @default.
• W4235156957 hasConcept C162324750 @default.
• W4235156957 hasConcept C17231256 @default.
• W4235156957 hasConcept C177264268 @default.
• W4235156957 hasConcept C179799912 @default.
• W4235156957 hasConcept C182306322 @default.
• W4235156957 hasConcept C189950617 @default.
• W4235156957 hasConcept C197685441 @default.
• W4235156957 hasConcept C199360897 @default.
• W4235156957 hasConcept C2777212361 @default.
• W4235156957 hasConcept C311688 @default.
• W4235156957 hasConcept C33923547 @default.
• W4235156957 hasConcept C41008148 @default.
• W4235156957 hasConcept C71017364 @default.
• W4235156957 hasConcept C77553402 @default.
• W4235156957 hasConceptScore W4235156957C10138342 @default.
• W4235156957 hasConceptScore W4235156957C111472728 @default.
• W4235156957 hasConceptScore W4235156957C11413529 @default.
• W4235156957 hasConceptScore W4235156957C114614502 @default.
• W4235156957 hasConceptScore W4235156957C118615104 @default.
• W4235156957 hasConceptScore W4235156957C118930307 @default.
• W4235156957 hasConceptScore W4235156957C134306372 @default.
• W4235156957 hasConceptScore W4235156957C138885662 @default.
• W4235156957 hasConceptScore W4235156957C151376022 @default.
• W4235156957 hasConceptScore W4235156957C154945302 @default.
• W4235156957 hasConceptScore W4235156957C162319229 @default.
• W4235156957 hasConceptScore W4235156957C162324750 @default.
• W4235156957 hasConceptScore W4235156957C17231256 @default.
• W4235156957 hasConceptScore W4235156957C177264268 @default.
• W4235156957 hasConceptScore W4235156957C179799912 @default.
• W4235156957 hasConceptScore W4235156957C182306322 @default.
• W4235156957 hasConceptScore W4235156957C189950617 @default.
• W4235156957 hasConceptScore W4235156957C197685441 @default.
• W4235156957 hasConceptScore W4235156957C199360897 @default.
• W4235156957 hasConceptScore W4235156957C2777212361 @default.
• W4235156957 hasConceptScore W4235156957C311688 @default.
• W4235156957 hasConceptScore W4235156957C33923547 @default.
• W4235156957 hasConceptScore W4235156957C41008148 @default.
• W4235156957 hasConceptScore W4235156957C71017364 @default.
• W4235156957 hasConceptScore W4235156957C77553402 @default.

• next