информационная безопасность
без паники и всерьез
 подробно о проектеRambler's Top100
Spanning Tree Protocol: недокументированное применениеСетевые кракеры и правда о деле Левина
BugTraq.Ru
Русский BugTraq
 Модель надежности двухузлового... 
 Специальные марковские модели надежности... 
 Модель надежности отказоустойчивой... 
 Ноябрьский перевыпуск октябрьского... 
 Закопать Flash 
 Октябрьские патчи от MS и перевыпуск... 
главная обзор RSN блог библиотека закон бред форум dnet о проекте
bugtraq.ru / форум / theory
Имя Пароль
ФОРУМ
все доски
FAQ
IRC
новые сообщения
site updates
guestbook
beginners
sysadmin
programming
operating systems
theory
web building
software
hardware
networking
law
hacking
gadgets
job
dnet
humor
miscellaneous
scrap
регистрация





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

Никаких громких заявлений не делается. Будем ждать.
<theory> Поиск 
  • 2.5-выполнимость - lime 28.01.09 14:10 [2496]








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


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