Matches in SemOpenAlex for { <https://semopenalex.org/work/W3157236514> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3157236514 abstract "We display an application of the notions of kernelization and data reduction from parameterized complexity to proof complexity: Specifically, we show that the existence of data reduction rules for a parameterized problem having (a). a small-length reduction chain, and (b). small-size (extended) Frege proofs certifying the soundness of reduction steps implies the existence of subexponential size (extended) Frege proofs for propositional formalizations of the given problem. We apply our result to infer the existence of subexponential Frege and extended Frege proofs for a variety of problems. Improving earlier results of Aisenberg et al. (ICALP 2015), we show that propositional formulas expressing (a stronger form of) the Kneser-Lovasz Theorem have polynomial size Frege proofs for each constant value of the parameter k. Previously only quasipolynomial bounds were known (and only for the ordinary Kneser-Lovasz Theorem). Another notable application of our framework is to impossibility results in computational social choice: we show that, for any fixed number of agents, propositional translations of the Arrow and Gibbard-Satterthwaite impossibility theorems have subexponential size Frege proofs." @default.
- W3157236514 created "2021-05-10" @default.
- W3157236514 creator A5028188667 @default.
- W3157236514 creator A5035416163 @default.
- W3157236514 creator A5038687845 @default.
- W3157236514 date "2021-04-28" @default.
- W3157236514 modified "2023-10-18" @default.
- W3157236514 title "Kernelization, Proof Complexity and Social Choice" @default.
- W3157236514 cites W1549880792 @default.
- W3157236514 cites W1967948656 @default.
- W3157236514 cites W1968584500 @default.
- W3157236514 cites W1988083342 @default.
- W3157236514 cites W2003995429 @default.
- W3157236514 cites W2034804004 @default.
- W3157236514 cites W2038549427 @default.
- W3157236514 cites W2049515353 @default.
- W3157236514 cites W2053365988 @default.
- W3157236514 cites W2063658344 @default.
- W3157236514 cites W2069348045 @default.
- W3157236514 cites W2092508401 @default.
- W3157236514 cites W2102219503 @default.
- W3157236514 cites W2112145019 @default.
- W3157236514 cites W2116274133 @default.
- W3157236514 cites W2146100374 @default.
- W3157236514 cites W2169853232 @default.
- W3157236514 cites W2185132034 @default.
- W3157236514 cites W2289331648 @default.
- W3157236514 cites W2460222798 @default.
- W3157236514 cites W2484891765 @default.
- W3157236514 cites W2568146197 @default.
- W3157236514 cites W2787389506 @default.
- W3157236514 cites W2790199059 @default.
- W3157236514 cites W2883807093 @default.
- W3157236514 cites W2909144890 @default.
- W3157236514 cites W3023888380 @default.
- W3157236514 cites W3125906314 @default.
- W3157236514 cites W3143668074 @default.
- W3157236514 cites W327529882 @default.
- W3157236514 cites W645255940 @default.
- W3157236514 hasPublicationYear "2021" @default.
- W3157236514 type Work @default.
- W3157236514 sameAs 3157236514 @default.
- W3157236514 citedByCount "0" @default.
- W3157236514 crossrefType "posted-content" @default.
- W3157236514 hasAuthorship W3157236514A5028188667 @default.
- W3157236514 hasAuthorship W3157236514A5035416163 @default.
- W3157236514 hasAuthorship W3157236514A5038687845 @default.
- W3157236514 hasConcept C105605280 @default.
- W3157236514 hasConcept C108710211 @default.
- W3157236514 hasConcept C111335779 @default.
- W3157236514 hasConcept C114614502 @default.
- W3157236514 hasConcept C118615104 @default.
- W3157236514 hasConcept C165464430 @default.
- W3157236514 hasConcept C17744445 @default.
- W3157236514 hasConcept C199539241 @default.
- W3157236514 hasConcept C207225210 @default.
- W3157236514 hasConcept C2524010 @default.
- W3157236514 hasConcept C2776261394 @default.
- W3157236514 hasConcept C33923547 @default.
- W3157236514 hasConceptScore W3157236514C105605280 @default.
- W3157236514 hasConceptScore W3157236514C108710211 @default.
- W3157236514 hasConceptScore W3157236514C111335779 @default.
- W3157236514 hasConceptScore W3157236514C114614502 @default.
- W3157236514 hasConceptScore W3157236514C118615104 @default.
- W3157236514 hasConceptScore W3157236514C165464430 @default.
- W3157236514 hasConceptScore W3157236514C17744445 @default.
- W3157236514 hasConceptScore W3157236514C199539241 @default.
- W3157236514 hasConceptScore W3157236514C207225210 @default.
- W3157236514 hasConceptScore W3157236514C2524010 @default.
- W3157236514 hasConceptScore W3157236514C2776261394 @default.
- W3157236514 hasConceptScore W3157236514C33923547 @default.
- W3157236514 hasLocation W31572365141 @default.
- W3157236514 hasOpenAccess W3157236514 @default.
- W3157236514 hasPrimaryLocation W31572365141 @default.
- W3157236514 hasRelatedWork W1507629254 @default.
- W3157236514 hasRelatedWork W1522592507 @default.
- W3157236514 hasRelatedWork W1650544138 @default.
- W3157236514 hasRelatedWork W1988083342 @default.
- W3157236514 hasRelatedWork W1990362734 @default.
- W3157236514 hasRelatedWork W2010055185 @default.
- W3157236514 hasRelatedWork W2057952251 @default.
- W3157236514 hasRelatedWork W2075906306 @default.
- W3157236514 hasRelatedWork W2124396273 @default.
- W3157236514 hasRelatedWork W2169378607 @default.
- W3157236514 hasRelatedWork W2245981342 @default.
- W3157236514 hasRelatedWork W2279614198 @default.
- W3157236514 hasRelatedWork W2471400301 @default.
- W3157236514 hasRelatedWork W2531336559 @default.
- W3157236514 hasRelatedWork W2741628291 @default.
- W3157236514 hasRelatedWork W2972230457 @default.
- W3157236514 hasRelatedWork W3014805183 @default.
- W3157236514 hasRelatedWork W3185222915 @default.
- W3157236514 hasRelatedWork W3186888504 @default.
- W3157236514 hasRelatedWork W49401050 @default.
- W3157236514 isParatext "false" @default.
- W3157236514 isRetracted "false" @default.
- W3157236514 magId "3157236514" @default.
- W3157236514 workType "article" @default.