Я нашел алгоритм, упомянутый в Автостопом по соревнованиям по программированию (примечание: эта реализация предполагает наличие в списке нет дубликатов): set<int> st; set<int>::iterator it; st.clear(); for(i=0; i<n; i++) {...

Мне нужно доказать, что следующий код сортировки выбора (в Haskell) всегда выполняет сортировку: import Data.List (minimum, delete) ssort :: Ord t => [t] -> [t] ssort [] = [] ssort xs = let { x = minimum xs } in x : ssort (delete x xs)...