Попередня Змiст Наступна

1.3. Перетворення (зводимість) задач

Означення 1.6 Задача A може бути перетворена в задачу B (задача А зводиться до задачі В), якщо:
  1. Вхідні дані задачі А перетворюються у вхідні дані задачі В.
  2. Розв'язується задача В.
  3. Результат розв'язку задачі В перетворюється у правильний розв'язок задачі А.
  Якщо кроки 1 та 3 можна виконати за час O(r(N)), де N - розмір задачі A, то кажуть, що задача А є r(N) звідною до В і позначають так: . Звідність не є симетричним відношенням. Якщо задачі А та В взаємно перетворювані, то вони називаються еквівалентними.
  Твердження 1. (нижні оцінки методом перетворення). Якщо відомо, що задача А вимагає Т(N) часу і (задача A перетворювана в задачу В), то В можна розв'язати за час не менший за T(N) - O(r(N)).
  Твердження 2. (верхні оцінки методом перетворення). Якщо задачу В можна розв'язати за час Т(N) і (задача A перетворювана в задачу В), то А можна розв'язати за час, який не перевищує T(N)+O(r(N)).

Попередня Змiст Наступна