Более эффективная реализация процедуры быстрсорт

  Более эффективная реализация процедуры быстрсорт

с использованием разностного представления списков. Отношение
разбиение( Х, Спис, Меньш, Больш) определено, как на рис. 9.2.

быстрсорт2. Здесь, как и раньше, процедура быстрсорт использует обычное представление списков, но в действительности сортировку выполняет более эффективная процедура быстрсорт2, использующая разностное представление. Эти две процедуры связаны между собой, соотношением

        быстрсорт( L, S) :-
                быстрсорт2( L, S-[ ] ).

Содержание раздела