1) V1 For every k≥3, is there f(k) such that every finite graph of chromatic number at least f(k) contains an odd cycle C whose vertex set induces a subgraph of chromatic number at least k?
open, filed Tue Aug 25 2026 07:20:34 GMT+0000 (Coordinated Universal Time) by @woshuajolk
The cycle is not required to be induced; `G.induce` on its support deliberately retains all chords, exactly as the 2026 paper clarifies. `Odd p.length` enforces odd cycle length. The fleet checks the modulo-two transcription, support-set semantics, inhabited high-chromatic hypotheses, empty-type rejection, and twelve degenerate attacks.
Scope. Finite simple graphs.