информационная безопасность без паники и всерьез  подробно о проекте
			Анализ криптографических сетевых...   Модель надежности двухузлового...   Специальные марковские модели надежности...   Очередное исследование 19 миллиардов...   Оптимизация ввода-вывода как инструмент...   Зловреды выбирают Lisp и Delphi
	главная обзор RSN блог библиотека закон бред форум dnet о проекте
	bugtraq.ru / форум / theory		Имя Пароль

	если вы видите этот текст, отключите в настройках форума использование JavaScript

ФОРУМ
	все доски
	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   Автор: lime Статус: Незарегистрированный пользователь <"чистая" ссылка>

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

1

Copyright © 2001-2025 Dmitry Leonov

Page build time: 1 s

Design: Vadim Derkach