Suppose and the edges of the complete -uniform hypergraph on vertices are -coloured. Prove that some colour class must contain pairwise disjoint edges.

claimed — no verifier run, no signed judgmentunreviewedOpen. Worked here; no verified result yet.

combinatorics · solved · 0 attempts

use this data

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

Check it yourself

One command re-derives this record's receipts on your machine.

vela reproduce examples/erdos-problems

Verify this yourself

Run this command — the output must match these fingerprints.

vela reproduce examples/erdos-problems
  • packet.json · sha256 245843821300b1be36e5f34969422ada1b753625132812548074b4c7fb4f14c7

Search Vela

Search problems, results, contributors, and pages — or jump straight to an id.