FRINK Linked Data Fragments server

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

• W3137355438 endingPage "655" @default.
• W3137355438 startingPage "638" @default.
• W3137355438 abstract "We present an exact algorithm that decides, for every fixed r≥2 in time $O(m)+2^{O(k^{2})}$ whether a given multiset of m clauses of size r admits a truth assignment that satisfies at least ((2 r −1)m+k)/2 r clauses. Thus Max-r-Sat is fixed-parameter tractable when parameterized by the number of satisfied clauses above the tight lower bound (1−2−r )m. This solves an open problem of Mahajan et al. (J. Comput. Syst. Sci. 75(2):137–153, 2009). Our algorithm is based on a polynomial-time data reduction procedure that reduces a problem instance to an equivalent algebraically represented problem with O(9 r k 2) variables. This is done by representing the instance as an appropriate polynomial, and by applying a probabilistic argument combined with some simple tools from Harmonic analysis to show that if the polynomial cannot be reduced to one of size O(9 r k 2), then there is a truth assignment satisfying the required number of clauses. We introduce a new notion of bikernelization from a parameterized problem to another one and apply it to prove that the above-mentioned parameterized Max-r-Sat admits a polynomial-size kernel. Combining another probabilistic argument with tools from graph matching theory and signed graphs, we show that if an instance of Max-2-Sat with m clauses has at least 3k variables after application of a certain polynomial time reduction rule to it, then there is a truth assignment that satisfies at least (3m+k)/4 clauses. We also outline how the fixed-parameter tractability and polynomial-size kernel results on Max-r-Sat can be extended to more general families of Boolean Constraint Satisfaction Problems." @default.
• W3137355438 created "2021-03-29" @default.
• W3137355438 creator A5012051081 @default.
• W3137355438 creator A5022918002 @default.
• W3137355438 creator A5037092803 @default.
• W3137355438 creator A5044021493 @default.
• W3137355438 creator A5083469386 @default.
• W3137355438 date "2010-07-17" @default.
• W3137355438 modified "2023-10-16" @default.
• W3137355438 title "Solving MAX-r-SAT Above a Tight Lower Bound" @default.
• W3137355438 cites W1517036688 @default.
• W3137355438 cites W1598441350 @default.
• W3137355438 cites W1606657688 @default.
• W3137355438 cites W1935571425 @default.
• W3137355438 cites W1947666077 @default.
• W3137355438 cites W1984322914 @default.
• W3137355438 cites W1990184247 @default.
• W3137355438 cites W1992976178 @default.
• W3137355438 cites W1999032440 @default.
• W3137355438 cites W2006933117 @default.
• W3137355438 cites W2008444606 @default.
• W3137355438 cites W2023414599 @default.
• W3137355438 cites W2023691706 @default.
• W3137355438 cites W2030087828 @default.
• W3137355438 cites W2031823362 @default.
• W3137355438 cites W2050917944 @default.
• W3137355438 cites W2078007422 @default.
• W3137355438 cites W2083748805 @default.
• W3137355438 cites W2086331454 @default.
• W3137355438 cites W2092509105 @default.
• W3137355438 cites W2107284348 @default.
• W3137355438 cites W2107546895 @default.
• W3137355438 cites W2120983666 @default.
• W3137355438 cites W2334237942 @default.
• W3137355438 cites W2977322974 @default.
• W3137355438 cites W4232896595 @default.
• W3137355438 cites W4292230561 @default.
• W3137355438 doi "https://doi.org/10.1007/s00453-010-9428-7" @default.
• W3137355438 hasPublicationYear "2010" @default.
• W3137355438 type Work @default.
• W3137355438 sameAs 3137355438 @default.
• W3137355438 citedByCount "119" @default.
• W3137355438 countsByYear W31373554382012 @default.
• W3137355438 countsByYear W31373554382013 @default.
• W3137355438 countsByYear W31373554382014 @default.
• W3137355438 countsByYear W31373554382015 @default.
• W3137355438 countsByYear W31373554382016 @default.
• W3137355438 countsByYear W31373554382017 @default.
• W3137355438 countsByYear W31373554382018 @default.
• W3137355438 countsByYear W31373554382019 @default.
• W3137355438 countsByYear W31373554382020 @default.
• W3137355438 countsByYear W31373554382021 @default.
• W3137355438 countsByYear W31373554382022 @default.
• W3137355438 countsByYear W31373554382023 @default.
• W3137355438 crossrefType "journal-article" @default.
• W3137355438 hasAuthorship W3137355438A5012051081 @default.
• W3137355438 hasAuthorship W3137355438A5022918002 @default.
• W3137355438 hasAuthorship W3137355438A5037092803 @default.
• W3137355438 hasAuthorship W3137355438A5044021493 @default.
• W3137355438 hasAuthorship W3137355438A5083469386 @default.
• W3137355438 hasBestOaLocation W31373554382 @default.
• W3137355438 hasConcept C111335779 @default.
• W3137355438 hasConcept C111472728 @default.
• W3137355438 hasConcept C114614502 @default.
• W3137355438 hasConcept C118615104 @default.
• W3137355438 hasConcept C134306372 @default.
• W3137355438 hasConcept C138885662 @default.
• W3137355438 hasConcept C165464430 @default.
• W3137355438 hasConcept C207225210 @default.
• W3137355438 hasConcept C2524010 @default.
• W3137355438 hasConcept C2779623528 @default.
• W3137355438 hasConcept C2780586882 @default.
• W3137355438 hasConcept C311688 @default.
• W3137355438 hasConcept C33923547 @default.
• W3137355438 hasConcept C77553402 @default.
• W3137355438 hasConcept C90119067 @default.
• W3137355438 hasConceptScore W3137355438C111335779 @default.
• W3137355438 hasConceptScore W3137355438C111472728 @default.
• W3137355438 hasConceptScore W3137355438C114614502 @default.
• W3137355438 hasConceptScore W3137355438C118615104 @default.
• W3137355438 hasConceptScore W3137355438C134306372 @default.
• W3137355438 hasConceptScore W3137355438C138885662 @default.
• W3137355438 hasConceptScore W3137355438C165464430 @default.
• W3137355438 hasConceptScore W3137355438C207225210 @default.
• W3137355438 hasConceptScore W3137355438C2524010 @default.
• W3137355438 hasConceptScore W3137355438C2779623528 @default.
• W3137355438 hasConceptScore W3137355438C2780586882 @default.
• W3137355438 hasConceptScore W3137355438C311688 @default.
• W3137355438 hasConceptScore W3137355438C33923547 @default.
• W3137355438 hasConceptScore W3137355438C77553402 @default.
• W3137355438 hasConceptScore W3137355438C90119067 @default.
• W3137355438 hasIssue "3" @default.
• W3137355438 hasLocation W31373554381 @default.
• W3137355438 hasLocation W31373554382 @default.
• W3137355438 hasLocation W31373554383 @default.
• W3137355438 hasOpenAccess W3137355438 @default.
• W3137355438 hasPrimaryLocation W31373554381 @default.
• W3137355438 hasRelatedWork W1876800908 @default.

• next