ELMO 2017 Problem 5
The edges of are each labeled with or such that any triangle has sum of labels at least Determine the minimum possible average of all labels.
(Here is defined as the complete graph on 2017 vertices, with an edge between every pair of vertices.)
Proposed by Michael Ma
Dataset text AI-MO AoPS. Quoted with source.
Official text: ELMO 2017 official paper, page 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.