FRINK Linked Data Fragments server

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

• W2962910014 abstract "The exponential-time hypothesis (ETH) states that 3-SAT is not solvable in subexponential time, i.e. not solvable in O(c^n) time for arbitrary c > 1, where n denotes the number of variables. Problems like k-SAT can be viewed as special cases of the constraint satisfaction problem (CSP), which is the problem of determining whether a set of constraints is satisfiable. In this paper we study thef worst-case time complexity of NP-complete CSPs. Our main interest is in the CSP problem parameterized by a constraint language Gamma (CSP(Gamma)), and how the choice of Gamma affects the time complexity. It is believed that CSP(Gamma) is either tractable or NP-complete, and the algebraic CSP dichotomy conjecture gives a sharp delineation of these two classes based on algebraic properties of constraint languages. Under this conjecture and the ETH, we first rule out the existence of subexponential algorithms for finite-domain NP-complete CSP(Gamma) problems. This result also extends to certain infinite-domain CSPs and structurally restricted CSP(Gamma) problems. We then begin a study of the complexity of NP-complete CSPs where one is allowed to arbitrarily restrict the values of individual variables, which is a very well-studied subclass of CSPs. For such CSPs with finite domain D, we identify a relation SD such that (1) CSP({SD}) is NP-complete and (2) if CSP(Gamma) over D is NP-complete and solvable in O(c^n) time, then CSP({SD}) is solvable in O(c^n) time, too. Hence, the time complexity of CSP({SD}) is a lower bound for all CSPs of this particular kind. We also prove that the complexity of CSP({SD}) is decreasing when |D| increases, unless the ETH is false. This implies, for instance, that for every c>1 there exists a finite-domain Gamma such that CSP(Gamma) is NP-complete and solvable in O(c^n) time." @default.
• W2962910014 created "2019-07-30" @default.
• W2962910014 creator A5007248485 @default.
• W2962910014 creator A5076149336 @default.
• W2962910014 creator A5089123758 @default.
• W2962910014 date "2017-06-19" @default.
• W2962910014 modified "2023-09-27" @default.
• W2962910014 title "Time Complexity of Constraint Satisfaction via Universal Algebra" @default.
• W2962910014 cites W1571197496 @default.
• W2962910014 cites W1589711670 @default.
• W2962910014 cites W1618174268 @default.
• W2962910014 cites W1863800201 @default.
• W2962910014 cites W1967190838 @default.
• W2962910014 cites W1974637223 @default.
• W2962910014 cites W1985572324 @default.
• W2962910014 cites W1995725694 @default.
• W2962910014 cites W2018470381 @default.
• W2962910014 cites W2025319967 @default.
• W2962910014 cites W2026753685 @default.
• W2962910014 cites W2032487621 @default.
• W2962910014 cites W2116407296 @default.
• W2962910014 cites W2129131081 @default.
• W2962910014 cites W2133260738 @default.
• W2962910014 cites W2140155590 @default.
• W2962910014 cites W2149922426 @default.
• W2962910014 cites W2150339067 @default.
• W2962910014 cites W2180459618 @default.
• W2962910014 cites W2243954424 @default.
• W2962910014 cites W2245690396 @default.
• W2962910014 cites W2401997748 @default.
• W2962910014 cites W2493315024 @default.
• W2962910014 cites W2519743841 @default.
• W2962910014 cites W2579513981 @default.
• W2962910014 cites W2605041732 @default.
• W2962910014 cites W2606192553 @default.
• W2962910014 cites W2963913303 @default.
• W2962910014 cites W3023528124 @default.
• W2962910014 hasPublicationYear "2017" @default.
• W2962910014 type Work @default.
• W2962910014 sameAs 2962910014 @default.
• W2962910014 citedByCount "1" @default.
• W2962910014 countsByYear W29629100142018 @default.
• W2962910014 crossrefType "posted-content" @default.
• W2962910014 hasAuthorship W2962910014A5007248485 @default.
• W2962910014 hasAuthorship W2962910014A5076149336 @default.
• W2962910014 hasAuthorship W2962910014A5089123758 @default.
• W2962910014 hasConcept C105795698 @default.
• W2962910014 hasConcept C114614502 @default.
• W2962910014 hasConcept C118615104 @default.
• W2962910014 hasConcept C132180345 @default.
• W2962910014 hasConcept C134306372 @default.
• W2962910014 hasConcept C136119220 @default.
• W2962910014 hasConcept C137105694 @default.
• W2962910014 hasConcept C165464430 @default.
• W2962910014 hasConcept C188971069 @default.
• W2962910014 hasConcept C199622910 @default.
• W2962910014 hasConcept C202444582 @default.
• W2962910014 hasConcept C2524010 @default.
• W2962910014 hasConcept C2776036281 @default.
• W2962910014 hasConcept C2780990831 @default.
• W2962910014 hasConcept C311688 @default.
• W2962910014 hasConcept C33923547 @default.
• W2962910014 hasConcept C36503486 @default.
• W2962910014 hasConcept C44616089 @default.
• W2962910014 hasConcept C49937458 @default.
• W2962910014 hasConcept C71017364 @default.
• W2962910014 hasConcept C9376300 @default.
• W2962910014 hasConceptScore W2962910014C105795698 @default.
• W2962910014 hasConceptScore W2962910014C114614502 @default.
• W2962910014 hasConceptScore W2962910014C118615104 @default.
• W2962910014 hasConceptScore W2962910014C132180345 @default.
• W2962910014 hasConceptScore W2962910014C134306372 @default.
• W2962910014 hasConceptScore W2962910014C136119220 @default.
• W2962910014 hasConceptScore W2962910014C137105694 @default.
• W2962910014 hasConceptScore W2962910014C165464430 @default.
• W2962910014 hasConceptScore W2962910014C188971069 @default.
• W2962910014 hasConceptScore W2962910014C199622910 @default.
• W2962910014 hasConceptScore W2962910014C202444582 @default.
• W2962910014 hasConceptScore W2962910014C2524010 @default.
• W2962910014 hasConceptScore W2962910014C2776036281 @default.
• W2962910014 hasConceptScore W2962910014C2780990831 @default.
• W2962910014 hasConceptScore W2962910014C311688 @default.
• W2962910014 hasConceptScore W2962910014C33923547 @default.
• W2962910014 hasConceptScore W2962910014C36503486 @default.
• W2962910014 hasConceptScore W2962910014C44616089 @default.
• W2962910014 hasConceptScore W2962910014C49937458 @default.
• W2962910014 hasConceptScore W2962910014C71017364 @default.
• W2962910014 hasConceptScore W2962910014C9376300 @default.
• W2962910014 hasLocation W29629100141 @default.
• W2962910014 hasOpenAccess W2962910014 @default.
• W2962910014 hasPrimaryLocation W29629100141 @default.
• W2962910014 hasRelatedWork W1549252969 @default.
• W2962910014 hasRelatedWork W1707098192 @default.
• W2962910014 hasRelatedWork W1885256053 @default.
• W2962910014 hasRelatedWork W1975452925 @default.
• W2962910014 hasRelatedWork W2003272326 @default.
• W2962910014 hasRelatedWork W2102107640 @default.
• W2962910014 hasRelatedWork W2269732096 @default.
• W2962910014 hasRelatedWork W2400433437 @default.
• W2962910014 hasRelatedWork W2406415335 @default.

• next