Изменения
Нет описания правки
Рассмотрим почему данный алгоритм корректен. Условимся, что нумерация обектов начинается с 1. Докажем, что
если первые n-элементов выбраны верно, то n+1 мы также выберем верно.
База: n=0 - очевидно Переход: На n+1-ом шаге мы найдем, какой элемент должен быть n+1-ым для объекта с номером numOfOject, среди всех комбинаторных обектов, которые емеют префикс длины n - как у нас. Рассмотрим искомый объект. Очевидно, что все объекты, которые начинаются с меньшего чем у нас
символа в лексикографическом порядке на n+1-ом месте будут идти раньше нас. А те у которым больше будут идти после нас.
на
