Легенда:
 новое сообщение
 закрытая нитка
 новое сообщение
 в закрытой нитке
 старое сообщение
|
- Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
- Новичкам также крайне полезно ознакомиться с данным документом.
2.5-выполнимость 28.01.09 14:10
Автор: lime Статус: Незарегистрированный пользователь
|
Обнаружено сведение задачи 3-ВЫП к некоторой новой форме, названной 2.5-ВЫП.
Сведение было проведено за счет расширения алфавита представления, которое позволило избавиться от проклятия тройственности задачи и представить каждую из конъюнкт двумя литералами в несколько модифицированном виде, что не позволяет назвать новую форму 2-ВЫП - это нечто промежуточное между 2-ВЫП и 3-ВЫП, что и дало название новой форме представления.
Никаких громких заявлений не делается. Будем ждать.
|
|
|
подробно о проекте
Анализ криптографических сетевых...
