Problem

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}$