Рассмотрим картинку.Задача: придумать эвристику оптимального деления блока на две части.

Пытаемся вставить новый элемент в список L1, но в блоке свободного (синего) места не хватает на то, чтобы расширить L1 так, чтобы всё остальное осталось в этом же блоке.
Поэтому сейчас блок делится на 2 части каким-то рандомным способом. Предположим как показано на картинке: block 2 становится левой половиной, block 3 правой половиной. На рисунке показано что куда переехало. При этом L1 получил свой новый элемент, расширившись.

А хотя... вроде всё и так оптимально. Расходимся.