Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Лемак ([info]sometimes)
@ 2022-04-16 14:16:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
О пользе и привлекательности хаоса
(навеяно всплывшим обсуждением дискордианства у пользователя tiphareth)

Зачем вообще нужна случайность? Первое, что приходит в голову -
рандомизированные алгоритмы. Преступная пробабилитность часто либо
ускоряет известные алгоритмы в смысле асимптотики или хотя бы
константы перед ней, либо упрощает сам алгоритм. Самое простое -
хотя бы quicksort. Берем случайный элемент массива, делим массив
на меньшие и большие него, матожидание и ЗБЧ говорят нам, что он
разбился примерно пополам, "можем повторить".

f(2n) = 2f(n) + n, f(n) ~ n log n.

Чтобы это сделать без рандомизации, нам надо гарантированно найти
у массива середину ("медиану") за линейное время. Это вполне
решаемая проблема, но алгоритм там далеко не такой простой и
вообще это вполне неочевидная задача, кажется, чуть ли не первая
такая, встречающаяся в околошкольном программировании (см.
Кормен/Лейзерсон/Ривест/Штейн).

Другой популярный пример - это тест простоты Миллера-Рабина,
использующийся в RSA-шифровании, например. Случайно выбираем
свидетеля простоты, у простых чисел все числа такие
свидетели, у составных - меньше четверти, "можем повторить".

Чтобы проверить на свидетельство простоты, надо возводить
в степень, тыры-пыры, сложность работы для фиксированной
вероятности не влететь кубическая от длины десятичной записи,
если исхитриться, можно ужать до квадратичной.

Детерминированно и вне предположения очень сложных недоказанных
гипотез (вроде гипотезы Римана) есть алгоритм AKS, который
в своей самой бодрой форме работает за шестую степень от длины,
поэтому его не используют, но все равно, конечно, это было
большое достижение, потому что до этого не было понятно, лежит
ли вообще задача в классе решаемых за полиномиальное время.

Примеров таких очень много. Из свежемодного, начальное состояние
нейросетей перед обучением рандомизируют, чтобы не застряло, и
сам процесс обучения обычно рандомизированный модернизированный
градиентный спуск; из старомодного - Монте-Карло для всяких ядерных
и не очень физиков.

Ну и кроме этого откуда вообще берется иллюзия свободы воли, и
почему свобода полезна, а не только прекрасна как мазня Джорджии
О'Кифф. Зайцу полезно быть непредсказуемым для лисы, лисе - для
зайца. Животные, зажатые на узкой кривой конфигурационного
пространства, радуют своих напарников по пищевому поведению
и расстраивают свои (думающие только о себе) гены.

Наконец, оптимальные стратегии обычно смешанные, а не чистые.

Все это привело во второй половине 20 века Колмогорова и ко
к мысли о фактическом знаке равенства между сложностью и
случайностью. И это почти все, что мы знаем сейчас о сложности.

Однако (и на этом ода хаосу завершается) обычно мы хотим
от сложности чего-то ещё, кроме траектории броуновского движения.

Этого тоже следовало бы коснуться.

P.S. чуть не забыл, эпиграф в конце -


В трудные минуты на помощь Рэю приходила музыка. Как и многие туреттики, он был необыкновенно музыкален и едва ли выжил бы – как духовно, так и материально, – если бы не джаз. Он был известным барабанщиком-любителем, настоящим виртуозом, славившимся среди коллег и слушателей внезапными бурными экспромтами. Тики и навязчивые удары по барабану перерастали у него в изумительные импровизации, в ходе которых неожиданные, грубые вторжения болезни превращались в музыку. Туреттизм также давал Рэю преимущество в спортивных играх, особенно в настольном теннисе, где он побеждал отчасти вследствие аномально быстрых рефлексов и реакций, но главным образом опять же благодаря импровизациям, внезапным, нервным и, как он сам их описывал, легкомысленным ударам. Удары эти были настолько неожиданны, что почти всегда заставали противника врасплох.


(Добавить комментарий)


