Объяснение классов P и NP через лямбда-исчисление

Во введении и объяснении P и NP классы сложности часто даются через машину Тьюринга. Одной из моделей вычислений является лямбда-исчисление. Я понимаю, что все модели вычислений эквивалентны (и если мы можем ввести что-либо в терминах машины Тьюринга, мы можем представить это в терминах любой модели вычислений), но я никогда не видел объяснения идеи P и классов сложности NP через лямбда-исчисление , Кто-нибудь может объяснить понятия классов сложности P и NP без машины Тьюринга и только с помощью лямбда-исчисления в качестве модели вычисления.

cc.complexity-theory complexity-classes turing-machines lambda-calculus симплекс
источник

Их вычислительная мощность эквивалентна только функциям над натуральными числами, а не старшим типам или другим параметрам.

Каве

Полнота Тьюринга иногда является более теоретическим понятием, чтобы показать связь, но более прикладные "преобразования" между полными системами ТМ не всегда фактически осуществляются на практике, то есть иногда это больше о доказательствах существования ...

vzn

Ответы:

Машины Тьюринга и $\lambda$ калькуляция эквивалентны только по функциям $\mathbb{N} \rightarrow \mathbb{N}$ они могут определить.

С точки зрения вычислительной сложности они, кажется, ведут себя по-разному. Основная причина, по которой люди используют машины Тьюринга, а не $\lambda$ калькуляцию, чтобы рассуждать о сложности, заключается в том, что использование $\lambda$ калькулятора наивно ведет к нереалистичным мерам сложности, потому что вы можете свободно копировать термины (произвольного размера) за один этап $\beta$ сокращения, например $(\lambda x.xxx)M \rightarrow MMM.$ Другими словами, одиночные шаги восстановления в $\lambda$ -калькулез - это паршивая модель затрат. Напротив, одиночные шаги сокращения машины Тьюринга работают отлично (в смысле того, чтобы быть хорошими предикторами реального времени выполнения программы).

Неизвестно, как полностью восстановить традиционную теорию сложности, основанную на машине Тьюринга, в $\lambda$ вычислении. В недавнем (2014) прорыве Аккаттоли и Даль Лаго удалось показать, что большим классам сложности времени, таким как $P$ , $NP$ и $EXP$ может быть дана естественная формула $\lambda$ вычисления. Но меньшие классы, такие как $O(n^2)$ или $O(n \, log\, n)$ не могут быть представлены с использованием методов Аккаттоли / Дал Лаго.

Как восстановить обычную космическую сложность, используя $\lambda$ калькуляцию, неизвестно.

Мартин Бергер
источник

Я чувствую необходимость уточнить здесь: не существует специальной «техники», которую Аккаттоли и Даль Лаго используют для «представления» временных классов. Презентация является «наивной» один: определить

как класс языков разрешимого с помощью

-членного в

-уменьшение шагов, при любой стандартной стратегии сокращения ( например , крайней левой -outermost). Аккаттоли и Даль Лаго показали, используя методы линейной логики, что существует такой многочлен

, что

λ T I M E (f (n))

$\lambda TIME(f(n))$

λ

$\lambda$

f (n)

$f(n)$

β

$\beta$

p

$p$

λ T I M E (f (n)) = T I M E (p (f (n))

$\lambda TIME(f(n))=TIME(p(f(n))$

Дамиано Мазза

@DamianoMazza Да, верно, я имел в виду, что я не думаю, что методы, использованные для демонстрации этого результата, могут быть использованы для демонстрации, например,

λ T I M E (n^{2}) = T I M E (n^{2})

$\lambda TIME(n^2) = TIME(n^2)$

Мартин Бергер

Да я вижу. На самом деле, мое предположение , что

: классы сложности , такие как

или

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

λ T I M E (n^{2}) \neq T I M E (n^{2})

$\lambda TIME(n^2)\neq TIME(n^2)$

T I M E (n^{2})

$TIME(n^2)$

T I M E (n \log n)

$TIME(n\log n)$

Дамиано Мазза

@DamianoMazza Я согласен, аналогично для размера выбранного алфавита. Но алгоритм, работающий в

на машине с

лентой, может быть смоделирован в

на машине с 1 лентой, скромное квадратичное увеличение. В чем суть нынешнего перевода Аккаттоли и Дала Лаго? Я не помню, если они прямо заявляют об этом.

f (n)

$f(n)$

n

$n$

5 k f^{2} (n)

$5kf^2(n)$

Мартин Бергер

@ Джейк В цитируемой статье обсуждается бета-нормализация (см. Стр. 2). Подобные результаты уже были известны для других форм сокращения, таких как слабое сокращение (то есть, вызов по значению) - см. Dal Lago & Martini, 2008 (обсуждается в этом документе и в cstheory.stackexchange.com/a/397/989 ).

Blaisorblade

Я вставляю часть ответа, который я написал для другого вопроса :

Неявная вычислительная сложность направлена на характеристику классов сложности с помощью специализированных языков. Первые результаты, такие как теорема Беллантони-Кука, были сформулированы в терминах рекурсивных функций, но в более поздних результатах используются словарь и методы вычисления. См. Это краткое введение в неявную вычислительную сложность для получения дополнительной информации и указаний, а также материалы семинаров DICE . $\mu$ $\lambda$

Существуют характеристики (как минимум) с помощью исчисления. $\mathsf{FP}$ $\lambda$

Bruno
источник

Я не знаю, отвечает ли это (часть) на ваш вопрос, но действительно есть альтернативные характеристики классов сложности (особенно $\mathbb{P}$ и $\mathbb{NP}$ ) в терминах логики (логика 1-го порядка, логика 2-го порядка и т. Д.).

Например, работа по Р. Fagin ( и др.) В этой области отличается (и имо может дать представление , связанное с $\mathbb{P}$ против $\mathbb{NP}$ вопроса и отношений с описательной и алгоритмической сложностью)

Некоторые дополнительные характеристики классов вычислительной сложности в терминах алгоритмической (колмогоровской-соломоновской) сложности можно найти (например) здесь и здесь .

Никос М.
источник