Matches in SemOpenAlex for { <https://semopenalex.org/work/W3026865537> ?p ?o ?g. }
- W3026865537 abstract "To study the question under which circumstances small solutions can be found faster than by exhaustive search (and by how much), we study the fine-grained complexity of Boolean constraint satisfaction with size constraint exactly $k$. More precisely, we aim to determine, for any finite constraint family, the optimal running time $f(k)n^{g(k)}$ required to find satisfying assignments that set precisely $k$ of the $n$ variables to $1$. Under central hardness assumptions on detecting cliques in graphs and 3-uniform hypergraphs, we give an almost tight characterization of $g(k)$ into four regimes: (1) Brute force is essentially best-possible, i.e., $g(k) = (1pm o(1))k$, (2) the best algorithms are as fast as current $k$-clique algorithms, i.e., $g(k)=(omega/3pm o(1))k$, (3) the exponent has sublinear dependence on $k$ with $g(k) in [Omega(sqrt[3]{k}), O(sqrt{k})]$, or (4) the problem is fixed-parameter tractable, i.e., $g(k) = O(1)$. This yields a more fine-grained perspective than a previous FPT/W[1]-hardness dichotomy (Marx, Computational Complexity 2005). Our most interesting technical contribution is a $f(k)n^{4sqrt{k}}$-time algorithm for SubsetSum with precedence constraints parameterized by the target $k$ -- particularly the approach, based on generalizing a bound on the Frobenius coin problem to a setting with precedence constraints, might be of independent interest." @default.
- W3026865537 created "2020-05-29" @default.
- W3026865537 creator A5012849997 @default.
- W3026865537 creator A5088790846 @default.
- W3026865537 date "2020-05-23" @default.
- W3026865537 modified "2023-09-27" @default.
- W3026865537 title "Finding Small Satisfying Assignments Faster Than Brute Force: A Fine-grained Perspective into Boolean Constraint Satisfaction" @default.
- W3026865537 cites W104109059 @default.
- W3026865537 cites W1571873445 @default.
- W3026865537 cites W1973113631 @default.
- W3026865537 cites W2008809414 @default.
- W3026865537 cites W2009147258 @default.
- W3026865537 cites W2059451253 @default.
- W3026865537 cites W2068190866 @default.
- W3026865537 cites W2079301493 @default.
- W3026865537 cites W2107918022 @default.
- W3026865537 cites W2117290960 @default.
- W3026865537 cites W2118382442 @default.
- W3026865537 cites W2130190334 @default.
- W3026865537 cites W2150339067 @default.
- W3026865537 cites W2166566648 @default.
- W3026865537 cites W2253657605 @default.
- W3026865537 cites W2332901121 @default.
- W3026865537 cites W2335606727 @default.
- W3026865537 cites W2537252502 @default.
- W3026865537 cites W2547063853 @default.
- W3026865537 cites W2569790754 @default.
- W3026865537 cites W2893188841 @default.
- W3026865537 cites W2905173192 @default.
- W3026865537 cites W2907255177 @default.
- W3026865537 cites W2952672079 @default.
- W3026865537 cites W2962785950 @default.
- W3026865537 cites W2962826665 @default.
- W3026865537 cites W2963025941 @default.
- W3026865537 cites W2963768895 @default.
- W3026865537 cites W2965422163 @default.
- W3026865537 cites W2972236569 @default.
- W3026865537 cites W3101294093 @default.
- W3026865537 cites W3035200231 @default.
- W3026865537 hasPublicationYear "2020" @default.
- W3026865537 type Work @default.
- W3026865537 sameAs 3026865537 @default.
- W3026865537 citedByCount "0" @default.
- W3026865537 crossrefType "posted-content" @default.
- W3026865537 hasAuthorship W3026865537A5012849997 @default.
- W3026865537 hasAuthorship W3026865537A5088790846 @default.
- W3026865537 hasConcept C105795698 @default.
- W3026865537 hasConcept C114614502 @default.
- W3026865537 hasConcept C117160843 @default.
- W3026865537 hasConcept C118615104 @default.
- W3026865537 hasConcept C121332964 @default.
- W3026865537 hasConcept C134306372 @default.
- W3026865537 hasConcept C138885662 @default.
- W3026865537 hasConcept C165464430 @default.
- W3026865537 hasConcept C199622910 @default.
- W3026865537 hasConcept C2524010 @default.
- W3026865537 hasConcept C2776036281 @default.
- W3026865537 hasConcept C2777035058 @default.
- W3026865537 hasConcept C2779557605 @default.
- W3026865537 hasConcept C2780388253 @default.
- W3026865537 hasConcept C33923547 @default.
- W3026865537 hasConcept C41895202 @default.
- W3026865537 hasConcept C49937458 @default.
- W3026865537 hasConcept C62520636 @default.
- W3026865537 hasConcept C71017364 @default.
- W3026865537 hasConcept C77553402 @default.
- W3026865537 hasConceptScore W3026865537C105795698 @default.
- W3026865537 hasConceptScore W3026865537C114614502 @default.
- W3026865537 hasConceptScore W3026865537C117160843 @default.
- W3026865537 hasConceptScore W3026865537C118615104 @default.
- W3026865537 hasConceptScore W3026865537C121332964 @default.
- W3026865537 hasConceptScore W3026865537C134306372 @default.
- W3026865537 hasConceptScore W3026865537C138885662 @default.
- W3026865537 hasConceptScore W3026865537C165464430 @default.
- W3026865537 hasConceptScore W3026865537C199622910 @default.
- W3026865537 hasConceptScore W3026865537C2524010 @default.
- W3026865537 hasConceptScore W3026865537C2776036281 @default.
- W3026865537 hasConceptScore W3026865537C2777035058 @default.
- W3026865537 hasConceptScore W3026865537C2779557605 @default.
- W3026865537 hasConceptScore W3026865537C2780388253 @default.
- W3026865537 hasConceptScore W3026865537C33923547 @default.
- W3026865537 hasConceptScore W3026865537C41895202 @default.
- W3026865537 hasConceptScore W3026865537C49937458 @default.
- W3026865537 hasConceptScore W3026865537C62520636 @default.
- W3026865537 hasConceptScore W3026865537C71017364 @default.
- W3026865537 hasConceptScore W3026865537C77553402 @default.
- W3026865537 hasLocation W30268655371 @default.
- W3026865537 hasOpenAccess W3026865537 @default.
- W3026865537 hasPrimaryLocation W30268655371 @default.
- W3026865537 hasRelatedWork W1929368808 @default.
- W3026865537 hasRelatedWork W1987681136 @default.
- W3026865537 hasRelatedWork W1995725694 @default.
- W3026865537 hasRelatedWork W2016681647 @default.
- W3026865537 hasRelatedWork W2071423034 @default.
- W3026865537 hasRelatedWork W2087638517 @default.
- W3026865537 hasRelatedWork W2169644995 @default.
- W3026865537 hasRelatedWork W2296260535 @default.
- W3026865537 hasRelatedWork W2912512664 @default.
- W3026865537 hasRelatedWork W2960841636 @default.
- W3026865537 hasRelatedWork W2963533953 @default.