Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287684807> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4287684807 abstract "The CNF formula satisfiability problem (CNF-SAT) has been reduced to many fundamental problems in P to prove tight lower bounds under the Strong Exponential Time Hypothesis (SETH). Recently, the works of Abboud, Hansen, Vassilevska W. and Williams (STOC 16), and later, Abboud and Bringmann (ICALP 18) have proposed basing lower bounds on the hardness of general boolean formula satisfiability (Formula-SAT). Reductions from Formula-SAT have two advantages over the usual reductions from CNF-SAT: (1) conjectures on the hardness of Formula-SAT are arguably much more plausible than those of CNF-SAT, and (2) these reductions give consequences even for logarithmic improvements in a problems upper bounds. Here we give tight reductions from Formula-SAT to two more problems: pattern matching on labeled graphs (PMLG) and subtree isomorphism. Previous reductions from Formula-SAT were to sequence alignment problems such as Edit Distance, LCS, and Frechet Distance and required some technical work. This paper uses ideas similar to those used previously, but in a decidedly simpler setting, helping to illustrate the most salient features of the underlying techniques." @default.
- W4287684807 created "2022-07-26" @default.
- W4287684807 creator A5026282036 @default.
- W4287684807 creator A5049669178 @default.
- W4287684807 creator A5051002711 @default.
- W4287684807 date "2020-08-26" @default.
- W4287684807 modified "2023-09-24" @default.
- W4287684807 title "Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism" @default.
- W4287684807 doi "https://doi.org/10.48550/arxiv.2008.11786" @default.
- W4287684807 hasPublicationYear "2020" @default.
- W4287684807 type Work @default.
- W4287684807 citedByCount "0" @default.
- W4287684807 crossrefType "posted-content" @default.
- W4287684807 hasAuthorship W4287684807A5026282036 @default.
- W4287684807 hasAuthorship W4287684807A5049669178 @default.
- W4287684807 hasAuthorship W4287684807A5051002711 @default.
- W4287684807 hasBestOaLocation W42876848071 @default.
- W4287684807 hasConcept C105795698 @default.
- W4287684807 hasConcept C111472728 @default.
- W4287684807 hasConcept C114614502 @default.
- W4287684807 hasConcept C115624301 @default.
- W4287684807 hasConcept C118615104 @default.
- W4287684807 hasConcept C134306372 @default.
- W4287684807 hasConcept C138885662 @default.
- W4287684807 hasConcept C16221470 @default.
- W4287684807 hasConcept C165064840 @default.
- W4287684807 hasConcept C168773769 @default.
- W4287684807 hasConcept C185592680 @default.
- W4287684807 hasConcept C200415742 @default.
- W4287684807 hasConcept C203436722 @default.
- W4287684807 hasConcept C2780586882 @default.
- W4287684807 hasConcept C33923547 @default.
- W4287684807 hasConcept C6943359 @default.
- W4287684807 hasConcept C77553402 @default.
- W4287684807 hasConcept C8010536 @default.
- W4287684807 hasConceptScore W4287684807C105795698 @default.
- W4287684807 hasConceptScore W4287684807C111472728 @default.
- W4287684807 hasConceptScore W4287684807C114614502 @default.
- W4287684807 hasConceptScore W4287684807C115624301 @default.
- W4287684807 hasConceptScore W4287684807C118615104 @default.
- W4287684807 hasConceptScore W4287684807C134306372 @default.
- W4287684807 hasConceptScore W4287684807C138885662 @default.
- W4287684807 hasConceptScore W4287684807C16221470 @default.
- W4287684807 hasConceptScore W4287684807C165064840 @default.
- W4287684807 hasConceptScore W4287684807C168773769 @default.
- W4287684807 hasConceptScore W4287684807C185592680 @default.
- W4287684807 hasConceptScore W4287684807C200415742 @default.
- W4287684807 hasConceptScore W4287684807C203436722 @default.
- W4287684807 hasConceptScore W4287684807C2780586882 @default.
- W4287684807 hasConceptScore W4287684807C33923547 @default.
- W4287684807 hasConceptScore W4287684807C6943359 @default.
- W4287684807 hasConceptScore W4287684807C77553402 @default.
- W4287684807 hasConceptScore W4287684807C8010536 @default.
- W4287684807 hasLocation W42876848071 @default.
- W4287684807 hasOpenAccess W4287684807 @default.
- W4287684807 hasPrimaryLocation W42876848071 @default.
- W4287684807 hasRelatedWork W13796393 @default.
- W4287684807 hasRelatedWork W16941573 @default.
- W4287684807 hasRelatedWork W21453999 @default.
- W4287684807 hasRelatedWork W23868181 @default.
- W4287684807 hasRelatedWork W38294843 @default.
- W4287684807 hasRelatedWork W44982509 @default.
- W4287684807 hasRelatedWork W50494007 @default.
- W4287684807 hasRelatedWork W59759164 @default.
- W4287684807 hasRelatedWork W723740 @default.
- W4287684807 hasRelatedWork W7943539 @default.
- W4287684807 isParatext "false" @default.
- W4287684807 isRetracted "false" @default.
- W4287684807 workType "article" @default.