Preprint
Sep 2026
Maximizing $K_r + I_r$ in graphs with fixed edge density
After the initial idea for the main proof was found by the authors, various AI models were used to streamline the argument and perform the calculations necessary for completion of the proof.
J'ozsef Balogh, Andrzej Grzesik, Bernard Lidický et al.
· 0 citations