Естественное доказательство - Natural proof

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

Обзор

Понятие естественных доказательств было введено Александр Разборов и Стивен Рудич в своей статье «Natural Proofs», впервые представленной в 1994 г., а затем опубликованной в 1997 г., за которую они получили награду 2007 г. Премия Гёделя.[1]

В частности, естественные доказательства доказывают нижние оценки на сложность схемы из логические функции. Естественное доказательство прямо или косвенно показывает, что логическая функция имеет определенное естественное комбинаторное свойство. В предположении, что псевдослучайные функции существуют с «экспоненциальной трудностью», как указано в их основной теореме, Разборов и Рудич показывают, что эти доказательства не могут разделить определенные классы сложности. Примечательно, что, предполагая существование псевдослучайных функций, эти доказательства не могут разделить классы сложности P и NP.[2]

Например, в их статье говорится:

[...] рассмотрим общепринятую стратегию доказательства для доказательства P ≠ NP:
  • Сформулируйте математическое понятие «несоответствия», «разброса» или «вариации» значений булевой функции, связанного многогранника или другой структуры. [...]
  • Покажите с помощью индуктивного аргумента, что схемы полиномиального размера могут вычислять только функции с "низким" расхождением. [...]
  • Затем покажите, что СИДЕЛ, или какая-то другая функция в NP, имеет "большое" расхождение.
Наша основная теорема в разделе 4 доказывает, что никакая стратегия доказательства в этом направлении никогда не будет успешной.

Свойство булевых функций определяется как естественный если он содержит свойство, отвечающее условиям конструктивности и крупности, определенным Разборовым и Рудичем. Грубо говоря, условие конструктивности требует, чтобы свойство было разрешимо за (квази) полиномиальное время, когда 2празмер таблица истинности из п-input логическая функция задается как вход, асимптотически как п увеличивается. Это то же самое, что время, одно экспоненциальное в п. Этому условию скорее всего удовлетворяют свойства, которые легко понять. Условие большого размера требует, чтобы свойство выполнялось для достаточно большой части множества всех булевых функций.

Недвижимость полезный против класса сложности C если каждая последовательность логических функций, обладающих этим свойством бесконечно часто, определяет язык вне C. А естественное доказательство является доказательством, устанавливающим, что определенный язык находится вне C и относится к естественному свойству, которое полезно против C.

Разборов и Рудич приводят ряд примеров нижних доказательств против классов. C меньше чем П / поли которые можно «натурализовать», то есть превратить в естественные доказательства. Важный пример рассматривает доказательства того, что проблема четности не входит в класс AC0. Они убедительно свидетельствуют о том, что методы, использованные в этих доказательствах, нельзя расширить, чтобы показать более сильные нижние оценки. В частности, AC0-естественные доказательства не могут быть полезны против AC0[м].

Разборов и Рудич также воспроизводят безусловное доказательство Ави Вигдерсона, что естественные доказательства не могут доказать экспоненциальные нижние оценки для дискретный логарифм проблема.

В настоящее время существует твердое убеждение, что механизм этой статьи фактически блокирует доказательства с нижней границей против класса сложности TC0 пороговых схем постоянной глубины и полиномиального размера, которая считается, но не доказано, меньше, чем P / poly.[3] Это убеждение связано с тем, что согласно широко распространенным предположениям относительно твердости разложение на некоторые группы эллиптических кривых, существуют экспоненциально сложные псевдослучайные функции, вычислимые в TC0.[4] Однако некоторые исследователи полагают, что ограничения Разборова-Рудича на самом деле являются хорошим руководством для того, что может включать в себя «сверхъестественное» доказательство с нижней границей, например, свойства жестких или полных для экспоненциального пространства.[5]

Заметки

  1. ^ "ACM-SIGACT 2007 Геделевская премия". Архивировано из оригинал на 2016-03-03. Получено 2014-08-11.
  2. ^ Разборов А.А., Рудич С.А. (1997). «Естественные доказательства». Журнал компьютерных и системных наук. 55: 24–35. Дои:10.1006 / jcss.1997.1494. (Проект )
  3. ^ https://complexityzoo.uwaterloo.ca/Complexity_Zoo:T#tc0
  4. ^ http://dl.acm.org/citation.cfm?id=972643
  5. ^ К. Реган (октябрь 2002 г.). "Понимание подхода Малмули-Сохони к вопросу P vs. NP" (PDF). Бюллетень Европейской ассоциации теоретической информатики. 78: 86–97.

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