WikiDer > Функциональная проблема

В теория сложности вычислений, а функциональная проблема это вычислительная проблема где один выход (из общая функция) ожидается для каждого входа, но выход более сложный, чем у проблема решения. Для функциональных проблем вывод не просто «да» или «нет».

Формальное определение

Функциональная проблема ${ displaystyle P}$ определяется как отношение ${ displaystyle R}$ над струны произвольного алфавит ${ displaystyle Sigma}$:

${ Displaystyle R substeq Sigma ^ {*} times Sigma ^ {*}}$

Алгоритм решает ${ displaystyle P}$ если для каждого входа ${ displaystyle x}$ такой, что существует ${ displaystyle y}$ удовлетворение ${ displaystyle (x, y) in R}$, алгоритм выдает один такой ${ displaystyle y}$.

Примеры

Хорошо известная функциональная проблема - это проблема функциональной булевой выполнимости, FSAT короче. Проблема, которая тесно связана с СИДЕЛ Решение задачи можно сформулировать следующим образом:

Учитывая булеву формулу ${ displaystyle varphi}$ с переменными ${ displaystyle x_ {1}, ldots, x_ {n}}$, найди задание ${ displaystyle x_ {i} rightarrow {{ text {TRUE}}, { text {FALSE}} }}$ такой, что ${ displaystyle varphi}$ оценивает ${ displaystyle { text {TRUE}}}$ или решите, что такого назначения не существует.

В этом случае соотношение ${ displaystyle R}$ задается кортежами соответствующим образом закодированных булевых формул и удовлетворяющих присваиваний. В то время как алгоритм SAT с формулой ${ displaystyle varphi}$, требуется только вернуть «неудовлетворительно» или «выполнимо», алгоритм FSAT должен вернуть некоторое удовлетворительное присвоение в последнем случае.

Другие известные примеры включают задача коммивояжера, который запрашивает маршрут, выбранный продавцом, и проблема целочисленной факторизации, который запрашивает список факторов.

Отношение к другим классам сложности

Рассмотрим произвольный проблема решения ${ displaystyle L}$ в классе НП. По определению НП, каждый экземпляр проблемы ${ displaystyle x}$ на который дан ответ "да", имеет сертификат полиномиального размера ${ displaystyle y}$ что служит доказательством утвердительного ответа. Таким образом, множество этих наборов ${ Displaystyle (х, у)}$ образует отношение, представляющее "функциональную проблему" ${ displaystyle x}$ в ${ displaystyle L}$, найди сертификат ${ displaystyle y}$ для ${ displaystyle x}$". Эта функциональная проблема называется вариант функции из ${ displaystyle L}$; он принадлежит к классу ФНП.

ФНП можно рассматривать как аналог функционального класса НП, в том, что решения ФНП проблемы могут быть эффективно (т.е. полиномиальное время по длине входа) проверено, но не обязательно эффективно найденный. Напротив, класс FP, который можно рассматривать как аналог класса функций п, состоит из функциональных задач, решение которых может быть найдено за полиномиальное время.

Самовосстановление

Обратите внимание, что проблема FSAT введенное выше, может быть решено с использованием только полиномиально большого количества вызовов подпрограммы, которая решает СИДЕЛ проблема: алгоритм может сначала спросить, является ли формула ${ displaystyle varphi}$ выполнимо. После этого алгоритм может исправить переменную ${ displaystyle x_ {1}}$ ИСТИНА и спросить еще раз. Если полученная формула все еще выполняется, алгоритм сохраняет ${ displaystyle x_ {1}}$ установлен на ИСТИНА и продолжает исправлять ${ displaystyle x_ {2}}$, в противном случае он решает, что ${ displaystyle x_ {1}}$ должно быть ЛОЖЬ и продолжается. Таким образом, FSAT разрешимо за полиномиальное время с помощью оракул решение СИДЕЛ. В общем проблема в НП называется самовосстанавливающийся если его функциональный вариант может быть решен за полиномиальное время с помощью оракула, решающего исходную задачу. Каждые НП-полный проблема самовосстанавливающаяся. Предполагается^[кем?] что проблема целочисленной факторизации не является самосокращаемой.

Редукции и полные проблемы

Функциональные проблемы могут быть уменьшенный очень похоже на проблемы решения: проблемы с заданными функциями ${ displaystyle Pi _ {R}}$ и ${ displaystyle Pi _ {S}}$ мы говорим, что ${ displaystyle Pi _ {R}}$ сводится к ${ displaystyle Pi _ {S}}$ если существуют вычислимые за полиномиальное время функции ${ displaystyle f}$ и ${ displaystyle g}$ так что для всех случаев ${ displaystyle x}$ из ${ displaystyle R}$ и возможные решения ${ displaystyle y}$ из ${ displaystyle S}$, считается, что

• Если ${ displaystyle x}$ имеет ${ displaystyle R}$-Решение, тогда ${ displaystyle f (x)}$ имеет ${ displaystyle S}$-решение.
• ${ Displaystyle (е (х), у) в S подразумевает (х, г (х, у)) в R.}$

Следовательно, можно определить ФНП-полный задачи, аналогичные NP-полной задаче:

Проблема ${ displaystyle Pi _ {R}}$ является ФНП-полный если каждая проблема в ФНП можно свести к ${ displaystyle Pi _ {R}}$. Класс сложности ФНП-полный проблемы обозначается FNP-C или FNPC. Отсюда проблема FSAT также является ФНП-полный проблема, и он считает, что ${ Displaystyle mathbf {P} = mathbf {NP}}$ если и только если ${ Displaystyle mathbf {FP} = mathbf {FNP}}$.

Общие функциональные проблемы

Соотношение ${ Displaystyle R (х, у)}$ используется для определения функциональных проблем, имеет недостаток в том, что он неполный: не каждый ввод ${ displaystyle x}$ имеет аналог ${ displaystyle y}$ такой, что ${ displaystyle (x, y) in R}$. Поэтому вопрос о вычислимости доказательств неотделим от вопроса об их существовании. Чтобы преодолеть эту проблему, удобно рассмотреть ограничение функциональных задач на тотальные отношения, дающие класс TFNP как подкласс ФНП. Этот класс содержит такие задачи, как вычисление чистого Равновесия Нэша в определенных стратегических играх, где гарантированно существует решение. Кроме того, если TFNP содержит любые ФНП-полный проблема следует, что ${ Displaystyle mathbf {NP} = { textbf {co-NP}}}$.

Смотрите также

• Проблема решения
• Проблема поиска
• Проблема подсчета (сложность)
• Проблема оптимизации

использованная литература

Эта статья включает список литературы, связанное чтение или внешние ссылки, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшить эта статья введение более точные цитаты. (Октябрь 2015) (Узнайте, как и когда удалить этот шаблон сообщения)