Слава Мировому Капиталу! -
September 23rd, 2013
05:21 pm

[Link]

Previous Entry Add to Memories Tell A Friend Next Entry
"Проблема останова для бедных":

Есть программа длины n, которая на входе получает также n бит, а еще есть многочлен P.
Вопрос: существует ли такой вход, что программа остановиться за P(n) шагов?

Принадлежность задачи классу NP очевидна, докажем NP-полноту.
Рассмотрим какую-нибудь задачу из NP, например задачу о Гамильтоновом цикле.

Рассмотрим программу состоящую из: графа, получения информации, и выяснения, является ли
полученная информация гамильтоновом циклом в этом графе. Если не является - хуячим бесконечный цикл.
(в качестве P берем оценку сложности вычисления, чтения т д. - все полиномиально по определению NP)

Вот. Заодно доказано, что NP-полные задачи вообще существуют (гораздо проще и понятнее, чем
эта архаика
с электросхемами).

Вообще, предчувствую аналогию между невычислимыми задачами и соответствующими "задачами для бедных".
Например, Колмогоровская сложность со времененем (правильно определенная) не должна быть
полиномиально вычислима.

Что значит, что у Колмогоровской сложности самая сильная невычислимость (http://www.youtube.com/watch?v=nnZPqnwoD64&feature=youtu.be&t=15m39s)?

Вообще нужно бороться за права заключенных и социализм вообще.
Ну про Толокно все видели, а сегодня адвокат Стомахин рассказал всяких историй про то,
как люди за деньги соглашаются получать условные сроки например.
Грустно все это.

МЫ ВСЕ ТАКИЕ ТРАГИЧЕСКИЕ ЛИЧНОСТИ ДАВАЙТЕ ЕБАТЬСЯ!!!!!!
Powered by LJ.Rossia.org