A note on the Poljak-Rödl function
Summary: The Poljak-Rödl function is defined as \(f(c) = \min\{\chi(G \times H): \chi(G)=\chi(H)=n\}\). This note proves that \(\lim_{c \to \infty} \frac{f(c)}{c} \leqslant \frac 12\).
scientific article; zbMATH DE number 7225779