Matches in SemOpenAlex for { <https://semopenalex.org/work/W289173989> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W289173989 endingPage "78" @default.
- W289173989 startingPage "67" @default.
- W289173989 abstract "Kolaitis and Kopparty have shown that for any first-order formula with parity quantifiers over the language of graphs there is a family of multi-variate polynomials of constant degree that agree with the formula on all but a 2− Ω(n)-fraction of the graphs with n vertices. The proof bounds the degree of the polynomials by a tower of exponentials in the nesting depth of parity quantifiers in the formula. We show that this tower-type dependence is necessary. We build a family of formulas of depth q whose approximating polynomials must have degree bounded from below by a tower of exponentials of height proportional to q. Our proof has two main parts. First, we adapt and extend known results describing the joint distribution of the parity of the number of copies of small subgraphs on a random graph to the setting of graphs of growing size. Secondly, we analyse a variant of Karp’s graph canonical labeling algorithm and exploit its massive parallelism to get a formula of low depth that defines an almost canonical pre-order on a random graph." @default.
- W289173989 created "2016-06-24" @default.
- W289173989 creator A5003671114 @default.
- W289173989 creator A5080843415 @default.
- W289173989 date "2012-01-01" @default.
- W289173989 modified "2023-10-16" @default.
- W289173989 title "Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers" @default.
- W289173989 cites W1952976320 @default.
- W289173989 cites W2009994177 @default.
- W289173989 cites W2024548433 @default.
- W289173989 cites W2033233376 @default.
- W289173989 cites W2063406522 @default.
- W289173989 cites W2070678975 @default.
- W289173989 cites W2106793914 @default.
- W289173989 cites W2114527013 @default.
- W289173989 cites W2912133662 @default.
- W289173989 cites W4235934183 @default.
- W289173989 cites W4242244429 @default.
- W289173989 cites W76753297 @default.
- W289173989 doi "https://doi.org/10.1007/978-3-642-31585-5_10" @default.
- W289173989 hasPublicationYear "2012" @default.
- W289173989 type Work @default.
- W289173989 sameAs 289173989 @default.
- W289173989 citedByCount "1" @default.
- W289173989 countsByYear W2891739892013 @default.
- W289173989 crossrefType "book-chapter" @default.
- W289173989 hasAuthorship W289173989A5003671114 @default.
- W289173989 hasAuthorship W289173989A5080843415 @default.
- W289173989 hasBestOaLocation W2891739892 @default.
- W289173989 hasConcept C109214941 @default.
- W289173989 hasConcept C114614502 @default.
- W289173989 hasConcept C118615104 @default.
- W289173989 hasConcept C121332964 @default.
- W289173989 hasConcept C132525143 @default.
- W289173989 hasConcept C134306372 @default.
- W289173989 hasConcept C151376022 @default.
- W289173989 hasConcept C24890656 @default.
- W289173989 hasConcept C2775997480 @default.
- W289173989 hasConcept C2777151079 @default.
- W289173989 hasConcept C33923547 @default.
- W289173989 hasConcept C34388435 @default.
- W289173989 hasConcept C47458327 @default.
- W289173989 hasConceptScore W289173989C109214941 @default.
- W289173989 hasConceptScore W289173989C114614502 @default.
- W289173989 hasConceptScore W289173989C118615104 @default.
- W289173989 hasConceptScore W289173989C121332964 @default.
- W289173989 hasConceptScore W289173989C132525143 @default.
- W289173989 hasConceptScore W289173989C134306372 @default.
- W289173989 hasConceptScore W289173989C151376022 @default.
- W289173989 hasConceptScore W289173989C24890656 @default.
- W289173989 hasConceptScore W289173989C2775997480 @default.
- W289173989 hasConceptScore W289173989C2777151079 @default.
- W289173989 hasConceptScore W289173989C33923547 @default.
- W289173989 hasConceptScore W289173989C34388435 @default.
- W289173989 hasConceptScore W289173989C47458327 @default.
- W289173989 hasLocation W2891739891 @default.
- W289173989 hasLocation W2891739892 @default.
- W289173989 hasLocation W2891739893 @default.
- W289173989 hasLocation W2891739894 @default.
- W289173989 hasOpenAccess W289173989 @default.
- W289173989 hasPrimaryLocation W2891739891 @default.
- W289173989 hasRelatedWork W1756925996 @default.
- W289173989 hasRelatedWork W1871156538 @default.
- W289173989 hasRelatedWork W1968462015 @default.
- W289173989 hasRelatedWork W2044231811 @default.
- W289173989 hasRelatedWork W2049968816 @default.
- W289173989 hasRelatedWork W2158211033 @default.
- W289173989 hasRelatedWork W2167810763 @default.
- W289173989 hasRelatedWork W2752028650 @default.
- W289173989 hasRelatedWork W2964207094 @default.
- W289173989 hasRelatedWork W4362554012 @default.
- W289173989 isParatext "false" @default.
- W289173989 isRetracted "false" @default.
- W289173989 magId "289173989" @default.
- W289173989 workType "book-chapter" @default.