Изменения

Данный алгоритм генерирует все объекты заданного типа в лексикографическом порядке. На каждом шаге генерируется минимальный возможный префикс требуемого объекта.

*<tex>\mathtt{ p}</tex> {{---}} глубина рекурсии,

*''<tex>\mathtt{list <A>}</tex>'' <tex>\mathtt{K}</tex> {{---}} текущий комбинаторный объект,

* <tex>\mathtt{len}</tex> {{---}} требуемый размер объекта,

*''<tex>\mathtt{list <A>}</tex>'' <tex>\mathtt{alpha}</tex> {{---}} все возможные элементы комбинаторного объекта, отсортированные в лексикографическом порядке,

*''<tex>\mathtt{list <list <A> >}</tex>'' {{---}} список, содержащий все сгенерированные объекты в нужном порядке.