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





Легенда:
  новое сообщение
  закрытая нитка
  новое сообщение
  в закрытой нитке
  старое сообщение
  • Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
  • Новичкам также крайне полезно ознакомиться с данным документом.
Вы уверены, что ошибки действительно есть? 17.02.05 19:06  Число просмотров: 2737
Автор: Партизан Статус: Незарегистрированный пользователь
<"чистая" ссылка>
> > > > А не пытались ли Вы найти ошибку в
> доказательстве
> > у
> > > > Тельпиза? Хотя бы в той статье про 4 краски?
>
> Вот прочитал я эту статью, и первое что мне бросилось в
> глаза, это практические результаты приведенные самим
> Тельпизом. Цитата:
> "Вся задача имеет 144 переменных и 644 строки и ее
> суперприведение выполняется за 6 мин 45 секунд
> (Pentium-866). Суперприведение же каждого блока [~50
> переменных, ~215 строк] составляет 3, 5 и 6 сек".
> Кто тутговорил про 1024 бита за минуты? И где тут
> полиномиальная зависимость?

Я имел в виду другую программу другого автора.

> Потом смотрим основную теорему №5. Там сказано, что число
> шагов алгоритма не может превышать m, число строк таблицы.

Не число шагов алгоритма, а число вариантов анализа таблицы.

> Но во-первых m лежит в диапазон 0 <= m <= 2^n, где n
> - число переменных.

Решаем задачу ВЫП, её размеры - это не n.

Если решаем другую NP-полную задачу, то она должна полиномиально сводиться к ВЫП.

> А во-вторых, нигде не показанно как каждый шаг алгоритма
> зависит от n и m. А зависимость там явно не полиномиальная.

На каждом шаге анализа таблицы просматриваем один столбец. Следовательно на одном шаге просматривается не более m ячеек таблицы. Для каждого варианта столбцы просматриваются последовательно, двигаясь в левую сторону, следовательно при каждом варианте анализа просматривается не больше n столбцов и не больше m*n ячеек, то есть таблица просматривается при каждом варианте не более одного раза. До получения ответа на вопрос о выполнимости таблицы просматриваем её не более m раз.
<site updates> Поиск 








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


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