информационная безопасность
без паники и всерьез
 подробно о проектеRambler's Top100
Портрет посетителяСетевые кракеры и правда о деле Левина
BugTraq.Ru
Русский BugTraq
 Анализ криптографических сетевых... 
 Модель надежности двухузлового... 
 Специальные марковские модели надежности... 
 Microsoft предупредила о двух незакрытых... 
 Перевод Firefox на DNS over HTTPS 
 Microsoft закрыла серьёзную уязвимость,... 
главная обзор RSN блог библиотека закон бред форум dnet о проекте
bugtraq.ru / форум / theory
Имя Пароль
ФОРУМ
если вы видите этот текст, отключите в настройках форума использование JavaScript
регистрация





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

Никаких громких заявлений не делается. Будем ждать.
1






Rambler's Top100
Рейтинг@Mail.ru


  Copyright © 2001-2020 Dmitry Leonov   Page build time: 0 s   Design: Vadim Derkach