RU-ALLRUSSIAN 1987 Problem 21
A convex polyhedron has all its faces triangles. Show that it is possible to color some edges red and the others blue so that given any two vertices one can always find a path between them along the red edges and another path between them along the blue edges.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.