Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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 ll‐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}.  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. © 1995 Wiley Periodicals, Inc.
['Petr Savický']
I am writing a research paper on a idea Improved Boolean formulas for the Ramsey graphs
[{"from": "human", "value": "I am writing a research paper on a idea Improved Boolean formulas for the Ramsey graphs"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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 ll\u2010known 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 { \u2227, \u2295} 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 \u2192 {0, 1}.  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. \u00a9 1995 Wiley Periodicals, Inc."}]