Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009976411> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2009976411 abstract "We prove the following hardness result for anatural promise variant of the classical CNF-satisfiabilityproblem: Given a CNF-formula where each clause has widthw and the guarantee that there exists an assignment satisfyingat least g = [w/2] - 1 literals in each clause, it is NP-hard tofind a satisfying assignment to the formula (that sets at leastone literal to true in each clause). On the other hand, when g = [w/2], it is easy to find a satisfying assignment via simplegeneralizations of the algorithms for 2-SAT. Viewing 2-SAT ∈ P as easiness of SAT when 1-in-2 literals are true in every clause, and NP-hardness of 3-SAT as intractability of SAT when 1-in-3 literals are true, our resultshows, for any fixed ε > 0, the hardness of finding a satisfyingassignment to instances of (2 + ε)-SAT where the density ofsatisfied literals in each clause is promised to exceed 1/(2+ε). We also strengthen the results to prove that given a (2k + 1)-uniform hypergraph that can be 2-colored such that each edgehas perfect balance (at most k + 1 vertices of either color), itis NP-hard to find a 2-coloring that avoids a monochromaticedge. In other words, a set system with discrepancy 1 is hard todistinguish from a set system with worst possible discrepancy." @default.
- W2009976411 created "2016-06-24" @default.
- W2009976411 creator A5013166918 @default.
- W2009976411 creator A5055776088 @default.
- W2009976411 creator A5068388812 @default.
- W2009976411 date "2014-10-01" @default.
- W2009976411 modified "2023-10-16" @default.
- W2009976411 title "(2 + epsilon)-Sat Is NP-Hard" @default.
- W2009976411 cites W1820801893 @default.
- W2009976411 cites W1970259241 @default.
- W2009976411 cites W1973898585 @default.
- W2009976411 cites W1999032440 @default.
- W2009976411 cites W2064868049 @default.
- W2009976411 cites W2147012241 @default.
- W2009976411 cites W2148352980 @default.
- W2009976411 cites W2157721290 @default.
- W2009976411 cites W2169488047 @default.
- W2009976411 cites W3037538996 @default.
- W2009976411 doi "https://doi.org/10.1109/focs.2014.9" @default.
- W2009976411 hasPublicationYear "2014" @default.
- W2009976411 type Work @default.
- W2009976411 sameAs 2009976411 @default.
- W2009976411 citedByCount "3" @default.
- W2009976411 countsByYear W20099764112014 @default.
- W2009976411 countsByYear W20099764112015 @default.
- W2009976411 countsByYear W20099764112016 @default.
- W2009976411 crossrefType "proceedings-article" @default.
- W2009976411 hasAuthorship W2009976411A5013166918 @default.
- W2009976411 hasAuthorship W2009976411A5055776088 @default.
- W2009976411 hasAuthorship W2009976411A5068388812 @default.
- W2009976411 hasConcept C11413529 @default.
- W2009976411 hasConcept C114614502 @default.
- W2009976411 hasConcept C118615104 @default.
- W2009976411 hasConcept C122749075 @default.
- W2009976411 hasConcept C136979486 @default.
- W2009976411 hasConcept C16221470 @default.
- W2009976411 hasConcept C177264268 @default.
- W2009976411 hasConcept C199360897 @default.
- W2009976411 hasConcept C2780882242 @default.
- W2009976411 hasConcept C2781221856 @default.
- W2009976411 hasConcept C311688 @default.
- W2009976411 hasConcept C33923547 @default.
- W2009976411 hasConcept C41008148 @default.
- W2009976411 hasConceptScore W2009976411C11413529 @default.
- W2009976411 hasConceptScore W2009976411C114614502 @default.
- W2009976411 hasConceptScore W2009976411C118615104 @default.
- W2009976411 hasConceptScore W2009976411C122749075 @default.
- W2009976411 hasConceptScore W2009976411C136979486 @default.
- W2009976411 hasConceptScore W2009976411C16221470 @default.
- W2009976411 hasConceptScore W2009976411C177264268 @default.
- W2009976411 hasConceptScore W2009976411C199360897 @default.
- W2009976411 hasConceptScore W2009976411C2780882242 @default.
- W2009976411 hasConceptScore W2009976411C2781221856 @default.
- W2009976411 hasConceptScore W2009976411C311688 @default.
- W2009976411 hasConceptScore W2009976411C33923547 @default.
- W2009976411 hasConceptScore W2009976411C41008148 @default.
- W2009976411 hasLocation W20099764111 @default.
- W2009976411 hasOpenAccess W2009976411 @default.
- W2009976411 hasPrimaryLocation W20099764111 @default.
- W2009976411 hasRelatedWork W1524753800 @default.
- W2009976411 hasRelatedWork W1565030492 @default.
- W2009976411 hasRelatedWork W1972327406 @default.
- W2009976411 hasRelatedWork W1990571822 @default.
- W2009976411 hasRelatedWork W2000251377 @default.
- W2009976411 hasRelatedWork W2009976411 @default.
- W2009976411 hasRelatedWork W2061038974 @default.
- W2009976411 hasRelatedWork W2085440561 @default.
- W2009976411 hasRelatedWork W2142913681 @default.
- W2009976411 hasRelatedWork W2548856372 @default.
- W2009976411 isParatext "false" @default.
- W2009976411 isRetracted "false" @default.
- W2009976411 magId "2009976411" @default.
- W2009976411 workType "article" @default.