AG
да не особо, просто навешиваешь два предиката - что оно отсортировано, и что оно является пермутацией исходного списка
Size: a a a
2020 December 04
AG
остальное детали
к
Брагилевский как-то вбрасывал на своих лекциях, шо на идресе можно на типах показать, что квиксорт отдаёт отсортированный спесок. Ты такое можеш? И где можно глянуть это? Ты вроде должно знать
я что-то подобное доказал на хаскеле на тайплевеле, но для инсершн сорта, и не полностью
DB
я что-то подобное доказал на хаскеле на тайплевеле, но для инсершн сорта, и не полностью
неполностью это уже бан и недоказано!
а что сортировка стабильная можно доказать?
AA
ох щит, рокетсайнс
это не квиксорт Ж(((
DB
это не квиксорт Ж(((
наброс про инплейс?
к
а что сортировка стабильная можно доказать?
да, можно
R
меньше года
А, так вы молодежены, ещё не притерлись.
ГОРЬКО
а у кого-то коронавирус действительно разрушил брак
к
неполностью это уже бан и недоказано!
но оно полностью работает для списков короче трех элементов!
DB
но оно полностью работает для списков короче трех элементов!
звучит внушительно
к
все, докажу сегодня
к
или завтра
RR
Не показывайте это детям
DB
Не показывайте это детям
в смысле детям, ты несильно старше меня
AG
да там просто с нуля все написано
RR
в смысле детям, ты несильно старше меня
Мне 22