Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113478995> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2113478995 endingPage "24" @default.
- W2113478995 startingPage "1" @default.
- W2113478995 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 multivariate 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 whose height is 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 the results by Kolaitis and Kopparty that describe the joint distribution of the parities of the numbers of copies of small subgraphs in a random graph to the setting of graphs of growing size. Second, we analyze 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.
- W2113478995 created "2016-06-24" @default.
- W2113478995 creator A5003671114 @default.
- W2113478995 creator A5080843415 @default.
- W2113478995 date "2014-02-01" @default.
- W2113478995 modified "2023-09-25" @default.
- W2113478995 title "Degree lower bounds of tower-type for approximating formulas with parity quantifiers" @default.
- W2113478995 cites W2009994177 @default.
- W2113478995 cites W2024548433 @default.
- W2113478995 cites W2033233376 @default.
- W2113478995 cites W2063406522 @default.
- W2113478995 cites W2070678975 @default.
- W2113478995 cites W2085536555 @default.
- W2113478995 cites W2106793914 @default.
- W2113478995 cites W2114527013 @default.
- W2113478995 cites W2912133662 @default.
- W2113478995 cites W4242244429 @default.
- W2113478995 doi "https://doi.org/10.1145/2559948" @default.
- W2113478995 hasPublicationYear "2014" @default.
- W2113478995 type Work @default.
- W2113478995 sameAs 2113478995 @default.
- W2113478995 citedByCount "0" @default.
- W2113478995 crossrefType "journal-article" @default.
- W2113478995 hasAuthorship W2113478995A5003671114 @default.
- W2113478995 hasAuthorship W2113478995A5080843415 @default.
- W2113478995 hasBestOaLocation W21134789951 @default.
- W2113478995 hasConcept C109214941 @default.
- W2113478995 hasConcept C114614502 @default.
- W2113478995 hasConcept C118615104 @default.
- W2113478995 hasConcept C121332964 @default.
- W2113478995 hasConcept C132525143 @default.
- W2113478995 hasConcept C134306372 @default.
- W2113478995 hasConcept C151376022 @default.
- W2113478995 hasConcept C24890656 @default.
- W2113478995 hasConcept C2775997480 @default.
- W2113478995 hasConcept C2777151079 @default.
- W2113478995 hasConcept C33923547 @default.
- W2113478995 hasConcept C34388435 @default.
- W2113478995 hasConceptScore W2113478995C109214941 @default.
- W2113478995 hasConceptScore W2113478995C114614502 @default.
- W2113478995 hasConceptScore W2113478995C118615104 @default.
- W2113478995 hasConceptScore W2113478995C121332964 @default.
- W2113478995 hasConceptScore W2113478995C132525143 @default.
- W2113478995 hasConceptScore W2113478995C134306372 @default.
- W2113478995 hasConceptScore W2113478995C151376022 @default.
- W2113478995 hasConceptScore W2113478995C24890656 @default.
- W2113478995 hasConceptScore W2113478995C2775997480 @default.
- W2113478995 hasConceptScore W2113478995C2777151079 @default.
- W2113478995 hasConceptScore W2113478995C33923547 @default.
- W2113478995 hasConceptScore W2113478995C34388435 @default.
- W2113478995 hasIssue "1" @default.
- W2113478995 hasLocation W21134789951 @default.
- W2113478995 hasLocation W21134789952 @default.
- W2113478995 hasLocation W21134789953 @default.
- W2113478995 hasLocation W21134789954 @default.
- W2113478995 hasOpenAccess W2113478995 @default.
- W2113478995 hasPrimaryLocation W21134789951 @default.
- W2113478995 hasRelatedWork W1871156538 @default.
- W2113478995 hasRelatedWork W2049968816 @default.
- W2113478995 hasRelatedWork W2148336723 @default.
- W2113478995 hasRelatedWork W2752028650 @default.
- W2113478995 hasRelatedWork W2949469191 @default.
- W2113478995 hasRelatedWork W2964207094 @default.
- W2113478995 hasRelatedWork W4288103026 @default.
- W2113478995 hasRelatedWork W4312226171 @default.
- W2113478995 hasRelatedWork W4377372033 @default.
- W2113478995 hasRelatedWork W2179642149 @default.
- W2113478995 hasVolume "15" @default.
- W2113478995 isParatext "false" @default.
- W2113478995 isRetracted "false" @default.
- W2113478995 magId "2113478995" @default.
- W2113478995 workType "article" @default.