Приятное жадное решение: за первое место возьмите максимальное количество. За каждое следующее место возьмите максимум из неиспользованных номеров до того, как удовлетворят ваше условие Если вы разместите все цифры - вы нашли решение. В противном случае решение не существует, почему - это упражнение для вас.
Мое доказательство: представьте, что решение существует. Покажите, что мой алгоритм его найдет. Давайте a_1, ..., a_n - любое решение. Пусть a_i - максимальный элемент. Тогда a_i, a_ {i-1}, ..., a_1, a_ {i + 1}, a_ {i + 2}, ..., a_n также является решением, потому что a_1 <= a_i, a_1 + a_ { i + 1} <= a_i + a_ {i + 1}, поэтому (a_i, a_ {i + 1}) - хорошая пара. Далее, пусть a_1, ..., a_j это элемент согласно моему решению. Покажите, что a_ {j + 1} может быть элементом, как предполагает мое решение. Пусть a_i - максимум из a_ {j + 1}, .., a_n. Тогда a_1, ..., a_j, a_i, a_ {i-1}, ..., a {j + 1}, a_ {i + 1}, ..., a_n также является решением. Это показывает, что алгоритм всегда находит решение. </p>