Почему-то никто не задал пару главных вопросов:
- а как строится последовательность "серых" значений?
- а исходная последовательность строго монотонно возрастающая?

Нет, умозрительно по примеру мы допёрли, что это все натуральные от min(A) до max(A), но это ведь для данного конкретного примера...
Или нам, действительно, считать это за известное ограничение - "рассматриваем подмножество из некоторого количества последовальных натуральных (целые к ним приводятся элементарным нормированием) чисел"?

Уважаемый ТС, я где-то сказал, что собираюсь эту последовательность представлять целиком "внутрях компа" и физически?
Я просто попытался получить ответ на понятном мне языке, ибо задача к компьютерам имеет такое же отношение, как Дэцл к балету.
Да, она нынче решаема вычислительными средствами; но ведь и мат.методы никто не отменял. Что вам и пытаются рассказать почти все присутствующие.

Не заводитесь на коэффициенты - для констант всё равно "на всякий газ будет..."

Ну а так - я и не нервничаю...

Сформулируем условие примерно так (расчет от промежутков):
Пусть имеется некий массив A, целых чисел. Отсортируем его, Приведем значения к натуральным, начиная с единицы.
(Для ТС - имелся массив {191,-7,250,-32,10,77,14}, стал {1,25,43,47,110,224,283}, N=len(A)=7)

Представим себе последовательность N` всех натуральных от 1 до 2*(A(N)-1)
Нужно разбить эту последовательность на G>1 (кстати, ИМХО, G будет одним из делителей числа 2*(A(N)-1)) групп, так, чтобы:
- Длина группы (разность между последним и первым значениями в группе; здесь учитываем, что и включая "виртуальные" значения) была максимальной
- "Промежутки" между группами содержали минимальное количество "пустых (виртуальных)" групп; а здесь учитываем, что это количество легко находится, если известны окончание предыдущей "реальной" группы и начало следующей...

По первому впечатлению - легко реализуемый перебор, но мы же желаем уйти от O(N), так что будем думать...