информационная безопасность
без паники и всерьез
 подробно о проектеRambler's Top100
Сетевые кракеры и правда о деле ЛевинаСтрашный баг в Windows
BugTraq.Ru
Русский BugTraq
 Анализ криптографических сетевых... 
 Модель надежности двухузлового... 
 Специальные марковские модели надежности... 
 Утекший код 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
регистрация





Легенда:
  новое сообщение
  закрытая нитка
  новое сообщение
  в закрытой нитке
  старое сообщение
  • Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
  • Новичкам также крайне полезно ознакомиться с данным документом.
Ну это я так для краткости обозвал. Ну хорошо, пусть будет... 04.03.05 15:06  Число просмотров: 2788
Автор: NickP Статус: Незарегистрированный пользователь
<"чистая" ссылка>
> > Потом смотрим основную теорему №5. Там сказано, что
> число
> > шагов алгоритма не может превышать m, число строк
> таблицы.
>
> Не число шагов алгоритма, а число вариантов анализа
> таблицы.

Ну это я так для краткости обозвал. Ну хорошо, пусть будет число вариантов анализа таблицы.
Но сложность каждого варианта нигде не раскрыта!

> > Но во-первых m лежит в диапазон 0 <= m <= 2^n,
> где n
> > - число переменных.
>
> Решаем задачу ВЫП, её размеры - это не n.

Ладно, сознаюсь. Я не знаю как измеряются размеры задачи ВЫП, расскажите если не сложно. Но мне всетаки казалось что количество переменных - определяющий фактор. Т.к. верхняя граница скорости выполнения как раз и задается полным перебором 2^n вариантов.

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

Ладно. Допустим на каждом шаге мы просматриваем один столбец.
Тогда получается, что для каждого "вывода" нужно просмотреть всю таблицу.
Вывод - это выход на вариант 1-3. НО! выход на вариант 1 - это еще не конец "анализа"
таблицы, после получения варианта 1, мы должны снова проанализировать часть таблицы,
а потом снова и снова. Нигде не показана сложность вытекающая из этой рекурсии.
А если внимательно присмотреться к приводимым примером легко можно заметить, что
чаще всего происходит ПОЛНЫЙ перебор некоторого подмножества переменных, и только
часть переменных отсеивается в дальнейшем.
<site updates> Поиск 








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


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