[2405.09304] Kolmogorov complexity as a combinatorial tool