Erdős problem 1080
Let be a bipartite graph on vertices such that one part has vertices. Is there a constant such that if has at least edges then must contain a ?
Workspace
public preview
- #1080
- None
- 0
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine