KöMaL 2010 A504
Prove that for arbitrary integers 0<<< there exists a positive integer (,,) which satisfies the following property: whenever is an -uniform hypergraph with at least (,,) vertices such that there is at least one hyperedge on any vertices, then contains a complete subgraph with vertices. (A hypergraph is a graph whose edges are arbitrary subsets of the vertices. The graph is called r-uniform if all edges contain exactly vertices. An -uniform hypergraph is complete if any of its vertices form an edge.)
Official text KöMaL. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.