Заинтерисованным студентам, аспирантам и преподавателям МГУ

Услуги, организации, общаги. Поиск жилья. Научные работы и переводы. Предложения, поиски, просьбы.
Ответить
Аватара пользователя
Logic Proof
Только пришел
Сообщения: 1
Зарегистрирован: Пт фев 24, 2017 2:02 pm
Год окончания: 1986

Заинтерисованным студентам, аспирантам и преподавателям МГУ

Сообщение Logic Proof » Пт фев 24, 2017 2:14 pm

Мной решена известная проблема теории сложности вычислений. Доказано, что класс множеств NP не равен классу множеств co-NP. Таким образом установлено, что недетерминированная модель вычисления является более мощной чем детерминированная модель при известных ограничениях на ресурсы вычисления. Желающие познакомиться с доказательством обратитесь по адресу: phphtm@mail.ru. Мной будет выслан pdf файл. Доказательство не сложное, но требует все-таки определенных знаний из теории сложности вычисления и теории доказательств.

Ответить

Вернуться в «Доска объявлений МГУ»