Задача распознавания свойств

Задача распознавания свойств (Decision problem) - такие массовые задачи, которые имеют только два возможных решения "да" или "нет". З.р.с. состоит просто из двух множеств: всех ее индивидуальных задач и тех из них, ответ для которых "да". Поэтому стандартная форма, применяемая для описания задачи распознавания свойств, состоит из двух частей: условия задачи в терминах подходящих объектов (множеств, графов, функций, чисел и т.д.) и вопроса, предполагающего один из возможных ответов --- "да" или "нет".

Имеется определенное соответствие между задачами распознавания и языками, которое осуществляется с помощью кодирования, обычно применяемого для представления задачи при ее решении на ЭВМ. Выбрав способ кодирования всех возможных индивидуальных задач в виде цепочек в некотором фиксированном алфавите, можно переформулировать массовую задачу как задачу распознавания языка, состоящего из всех цепочек, представляющих индивидуальные задачи, ответ для которых~--- "да". При этом естественно требовать, чтобы способ кодирования давал "сжатое" представление индивидуальных задач и допускал "декодирование". Указанное соответствие позволяет отождествлять решение задачи распознавания свойств с распознаванием соответствующего языка.

Рассматриваются определенные "стандартные" представления задач, которые удовлетворяют описанным выше требованиям, и говорится, что задача принадлежит [math]\displaystyle{ {\cal P} }[/math] или [math]\displaystyle{ {\cal NP} }[/math], если ее стандартный код принадлежит классу языков [math]\displaystyle{ {\cal P} }[/math] или [math]\displaystyle{ {\cal NP} }[/math] соответственно.

Литература

[Ахо-Хопкрофт-Ульман],

[Гэри-Джонсон],

[Касьянов/95]