Методы Оптимизации, Теормин

Материал из eSyr's wiki.

Перейти к: навигация, поиск

Определения индивидуальной и массовой задачи, кодировки задачи, алгоритма решения массовой задачи, временной сложности алгоритма.

Массовая задача П:

  • список свободных параметров;
  • формулировка свойств, которым должно удовлетворять решение задачи.

P есть множество индивидуальных задач I \in P. Индивидуальная задача получается, всем всем параметрам присвоить конкретные значения.

Пусть E - конечный алфавит, а E* - множество слов в этом алфавите. Отображение e: P \rightarrow E* называется кодировкой задачи П.

Алгоритм А решает массовую задачу П, если для любой I \in P : А применим к I, то есть останавливается за конечное число шагов .

Кодировка задачи P: Отобраение e: P \rightarrow E* , обладающее следующими свойствами:

  • Возможность однозначно декодировать, то есть у двух различных ИЗ не может быть одинаковых кодировок.
  • e,e − 1 -- полиномиально вычислимы
  • Кодировка не избыточна, то есть для любой другой кодировки e1, удовлетворяющей 1 и 2 условиям справедливо:

\exists p(.): \forall I 'in P |e(I)| < p(e_{1}(I))

Язык массовой задачи -- это множество правильных слов, то есть слов, соответствующих ИЗ, имеющим положительный ответ(подразумевается задача распознавания): L(P, e) = e(Y(P)) = {s \in E*| s = e(I), I \in Y(I)}

Язык алгоритма -- множество слов, принимаемых А

Алгоритм A решает массовую задачу П, с кодировкой e, если L(e,P) = L(A)

tA(s) - число шагов алгоритма А для входаs \in E* (число шагов).

Временная сложность T_{A}(n) = max \{t_{A}(s)\}, s \in E*, |s| < n .

Задачи распознавания свойств. Классы P и NP.

Задача расползавания свойств: Это задачи ответ на которые должен быть -- "да", "нет"

Из ИЗ выделим такие задачи, которые дают ответ -- "да". Обозначим множество таких задач -- Y

Пусть D -- всевозможное значенте параметров задачи.

Формально ЗРС определяются следующей парой: [D(П), Y(П)]

Класс полиномиально разрешимых задач

Это такие задачи, временной сложность алгоритма решения которых ограниченна полиномом.

Например, к таким задачам отосится задача распознавания четности числа.

Теорема об экспоненциальной временной оценке для задач из класса NP.

Для любой П из NP существует ДМТ A, решающая ее с не более чем экспоненциальной временной сложностью: Невозможно разобрать выражение (неизвестная ошибка): T_{A}(n) <= 2{{p(n)} .

Личные инструменты
Разделы