[skipped] _Vi>Вопрос: Как вывести минимальный лексикографически порядок?
Можно применить дубовый метод:
1) пишем ф-ю F, отвечающую на вопрос "продолжима ли последовательность до оптимальной?"
2) строим ответ: на каждом шаге делаем ход в минимальный элемент, допускающий продолжение до оптимума
F строится аналогично исходному алгоритму, надо лишь знать сколько ячеек занято изначально и сколько освобождается при вычислении некоторых из функций.
Сложность порядка N^3.
Вполне возможно, что можно как-нибудь и по-быстрее.