Skip to published state

finding record / erdos

recorded

vf_a146a30a14bb2a42

Erdős Problem #129

Canonical assertion

declared status 'open'. Formalized: no. Let R(n;k,r)R(n;k,r) be the smallest NN such that if the edges of KNK_N are rr-coloured then there is a set of nn vertices which does not contain a copy of KkK_k in at least one of the rr colours. Prove that there is a constant C=C(r)>1C=C(r)>1 such thatR(n;3,r)<Cn.R(n;3,r) < C^{\sqrt{n}}. Current best: Erd\H{o}s thought it likely that for all r,k2r,k\geq 2 there exists some C1,C2>1C_1,C_2>1 (depending only on rr) such thatC1n1/k1<R(n;k,r)<C2n1/k1. C_1^{n^{1/k-1}}< R(n;k,r) < C_2^{n^{1/k-1}}.Antonio Girao has pointed out that this problem as written is easily disproved, and indeed R(n;3,2)CnR(n;3,2) \geq C^{n}: The obvious probabilistic construction (randomly colour the edges red/blue independently uniformly at random) yields a 2-colouring of the edges of KNK_N such every set on nn vertices contains a red triangle and a blue triangle (using that every set of nn vertices contains n2\gg n^2 edge-disjoint triangles), provided NCnN \leq C^n for some absolute constant C>1C>1. Prize: no. Tags: graph theory, ramsey theory.

Notation is rendered from the stored source. The pinned checkout remains the exact record.

  1. database_record
  2. theoretical
  3. 0 spans
  4. recorded
Provenance summary
erdos_deep:129
database_record
Jun 16, 2026, 12:00 AM
not recorded
0
Exact record identityFinding ID, frontier identity, and pinned Git source
vf_a146a30a14bb2a42
vfr_0a25edabc16db143
ce8ba7d934c848408e0d91caca39e938698e3fc7
03f7371b496485f761f91961027fd48198dc7e93
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers
Commit
ce8ba7d934c848408e0d91caca39e938698e3fc7
Tree
03f7371b496485f761f91961027fd48198dc7e93
Committed
2026-07-20T19:20:20-04:00
Repository
Open source
Event log
sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
Snapshot
sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
Proposals
sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
Actor registry
sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
Artifacts
sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da