Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135251664> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2135251664 endingPage "415" @default.
- W2135251664 startingPage "407" @default.
- W2135251664 abstract "In the theory of the random graphs, there are properties of graphs such that almost all graphs satisfy the property, but there is no effective way to find examples of such graphs. By the well-known results of Razborov, for some of these properties, e.g., some Ramsey property, there are Boolean formulas in ACC representing the graphs satisfying the property and having exponential number of vertices with respect to the number of variables of the formula. Razborov's proof is based on a probabilistic distribution on formulas of n variables of size approximately nd2 log d, where d is a polynomial in n, and depth 3 in the basis { ∧, ⊕} with the following property: The restriction of the formula randomly chosen from the distribution to any subset A of the Boolean cube {0, 1}n of size at most d has almost uniform distribution on the functions A → {0, 1}. We show a modified probabilistic distribution on Boolean formulas which is defined on formulas of size at most nd log2 d and has the same property of the restrictions to sets of size at most d as the original one. This allows us to obtain formulas the complexity of which is a polynomial of a smaller degree in n than in Razborov's paper while the represented graphs satisfy the same properties." @default.
- W2135251664 created "2016-06-24" @default.
- W2135251664 creator A5060114081 @default.
- W2135251664 date "1995-07-01" @default.
- W2135251664 modified "2023-10-18" @default.
- W2135251664 title "Improved boolean formulas for the Ramsey graphs" @default.
- W2135251664 cites W1995563572 @default.
- W2135251664 cites W2007671490 @default.
- W2135251664 cites W2039559137 @default.
- W2135251664 cites W2064197162 @default.
- W2135251664 cites W2163137752 @default.
- W2135251664 doi "https://doi.org/10.1002/rsa.3240060404" @default.
- W2135251664 hasPublicationYear "1995" @default.
- W2135251664 type Work @default.
- W2135251664 sameAs 2135251664 @default.
- W2135251664 citedByCount "10" @default.
- W2135251664 countsByYear W21352516642015 @default.
- W2135251664 countsByYear W21352516642018 @default.
- W2135251664 crossrefType "journal-article" @default.
- W2135251664 hasAuthorship W2135251664A5060114081 @default.
- W2135251664 hasConcept C111472728 @default.
- W2135251664 hasConcept C114614502 @default.
- W2135251664 hasConcept C118615104 @default.
- W2135251664 hasConcept C132525143 @default.
- W2135251664 hasConcept C134306372 @default.
- W2135251664 hasConcept C138885662 @default.
- W2135251664 hasConcept C151376022 @default.
- W2135251664 hasConcept C189950617 @default.
- W2135251664 hasConcept C33923547 @default.
- W2135251664 hasConcept C44115641 @default.
- W2135251664 hasConceptScore W2135251664C111472728 @default.
- W2135251664 hasConceptScore W2135251664C114614502 @default.
- W2135251664 hasConceptScore W2135251664C118615104 @default.
- W2135251664 hasConceptScore W2135251664C132525143 @default.
- W2135251664 hasConceptScore W2135251664C134306372 @default.
- W2135251664 hasConceptScore W2135251664C138885662 @default.
- W2135251664 hasConceptScore W2135251664C151376022 @default.
- W2135251664 hasConceptScore W2135251664C189950617 @default.
- W2135251664 hasConceptScore W2135251664C33923547 @default.
- W2135251664 hasConceptScore W2135251664C44115641 @default.
- W2135251664 hasIssue "4" @default.
- W2135251664 hasLocation W21352516641 @default.
- W2135251664 hasOpenAccess W2135251664 @default.
- W2135251664 hasPrimaryLocation W21352516641 @default.
- W2135251664 hasRelatedWork W1561903201 @default.
- W2135251664 hasRelatedWork W1605507094 @default.
- W2135251664 hasRelatedWork W1970497402 @default.
- W2135251664 hasRelatedWork W2046202915 @default.
- W2135251664 hasRelatedWork W2101126588 @default.
- W2135251664 hasRelatedWork W2134378549 @default.
- W2135251664 hasRelatedWork W2570467228 @default.
- W2135251664 hasRelatedWork W2949154825 @default.
- W2135251664 hasRelatedWork W2990545556 @default.
- W2135251664 hasRelatedWork W3035630862 @default.
- W2135251664 hasVolume "6" @default.
- W2135251664 isParatext "false" @default.
- W2135251664 isRetracted "false" @default.
- W2135251664 magId "2135251664" @default.
- W2135251664 workType "article" @default.