A graph with $10^{100}$ vertices satisfies the following condition: Any simple odd cycle has length > 100. Prove there is an independent set in the graph of size at least $\frac{10^{100}}{102}$
Source: Israel TST 2 2025 p2
Tags: graph theory, combinatorics
A graph with $10^{100}$ vertices satisfies the following condition: Any simple odd cycle has length > 100. Prove there is an independent set in the graph of size at least $\frac{10^{100}}{102}$