Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897832227> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2897832227 abstract "We show that the uniform Constraint Satisfaction Problem (CSP) parameterized by the size of the solution is in W[1] (the problem is W[1]-hard and it is easy to place it in W[3]). Given a single free element of the domain, denoted by $0$, we define the size of an assignment as the number of variables that are mapped to a value other than $0$. Named by Kolaitis and Vardi (2000), uniform CSP means that the input contains the domain and the list of tuples of each relation in the instance. Uniform CSP is polynomial time equivalent to homomorphism problem and also to evaluation of conjunctive queries on relational databases. It also has applications in artificial intelligence. We do not restrict the problem to any (finite or infinite) family of relations. Marx and Bulatov (2014) showed that Uniform CSP restricted to some finite family of relations (thus with a bound on the arity of relations) and over any finite domain is either W[1]-complete or fixed parameter tractable. We then prove that parameterized Subset Sum with weights bounded by $n^k$ is in W[1]. Abboud et al. (2014) have already proved it, but our proof is much shorter and arguably more intuitive. Lastly, we study the weighted CSP over the Boolean Domain, where each variable is assigned a weight, and given a target value, it should be decided if there is a satisfying assignment of size $k$ (the parameter) such that the weight of its $1$-variables adds up to the target value. We prove that if the weights are bounded by $n^k$, then the problem is in W[1]. Our proofs give a nondeterministic RAM program with special properties deciding the problem. First defined by Chen et al. (2005), such programs characterize W[1]." @default.
- W2897832227 created "2018-10-26" @default.
- W2897832227 creator A5067147743 @default.
- W2897832227 date "2018-10-09" @default.
- W2897832227 modified "2023-09-27" @default.
- W2897832227 title "Uniform CSP Parameterized by Solution Size is in W[1]" @default.
- W2897832227 cites W104109059 @default.
- W2897832227 cites W1570425181 @default.
- W2897832227 cites W15998695 @default.
- W2897832227 cites W1617257399 @default.
- W2897832227 cites W2012948111 @default.
- W2897832227 cites W2021253994 @default.
- W2897832227 cites W2026745535 @default.
- W2897832227 cites W2033042995 @default.
- W2897832227 cites W2040661328 @default.
- W2897832227 cites W2048685245 @default.
- W2897832227 cites W2061513598 @default.
- W2897832227 cites W2088153883 @default.
- W2897832227 cites W2107918022 @default.
- W2897832227 cites W2150339067 @default.
- W2897832227 cites W2569790754 @default.
- W2897832227 cites W2730435414 @default.
- W2897832227 cites W2763138650 @default.
- W2897832227 cites W36639738 @default.
- W2897832227 hasPublicationYear "2018" @default.
- W2897832227 type Work @default.
- W2897832227 sameAs 2897832227 @default.
- W2897832227 citedByCount "0" @default.
- W2897832227 crossrefType "posted-content" @default.
- W2897832227 hasAuthorship W2897832227A5067147743 @default.
- W2897832227 hasConcept C105795698 @default.
- W2897832227 hasConcept C110546421 @default.
- W2897832227 hasConcept C114614502 @default.
- W2897832227 hasConcept C118615104 @default.
- W2897832227 hasConcept C118930307 @default.
- W2897832227 hasConcept C134306372 @default.
- W2897832227 hasConcept C165464430 @default.
- W2897832227 hasConcept C199622910 @default.
- W2897832227 hasConcept C33923547 @default.
- W2897832227 hasConcept C34388435 @default.
- W2897832227 hasConcept C36503486 @default.
- W2897832227 hasConcept C4042151 @default.
- W2897832227 hasConcept C49937458 @default.
- W2897832227 hasConceptScore W2897832227C105795698 @default.
- W2897832227 hasConceptScore W2897832227C110546421 @default.
- W2897832227 hasConceptScore W2897832227C114614502 @default.
- W2897832227 hasConceptScore W2897832227C118615104 @default.
- W2897832227 hasConceptScore W2897832227C118930307 @default.
- W2897832227 hasConceptScore W2897832227C134306372 @default.
- W2897832227 hasConceptScore W2897832227C165464430 @default.
- W2897832227 hasConceptScore W2897832227C199622910 @default.
- W2897832227 hasConceptScore W2897832227C33923547 @default.
- W2897832227 hasConceptScore W2897832227C34388435 @default.
- W2897832227 hasConceptScore W2897832227C36503486 @default.
- W2897832227 hasConceptScore W2897832227C4042151 @default.
- W2897832227 hasConceptScore W2897832227C49937458 @default.
- W2897832227 hasLocation W28978322271 @default.
- W2897832227 hasOpenAccess W2897832227 @default.
- W2897832227 hasPrimaryLocation W28978322271 @default.
- W2897832227 hasRelatedWork W119421804 @default.
- W2897832227 hasRelatedWork W1577891761 @default.
- W2897832227 hasRelatedWork W1770083264 @default.
- W2897832227 hasRelatedWork W1974150157 @default.
- W2897832227 hasRelatedWork W1974917479 @default.
- W2897832227 hasRelatedWork W2030076354 @default.
- W2897832227 hasRelatedWork W2136968080 @default.
- W2897832227 hasRelatedWork W2183312547 @default.
- W2897832227 hasRelatedWork W2792515119 @default.
- W2897832227 hasRelatedWork W2798325735 @default.
- W2897832227 hasRelatedWork W2949361196 @default.
- W2897832227 hasRelatedWork W2950179857 @default.
- W2897832227 hasRelatedWork W2950782526 @default.
- W2897832227 hasRelatedWork W2952881406 @default.
- W2897832227 hasRelatedWork W2952981805 @default.
- W2897832227 hasRelatedWork W2953319076 @default.
- W2897832227 hasRelatedWork W3081740732 @default.
- W2897832227 hasRelatedWork W3165835365 @default.
- W2897832227 hasRelatedWork W2186768006 @default.
- W2897832227 hasRelatedWork W2549917666 @default.
- W2897832227 isParatext "false" @default.
- W2897832227 isRetracted "false" @default.
- W2897832227 magId "2897832227" @default.
- W2897832227 workType "article" @default.