(Анонимно)
2022-04-16 11:24 (ссылка)
Всякий, кто питает слабость к арифметическим методам получения случайных чисел, грешен вне всяких сомнений.

(Ответить) (Ветвь дискуссии)


[info]sometimes
2022-04-16 11:58 (ссылка)
Дешево же, ехать а не шашечки. Так-то можно на полудохлого кота смотреть.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2022-04-16 12:41 (ссылка)
у кота 9 жизней, биаз результата все модели разрушит

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-04-16 19:53 (ссылка)
это да, филатовская "Моцарт и Сальери"
Да мне плевать на эти цианиды!.. МЕНЯ обычным ядом не возьмешь!..

как раз с такого кота писана, понадобился целый ковид.

(Ответить) (Уровень выше)


(Анонимно)
2022-04-16 11:59 (ссылка)
Самое простое -
хотя бы quicksort. Берем случайный элемент массива,


случайный


нигде такой хуйни нету

(Ответить) (Ветвь дискуссии)


[info]sometimes
2022-04-16 12:33 (ссылка)
The problem was easily solved by choosing either a random index for the pivot, choosing the middle index of the partition or (especially for longer partitions) choosing the median of the first, middle and last element of the partition for the pivot (as recommended by Sedgewick).

Если не случайный, то враг туда ворвется.

(Ответить) (Уровень выше)


(Анонимно)
2022-04-16 16:02 (ссылка)
Зайцу полезно быть непредсказуемым для лисы, лисе - для
зайца.

Смешанные стратегии же повсюду. Без рандома никуда.

У зайца - яйца.
У лисы трусы
Украл он, чтобы их прикрыть.
Чем проявил большую прыть.

(Ответить) (Ветвь дискуссии)


[info]sometimes
2022-04-16 17:05 (ссылка)
О, стихи!

Стихи хорошо.

Зайцу рыжая не тётка,
И прицеп - обуза.
Но со шкафа видно чотко,
Все-таки ебутся.

Общее для порно место -
имитация инцеста.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2022-04-16 23:43 (ссылка)
Зайка бросила монетку
Выпала арешка
Значит вылижет соседка
Седни ей промеждность

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sometimes
2022-04-17 18:53 (ссылка)
Не, ну какая орешка

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2022-04-26 12:02 (ссылка)
золушкина, в количестве трёх

(Ответить) (Уровень выше)


[info]remedie
2022-04-16 19:32 (ссылка)
Если вас серъёзно интересует эта тема, то вот:

https://www.lektorium.tv/course/28984

(Ответить) (Ветвь дискуссии)


[info]sometimes
2022-04-16 19:49 (ссылка)
О, знаю Мишу.

Но это про другое: я про рандомизированные алгоритмы
https://en.wikipedia.org/wiki/Randomized_algorithm

а Миша там рассказывает про аппроксимационные
https://en.wikipedia.org/wiki/Approximation_algorithm

(напр., задача коммивояжера для расстояний на плоскости NP-полна, её, по общей нынешней вере, нельзя решить за полиномиальное время; но сколь угодно хорошее приближенное решение можно сделать за Cn*log(n) - конечно, C зависит от качества приближения и очень быстро растет). аппроксимационные алгоритмы могут быть вполне детерминированными, и, если я правильно помню работу Ароры, в случае евклидова коммивояжера он такой и есть.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]remedie
2022-04-16 21:17 (ссылка)
Вы всё правильно сказали, это два разных класса алгоритмов. Я был неправ.

(Ответить) (Уровень выше)


[info]tinyprince
2022-05-14 21:31 (ссылка)
>Однако (и на этом ода хаосу завершается) обычно мы хотим
от сложности чего-то ещё, кроме траектории броуновского движения.

Есть ещё понятие нестохастичности объекта (введённое тоже Колмогоровым). Это когда нет простой вероятностной программы, которая порождает элементы, среди которых наш объект будет типичным.

Нестохастичные объекты сложные, но не все сложные объекты нестохастичные.

(Ответить)