Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490010027> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1490010027 abstract "We consider a CNF formula F as a multiset of clauses: F={c1,…, cm}. The set of variables of F will be denoted by V(F). Let BF denote the bipartite graph with partite sets V(F) and F and an edge between v∈V(F) and c∈F if v∈c or $bar{v} in c$. The matching number ν(F) of F is the size of a maximum matching in BF. In our main result, we prove that the following parameterization of MaxSat is fixed-parameter tractable: Given a formula F, decide whether we can satisfy at least ν(F)+k clauses in F, where k is the parameter.A formula F is called variable-matched if ν(F)=|V(F)|. Let δ(F)=|F|−|V(F)| and δ*(F)= max F′⊆Fδ(F′). Our main result implies fixed-parameter tractability of MaxSat parameterized by δ(F) for variable-matched formulas F; this complements related results of Kullmann (2000) and Szeider (2004) for MaxSat parameterized by δ*(F).To prove our main result, we obtain an O((2e)2kkO(logk) (m+n)O(1))-time algorithm for the following parameterization of the Hitting Set problem: given a collection $cal C$ of m subsets of a ground set U of n elements, decide whether there is X⊆U such that C∩X≠∅ for each $Cin cal C$ and |X|≤m−k, where k is the parameter. This improves an algorithm that follows from a kernelization result of Gutin, Jones and Yeo (2011)." @default.
- W1490010027 created "2016-06-24" @default.
- W1490010027 creator A5006255622 @default.
- W1490010027 creator A5012051081 @default.
- W1490010027 creator A5015806060 @default.
- W1490010027 creator A5044021493 @default.
- W1490010027 creator A5073311967 @default.
- W1490010027 creator A5091128796 @default.
- W1490010027 date "2012-01-01" @default.
- W1490010027 modified "2023-09-27" @default.
- W1490010027 title "Fixed-Parameter Tractability of Satisfying beyond the Number of Variables" @default.
- W1490010027 cites W1544829330 @default.
- W1490010027 cites W1947666077 @default.
- W1490010027 cites W1974182574 @default.
- W1490010027 cites W1978107969 @default.
- W1490010027 cites W2014111643 @default.
- W1490010027 cites W2042705674 @default.
- W1490010027 cites W2070658982 @default.
- W1490010027 cites W2084166252 @default.
- W1490010027 cites W2107284348 @default.
- W1490010027 cites W2118469858 @default.
- W1490010027 cites W2133544949 @default.
- W1490010027 cites W2158505527 @default.
- W1490010027 cites W2296148711 @default.
- W1490010027 cites W4240416043 @default.
- W1490010027 cites W4292230561 @default.
- W1490010027 doi "https://doi.org/10.1007/978-3-642-31612-8_27" @default.
- W1490010027 hasPublicationYear "2012" @default.
- W1490010027 type Work @default.
- W1490010027 sameAs 1490010027 @default.
- W1490010027 citedByCount "0" @default.
- W1490010027 crossrefType "book-chapter" @default.
- W1490010027 hasAuthorship W1490010027A5006255622 @default.
- W1490010027 hasAuthorship W1490010027A5012051081 @default.
- W1490010027 hasAuthorship W1490010027A5015806060 @default.
- W1490010027 hasAuthorship W1490010027A5044021493 @default.
- W1490010027 hasAuthorship W1490010027A5073311967 @default.
- W1490010027 hasAuthorship W1490010027A5091128796 @default.
- W1490010027 hasConcept C105795698 @default.
- W1490010027 hasConcept C111797529 @default.
- W1490010027 hasConcept C114614502 @default.
- W1490010027 hasConcept C118615104 @default.
- W1490010027 hasConcept C132525143 @default.
- W1490010027 hasConcept C165064840 @default.
- W1490010027 hasConcept C165464430 @default.
- W1490010027 hasConcept C187455244 @default.
- W1490010027 hasConcept C197657726 @default.
- W1490010027 hasConcept C207225210 @default.
- W1490010027 hasConcept C2779623528 @default.
- W1490010027 hasConcept C33923547 @default.
- W1490010027 hasConceptScore W1490010027C105795698 @default.
- W1490010027 hasConceptScore W1490010027C111797529 @default.
- W1490010027 hasConceptScore W1490010027C114614502 @default.
- W1490010027 hasConceptScore W1490010027C118615104 @default.
- W1490010027 hasConceptScore W1490010027C132525143 @default.
- W1490010027 hasConceptScore W1490010027C165064840 @default.
- W1490010027 hasConceptScore W1490010027C165464430 @default.
- W1490010027 hasConceptScore W1490010027C187455244 @default.
- W1490010027 hasConceptScore W1490010027C197657726 @default.
- W1490010027 hasConceptScore W1490010027C207225210 @default.
- W1490010027 hasConceptScore W1490010027C2779623528 @default.
- W1490010027 hasConceptScore W1490010027C33923547 @default.
- W1490010027 hasLocation W14900100271 @default.
- W1490010027 hasOpenAccess W1490010027 @default.
- W1490010027 hasPrimaryLocation W14900100271 @default.
- W1490010027 hasRelatedWork W1511234378 @default.
- W1490010027 hasRelatedWork W1540489585 @default.
- W1490010027 hasRelatedWork W1993704152 @default.
- W1490010027 hasRelatedWork W2001072455 @default.
- W1490010027 hasRelatedWork W2098003532 @default.
- W1490010027 hasRelatedWork W2110614409 @default.
- W1490010027 hasRelatedWork W2119414881 @default.
- W1490010027 hasRelatedWork W2144646109 @default.
- W1490010027 hasRelatedWork W2149052160 @default.
- W1490010027 hasRelatedWork W2211321652 @default.
- W1490010027 hasRelatedWork W2294555104 @default.
- W1490010027 hasRelatedWork W2365642726 @default.
- W1490010027 hasRelatedWork W2383235112 @default.
- W1490010027 hasRelatedWork W2608992661 @default.
- W1490010027 hasRelatedWork W2942925267 @default.
- W1490010027 hasRelatedWork W2963353004 @default.
- W1490010027 hasRelatedWork W2996174063 @default.
- W1490010027 hasRelatedWork W3113108263 @default.
- W1490010027 hasRelatedWork W3211008162 @default.
- W1490010027 hasRelatedWork W2140144078 @default.
- W1490010027 isParatext "false" @default.
- W1490010027 isRetracted "false" @default.
- W1490010027 magId "1490010027" @default.
- W1490010027 workType "book-chapter" @default.