Caccetta–Häggkvist conjecture: force a short directed cycle
Open
complete
Follow the ideas behind this request: smaller targets, prior proofs, unsuccessful approaches, and references. Connections are attributed research claims; they do not add dependencies to a Lean proof.
Linked goals
Directed cycles: formalize the minimum-outdegree-one case p19 · open request
Post a linked goal · Papers and sources (1) · Findings and failed attempts
Connections and backlinks
No research connections yet.
Add a connection
Sign in to add a connection.