LINUX.ORG.RU
ФорумTalks

Я решил задачу P=NP

 


3

3

Проще всего взять разницу между детерминированной и недетерминированной машиной тьюринга(или другим автоматом).

Недетерминированная машина с помощью «подкидывания монетки»(то есть недетерминированного перехода) может не вычислять все возможные состояния(а значит и такты), ей может повезти, и она окажется на решении ранее, нежели она переберет все возможные ходы. Для детерминированной машины необходимо вычислить все ветви, а соответственно, мы получаем разницу между ворзможностью везения(и соответственно уменьшения числа тактов) и полным перебором. Иными словами, стандартный случай для детерминированной машины будет наихудшим случаем для недетерминированной. Отсюда вытекает неэквивалентность

Перемещено tailgunner из development

Если машине нужно просто выдать «1», то недетерминированная будет «бросать монетку», а детерминированная просто выдаст «1».

kostyarin_ ★★
()
Ответ на: комментарий от kostyarin_

Предположим у васи есть телефон с фотокамерой и без нее. Вася позвонил Пете. По какму из телефонов он звонил?

Это то что Вы спрашиваете. Это не отменяет фотокамеру.

pnpsolution
() автор топика
Ответ на: комментарий от pnpsolution

Недетерминированная машина с помощью «подкидывания монетки»(то есть недетерминированного перехода) может не вычислять все возможные состояния(а значит и такты), ей может повезти, и она окажется на решении ранее, нежели она переберет все возможные ходы.

Вася не может позвонить по телефону с фотокамерой, иначе это не телефон с фотокамерой. Вот и все.

Вася может быстрее дозвониться до Пети, если возьмёт телефон с фотокамерой.

Бред. Вот и всё.

kostyarin_ ★★
()

не нашел в твоих рассуждениях ни про P, ни про NP

MyTrooName ★★★★★
()
Ответ на: комментарий от Deleted

цАРЬ написал бы, что анонимус - кукаретик, не нюхавший практического кода на сишке.

anonymous
()

Я решил задачу P=NP

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

Deleted
()
Ответ на: комментарий от kostyarin_

Вы утверждаете, будто бы фотокамера мешает звонить по телефону так же как по обычному. Ладно, я Ваше странное мнение услышал, на этом достаточно.

pnpsolution
() автор топика
Ответ на: комментарий от vvn_black

думаю, что нет проблем для оформления этого доказательства на формальном языке

pnpsolution
() автор топика
Ответ на: комментарий от MyTrooName

ну тогда анонiмуса, нiгами впiред

Одного уже подстрелили недавно

logicoop1

Deleted
()
Ответ на: комментарий от anonymous

А что это значит? Согласно википедии

Эквивалентно класс NP включает задачи, которые можно за полиномиальное время решить на недетерминированной машине Тьюринга.

Тот факт, что не каждая задача полиноминально решаемая на НМТ также вычисляется и на МТ говорит о неэквивалентности. Проще говоря, во всех случаях кроме наихудшего для НМТ будет преимущество. Это само по себе говорит о неэквивалентности этих классов

pnpsolution
() автор топика
Ответ на: комментарий от Kuzy

Как то были мысли на этот счет. Если бог может делать случайный выбор, значит он не может предвидеть будущее. Это парадокс

pnpsolution
() автор топика
Ответ на: комментарий от Kuzy

То есть, это говорит о том, что если бог может проявлять волю, значит он не может предвидеть, а если он может предвидеть, значит не имеет свободыд воли.

Это парадокс похлеще камня.

pnpsolution
() автор топика
Ответ на: комментарий от Kuzy

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

pnpsolution
() автор топика
Ответ на: комментарий от pnpsolution

Подумай о том, что закат и восход солнца неминуем. Подумал? Где теперьтвоя свобода воли?

anonymous
()
Ответ на: комментарий от pnpsolution

Всё случайно. Вероятности разные.

anonymous
()
Ответ на: комментарий от anonymous

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

pnpsolution
() автор топика

Молодец. Теперь оформляй в виде статьи и забирай свой заслуженный миллион.

i-rinat ★★★★★
()
Ответ на: комментарий от pnpsolution

Вы утверждаете, будто бы фотокамера мешает звонить по телефону так же как по обычному.

Опять бред.

kostyarin_ ★★
()

... с помощью «подкидывания монетки»(то есть недетерминированного перехода) может не вычислять все возможные состояния ...

Фишка в том, что существуют «вероятностные алгоритмы», «квантовые алгоритмы» и много чего еще неиследованного. Они могут перевести твое «подкидывание монетки» в решение задач на детерминированной МТ, работающей с вероятностями твоей «монетки».

anonymous
()

А я за тебя радовался в последние годы, когда вспоминал. А оказывается, болезнь всё это время прогрессировала.

anonymous
()
Ответ на: комментарий от anonymous

Думаю, что «квантовые алгоритмы» являются псевдонаучным сочинительством околожелтых изданий, а что касается вероятностного алгоритма, то я не вижу тут принципиальной разницы с недетерминированной МТ

pnpsolution
() автор топика

Для детерминированной машины необходимо вычислить все ветви

Не обязательно. Точно так же как с НМТ может оказаться, что порядок перебора оптимальный.

no-such-file ★★★★★
()
Ответ на: комментарий от pnpsolution

«квантовые алгоритмы» являются псевдонаучным сочинительством околожелтых изданий

Это потому что на «реальном» кремнии, чисто случайно, удалось воспроизвести «абстрактную» булеву алгебру, а для «абстрактной» квантовой механики еще нет известного тебе ширпотребного «реального» вычислителя?

вероятностного алгоритма, то я не вижу тут принципиальной разницы с недетерминированной МТ

Допустим, есть такой детерминированный вычислитель с интеренсным тактируемым элементом «монетка», который за полиномиальное время решает твою задачу. И в твоей исходной постановке такой вычислитель существует - это тот самая МТ, «подбрасывающая монетку».

anonymous
()
Ответ на: комментарий от pnpsolution

является: это кнопка и монетка с двумя состояниями

anonymous
()
Ответ на: комментарий от pnpsolution

вычислитель с монеткой не является детерминированным

Эта придуманная тобой «аксиома» - есть твое «доказательство». Попробуй без этой «аксиомы».

anonymous
()
Ответ на: комментарий от Deleted

санитарам не рассказывай, эти гады любят присваивать чужие открытия.

И не говори, натуральный беспредел творится.

Nervous ★★★★★
()
Ответ на: комментарий от pnpsolution

похоже, что ты путаешь свободу воли и свободу выбора

anonymous
()
Ответ на: комментарий от pnpsolution

определение для анализа будет?

anonymous
()
Ответ на: комментарий от pnpsolution

Я не буду тебе ничего доказывать, участники этого треда должны обладать минимальным базисом

Это неловкая попытка прикрыть собственную безграмотность, принизив собеседников?

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.