Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200344539> ?p ?o ?g. }
- W4200344539 endingPage "54" @default.
- W4200344539 startingPage "1" @default.
- W4200344539 abstract "We study the fine-grained complexity of NP-complete satisfiability (SAT) problems and constraint satisfaction problems (CSPs) in the context of the strong exponential-time hypothesis (SETH) , showing non-trivial lower and upper bounds on the running time. Here, by a non-trivial lower bound for a problem SAT (Γ) (respectively CSP (Γ)) with constraint language Γ, we mean a value c 0 > 1 such that the problem cannot be solved in time O ( c n ) for any c < c 0 unless SETH is false, while a non-trivial upper bound is simply an algorithm for the problem running in time O ( c n ) for some c < 2. Such lower bounds have proven extremely elusive, and except for cases where c 0 =2 effectively no such previous bound was known. We achieve this by employing an algebraic framework, studying constraint languages Γ in terms of their algebraic properties. We uncover a powerful algebraic framework where a mild restriction on the allowed constraints offers a concise algebraic characterization. On the relational side we restrict ourselves to Boolean languages closed under variable negation and partial assignment, called sign-symmetric languages. On the algebraic side this results in a description via partial operations arising from system of identities, with a close connection to operations resulting in tractable CSPs, such as near unanimity operations and edge operations . Using this connection we construct improved algorithms for several interesting classes of sign-symmetric languages, and prove explicit lower bounds under SETH. Thus, we find the first example of an NP-complete SAT problem with a non-trivial algorithm which also admits a non-trivial lower bound under SETH. This suggests a dichotomy conjecture with a close connection to the CSP dichotomy theorem: an NP-complete SAT problem admits an improved algorithm if and only if it admits a non-trivial partial invariant of the above form." @default.
- W4200344539 created "2021-12-31" @default.
- W4200344539 creator A5001475076 @default.
- W4200344539 creator A5089123758 @default.
- W4200344539 date "2021-12-15" @default.
- W4200344539 modified "2023-09-23" @default.
- W4200344539 title "The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems" @default.
- W4200344539 cites W1518653692 @default.
- W4200344539 cites W1576180980 @default.
- W4200344539 cites W1787126581 @default.
- W4200344539 cites W1867758558 @default.
- W4200344539 cites W1967066104 @default.
- W4200344539 cites W1973049078 @default.
- W4200344539 cites W1974637223 @default.
- W4200344539 cites W1978292808 @default.
- W4200344539 cites W1983032729 @default.
- W4200344539 cites W1985572324 @default.
- W4200344539 cites W1995725694 @default.
- W4200344539 cites W1996791172 @default.
- W4200344539 cites W2014111643 @default.
- W4200344539 cites W2016341899 @default.
- W4200344539 cites W2038073775 @default.
- W4200344539 cites W2045492613 @default.
- W4200344539 cites W2049136377 @default.
- W4200344539 cites W2052726983 @default.
- W4200344539 cites W2074359677 @default.
- W4200344539 cites W2084732238 @default.
- W4200344539 cites W2091434162 @default.
- W4200344539 cites W2116407296 @default.
- W4200344539 cites W2120248756 @default.
- W4200344539 cites W2126442135 @default.
- W4200344539 cites W2133260738 @default.
- W4200344539 cites W2140155590 @default.
- W4200344539 cites W2149922426 @default.
- W4200344539 cites W2166566648 @default.
- W4200344539 cites W2170795229 @default.
- W4200344539 cites W2171680292 @default.
- W4200344539 cites W2180459618 @default.
- W4200344539 cites W2324696293 @default.
- W4200344539 cites W2404960361 @default.
- W4200344539 cites W2519743841 @default.
- W4200344539 cites W2594596354 @default.
- W4200344539 cites W2612047169 @default.
- W4200344539 cites W2613419890 @default.
- W4200344539 cites W2626471773 @default.
- W4200344539 cites W2786464097 @default.
- W4200344539 cites W2902878758 @default.
- W4200344539 cites W2952270385 @default.
- W4200344539 cites W2956161178 @default.
- W4200344539 cites W2962785950 @default.
- W4200344539 cites W2963129052 @default.
- W4200344539 cites W2963179814 @default.
- W4200344539 cites W2963666051 @default.
- W4200344539 cites W2963722463 @default.
- W4200344539 cites W2978665793 @default.
- W4200344539 cites W3000512743 @default.
- W4200344539 cites W3023177507 @default.
- W4200344539 cites W3081785465 @default.
- W4200344539 cites W3123582908 @default.
- W4200344539 doi "https://doi.org/10.1145/3492336" @default.
- W4200344539 hasPublicationYear "2021" @default.
- W4200344539 type Work @default.
- W4200344539 citedByCount "0" @default.
- W4200344539 crossrefType "journal-article" @default.
- W4200344539 hasAuthorship W4200344539A5001475076 @default.
- W4200344539 hasAuthorship W4200344539A5089123758 @default.
- W4200344539 hasBestOaLocation W42003445392 @default.
- W4200344539 hasConcept C105795698 @default.
- W4200344539 hasConcept C114614502 @default.
- W4200344539 hasConcept C118615104 @default.
- W4200344539 hasConcept C13355873 @default.
- W4200344539 hasConcept C134306372 @default.
- W4200344539 hasConcept C151730666 @default.
- W4200344539 hasConcept C168773769 @default.
- W4200344539 hasConcept C199622910 @default.
- W4200344539 hasConcept C2524010 @default.
- W4200344539 hasConcept C2779343474 @default.
- W4200344539 hasConcept C311688 @default.
- W4200344539 hasConcept C33923547 @default.
- W4200344539 hasConcept C49937458 @default.
- W4200344539 hasConcept C77553402 @default.
- W4200344539 hasConcept C86803240 @default.
- W4200344539 hasConcept C9376300 @default.
- W4200344539 hasConceptScore W4200344539C105795698 @default.
- W4200344539 hasConceptScore W4200344539C114614502 @default.
- W4200344539 hasConceptScore W4200344539C118615104 @default.
- W4200344539 hasConceptScore W4200344539C13355873 @default.
- W4200344539 hasConceptScore W4200344539C134306372 @default.
- W4200344539 hasConceptScore W4200344539C151730666 @default.
- W4200344539 hasConceptScore W4200344539C168773769 @default.
- W4200344539 hasConceptScore W4200344539C199622910 @default.
- W4200344539 hasConceptScore W4200344539C2524010 @default.
- W4200344539 hasConceptScore W4200344539C2779343474 @default.
- W4200344539 hasConceptScore W4200344539C311688 @default.
- W4200344539 hasConceptScore W4200344539C33923547 @default.
- W4200344539 hasConceptScore W4200344539C49937458 @default.
- W4200344539 hasConceptScore W4200344539C77553402 @default.
- W4200344539 hasConceptScore W4200344539C86803240 @default.