Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

2021 November 18

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Да и бар сам известный довольно таки, в него кто только не заходил
источник

K

Kir in Типы в языках программирования, моделирования, представления знаний и жизни
Куда я попал?
источник

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
Чем не понравилось? )
источник

ВП

Всеволод Плохотнюк... in Типы в языках программирования, моделирования, представления знаний и жизни
Кажется мы так и проблему остановки ликвидировать можем!
источник

K

Kir in Типы в языках программирования, моделирования, представления знаний и жизни
Тем, что при незначительном изменении условий задачи мы уже ничего не можем
источник

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
это само собой
источник

ВМ

Виталий Медоваров... in Типы в языках программирования, моделирования, представления знаний и жизни
А не является ли задача грамотного распределения вычислений тоже NP? 🙂
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Математиков много, делегируем распределение
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Успешный человек не тот, ксто сделал 75 дел, а тот кто правильно делегировал 50-и людям по два
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
В общем, я вижу два очевидных способа свести NP к P
1 - не сводить
2 - не решать
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Мои варианты пасты задействуют 1 - т.е. мы решаем NP недетерминированным вычислителем, а после говорим, что это было детерминированно.
А Бур решил просто не решать задачу и сказать, что она решена.
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Хорошие упражнения в софистике
источник

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
За скорость расчитываемся памятью, обычное дело.
источник

ВП

Всеволод Плохотнюк... in Типы в языках программирования, моделирования, представления знаний и жизни
(жаль что бесконечную память мы не умеем предоставлять)
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Бесконечную скорость тоже
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
Зато время бесконечно!
источник
2021 November 19

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
Верно ли, что P=NP?
Ответ: P≠NP.

А вот это уже вполне серьезно.
источник

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
---
Идея доказательства.
Требуется построить задачу состоящую из подзадач, каждая из которых требует полного перебора, а число этих подзадач растет экспоненциально.

Берем математическую структуру, порождающую случайность (МСПС).
Генерируем со скоростью быстро растущей функцией последовательность вышеуказанных МСПС(k), зависящих от параметра k.
Этим шагом мы гарантируем отсутствие решений за полиномиальное время по причине того, что требуется каждый раз проверять всё множество пространства возможных решений, которое растет очень быстро.
Случайность гарантирует отсутствие "трюков" по нахождению решений иных, кроме полного перебора.
Следовательно, P≠NP.
===
источник

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
А это доказывает https://t.me/typeslife/13922 , что
P=NP, но со второго раза.
Почему бы и нет. Это нормально. )
источник

AB

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни
Список доказательств того, что P=NP, P!=NP, что проблема неразрешима, всего 116 штук. )
The P-versus-NP page
https://www.win.tue.nl/~gwoegi/P-versus-NP.htm
источник