FRINK Linked Data Fragments server

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

• W66755770 startingPage "137" @default.
• W66755770 abstract "We study the space required by Polynomial Calculus refutations of random k-CNFs. We are interested in how many monomials one needs to keep in memory to carry on a refutation. More precisely we show that for k ≥ 4 a refutation of a random k-CNF of ∆n clauses and n variables requires monomial space Ω(n∆− 1+ k−3− ) with high probability. For constant ∆ we prove that monomial space complexity is Θ(n) with high probability. This solves a problem left open in Alekhnovich et al. (STOC, 2000) and in Ben-Sasson, Galesi (FOCS, 2001; Random Struct. Algorithms, 2003). We study the twofold matching game: it is a prover-delayer game on a bipartite graph in which the prover wants to show that the left side has no pair of disjoint matching sets on the right side. The prover has a bounded amount of memory. We show that any delayer’s winning strategy against such prover is also a strategy to satisfy all equations in a bounded memory polynomial calculus refutation. We show that a random k-CNF with k ≥ 4 has large enough expansion with high probability. This allows lower bounds on the memory of a winning prover in the corresponding twofold matching game. A lower bound on the monomial space required to refute the formula follows. We claim without proof that our result also applies to pigeonhole principles on bipartite graphs. ∗Dipartimento di Informatica, Sapienza Universita di Roma. ISSN 1433-8092 Electronic Colloquium on Computational Complexity, Report No. 137 (2009)" @default.
• W66755770 created "2016-06-24" @default.
• W66755770 creator A5024267515 @default.
• W66755770 date "2009-01-01" @default.
• W66755770 modified "2023-09-23" @default.
• W66755770 title "Random CNFs require spacious Polynomial Calculus refutations." @default.
• W66755770 cites W1518031539 @default.
• W66755770 cites W1518341038 @default.
• W66755770 cites W1537186801 @default.
• W66755770 cites W1567846816 @default.
• W66755770 cites W1974070050 @default.
• W66755770 cites W1978701879 @default.
• W66755770 cites W1988083342 @default.
• W66755770 cites W2007575279 @default.
• W66755770 cites W2044722214 @default.
• W66755770 cites W2056382067 @default.
• W66755770 cites W2069767473 @default.
• W66755770 cites W2076972272 @default.
• W66755770 cites W2084029169 @default.
• W66755770 cites W2090339500 @default.
• W66755770 cites W2093396771 @default.
• W66755770 cites W2097113315 @default.
• W66755770 cites W2097746739 @default.
• W66755770 cites W2098022011 @default.
• W66755770 cites W2122782108 @default.
• W66755770 cites W2126420408 @default.
• W66755770 cites W2129413084 @default.
• W66755770 cites W2130847546 @default.
• W66755770 cites W2132489129 @default.
• W66755770 cites W2136687801 @default.
• W66755770 cites W2137423523 @default.
• W66755770 cites W2166026605 @default.
• W66755770 cites W2323554188 @default.
• W66755770 cites W237292532 @default.
• W66755770 cites W64656188 @default.
• W66755770 cites W2585765466 @default.
• W66755770 hasPublicationYear "2009" @default.
• W66755770 type Work @default.
• W66755770 sameAs 66755770 @default.
• W66755770 citedByCount "0" @default.
• W66755770 crossrefType "journal-article" @default.
• W66755770 hasAuthorship W66755770A5024267515 @default.
• W66755770 hasConcept C105605280 @default.
• W66755770 hasConcept C105795698 @default.
• W66755770 hasConcept C108710211 @default.
• W66755770 hasConcept C11252640 @default.
• W66755770 hasConcept C11413529 @default.
• W66755770 hasConcept C114614502 @default.
• W66755770 hasConcept C118615104 @default.
• W66755770 hasConcept C132525143 @default.
• W66755770 hasConcept C134306372 @default.
• W66755770 hasConcept C159718280 @default.
• W66755770 hasConcept C165064840 @default.
• W66755770 hasConcept C171988527 @default.
• W66755770 hasConcept C179799912 @default.
• W66755770 hasConcept C197657726 @default.
• W66755770 hasConcept C197685441 @default.
• W66755770 hasConcept C2524010 @default.
• W66755770 hasConcept C33923547 @default.
• W66755770 hasConcept C34388435 @default.
• W66755770 hasConcept C45340560 @default.
• W66755770 hasConceptScore W66755770C105605280 @default.
• W66755770 hasConceptScore W66755770C105795698 @default.
• W66755770 hasConceptScore W66755770C108710211 @default.
• W66755770 hasConceptScore W66755770C11252640 @default.
• W66755770 hasConceptScore W66755770C11413529 @default.
• W66755770 hasConceptScore W66755770C114614502 @default.
• W66755770 hasConceptScore W66755770C118615104 @default.
• W66755770 hasConceptScore W66755770C132525143 @default.
• W66755770 hasConceptScore W66755770C134306372 @default.
• W66755770 hasConceptScore W66755770C159718280 @default.
• W66755770 hasConceptScore W66755770C165064840 @default.
• W66755770 hasConceptScore W66755770C171988527 @default.
• W66755770 hasConceptScore W66755770C179799912 @default.
• W66755770 hasConceptScore W66755770C197657726 @default.
• W66755770 hasConceptScore W66755770C197685441 @default.
• W66755770 hasConceptScore W66755770C2524010 @default.
• W66755770 hasConceptScore W66755770C33923547 @default.
• W66755770 hasConceptScore W66755770C34388435 @default.
• W66755770 hasConceptScore W66755770C45340560 @default.
• W66755770 hasLocation W667557701 @default.
• W66755770 hasOpenAccess W66755770 @default.
• W66755770 hasPrimaryLocation W667557701 @default.
• W66755770 hasRelatedWork W1652127109 @default.
• W66755770 hasRelatedWork W1881128296 @default.
• W66755770 hasRelatedWork W2074940796 @default.
• W66755770 hasRelatedWork W2120665495 @default.
• W66755770 hasRelatedWork W2177174202 @default.
• W66755770 hasRelatedWork W2394769199 @default.
• W66755770 hasRelatedWork W2404794569 @default.
• W66755770 hasRelatedWork W2626372708 @default.
• W66755770 hasRelatedWork W2810664674 @default.
• W66755770 hasRelatedWork W2829444108 @default.
• W66755770 hasRelatedWork W2889625517 @default.
• W66755770 hasRelatedWork W2954678234 @default.
• W66755770 hasRelatedWork W2962884475 @default.
• W66755770 hasRelatedWork W2962996049 @default.
• W66755770 hasRelatedWork W2964049575 @default.
• W66755770 hasRelatedWork W2980075253 @default.

• next