Bounded-degree bipartite Ramsey bound Created 2026-09-24 Updated 2026-09-24
If a bipartite graph has vertices and maximum degree , then
A dependent random choice argument finds, in one colour, enough vertices whose every subset of at most vertices has a large common neighbourhood; a greedy embedding then places .
Let and red-blue colour . Split its vertices into two classes of comparable size. At least half the cross-edges have one colour, say red. The bounded-degree bipartite Ramsey bound, proved by dependent random choice, gives a set in one class such that every subset of at most vertices of has at least common red neighbours in the other class.
Let be a bipartition. Embed injectively into . List the vertices of and embed them one at a time. Each vertex of has at most already embedded neighbours, whose common red neighbourhood has at least vertices; fewer than host vertices have yet been used, so a fresh choice is available. This greedily constructs a red copy of . Thus
Solved by gpt-5.6-sol high.