Гипотеза Аандераа — Карпа — Розенберга

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
Нерешённые проблемы информатики: Доказать или опровергнуть гипотезу Аандераа — Карпа — Розенберга.

Гипотеза Аандераа — Карпа — Розенберга (известная также как гипотеза Аандераа — Розенберга или гипотеза трудности) — это группа связанных гипотез о числе вопросов в форме «Имеется ли ребро между вершиной u и вершиной v?», на которые следует ответить, чтобы определить, обладает или нет неориентированный граф определённым свойством (инвариантом), таким как планарность или двудольность. Гипотеза названа именами норвежского математика Стола Аандераа и американских учёных Ричарда М. Карпа и Арнольда Л. Розенберга. Согласно гипотезе, для широкого класса инвариантов никакой алгоритм не может гарантировать, что алгоритм может опустить какой-либо запрос — любой алгоритм определения, обладает ли граф свойством, неважно, насколько умён этот алгоритм, он должен проверить каждую пару вершин, прежде чем дать ответ. Свойство, удовлетворяющее гипотезе, называется трудным[en].

Более точно, гипотеза Аандераа — Розенберга утверждает, что любой детерминированный алгоритм должен проверить по меньшей мере фиксированную долю всех возможных пар вершин, чтобы определить в худшем случае[en] любое нетривиальное монотонное свойство графа. В этом контексте свойство монотонно, если оно остаётся верным при добавлении рёбер (так что свойство планарности монотонным не является, а вот непланарность монотонна). Более строгая версия этой гипотезы, называемая гипотезой трудности или гипотезой Аандераа — Карпа — Розенберга, утверждает, что необходимо в точности [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] проверок. Были сформулированы и изучались версии проблемы для вероятностных и квантовых алгоритмов.

Детерминированную гипотезу Аандераа — Розенберга доказали Ривест и Виллемин[1], но более сильная гипотеза гипотеза Аандераа — Карпа — Розенберга остаётся недоказанной. Кроме того, существует большая разница между нижней границей и лучшей доказанной нижней границей для вероятностной и квантовой сложности по количеству запросов.

Пример

Свойство не быть пустым (то есть иметь по меньшей мере одно ребро) монотонно, поскольку добавление другого ребра к непустому графу даёт непустой граф. Существует простой алгоритм тестирования, является ли граф не пустым — цикл через все пары вершин и проверка, связана ли каждая пара ребром. Если ребро найдено таким способом, прерываем цикл и рапортуем, что граф не пустой, а если цикл завершается без нахождения какого-либо ребра, то рапортуем, что граф пустой. На таких графах (например, полных графах) этот алгоритм быстро завершается без проверки каждой пары вершин, но на пустом графе алгоритм проверяет все возможные пары, перед тем как завершиться. Поэтому сложность алгоритма по запросам равна [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] — в худшем случае алгоритм делает[math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] проверок.

Описанный выше алгоритм не является единственным возможным методом проверки непустоты, но из гипотезы Аандераа — Карпа — Розенберга вытекает, что любой детерминантный алгоритм для проверки непустоты имеет ту же сложность по запросам [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math]. То есть свойство быть непустым является трудным. Для этого свойства результат просто проверить прямо — если алгоритм не выполнит [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] проверок, он не сможет отличить пустой граф от графа, содержащего одно ребро непроверенной пары вершин и должен дать неверный ответ для одного из двух этих графов (либо для пустого, либо для графа с ребром).

Определения

В контексте этой статьи все графы будут простыми и неориентированными, если не утверждается иное. Это означает, что рёбра графа образуют множество (но не мультимножество) и концами каждого ребра является пара различных вершин. Предполагается, что графы имеют неявное представление[en], в котором каждая вершина имеет уникальный идентификатор или метку и в котором можно проверить смежность двух вершин, но в графе для проверки смежности можно осуществлять только базовые операции.

Неформально, свойство графа (или инвариант графа, оба термина в данной статье используются как синонимы) — это свойство графа, которое не зависит от разметки. Более формально, свойство графа — это отображение из множества всех графов в {0,1} так, что изоморфные графы отображаются в одно и то же значение. Например, свойство содержать по меньшей мере одну вершину степени 2 является инвариантом графа, но свойство, что первая вершина имеет степень 2, инвариантом графа не является, поскольку свойство зависит от разметки графа (в частности, оно зависит от того, какая вершина считается «первой»). Инвариант графа называется нетривиальным, если он не имеет одно и то же значение для всех графов. Например, свойство быть графом является тривиальным свойством, поскольку все графы этим свойством обладают. Но с другой стороны, свойство быть пустым нетривиально, поскольку пустой граф обладает данным свойством, а непустой не обладает. Говорят, что свойство графа монотонно, если добавление рёбер не разрушает свойства. Альтернативно, если граф обладает монотонным свойством, тогда любой суперграф этого графа на том же наборе вершин тоже обладает этим свойством. Например, свойство быть непланарным монотонно — суперграф непланарного графа также непланарен. Однако свойство быть регулярным не монотонно.

Для сложности запросов часто используется нотация «O» большое. Кратко, f(n) есть [math]\displaystyle{ O(g(n)) }[/math], если для любого достаточно большого [math]\displaystyle{ n f(n) \leqslant c g(n) }[/math] для некоторой положительной константы c. Аналогично, f(n) есть [math]\displaystyle{ \Omega(g(n)) }[/math], если для достаточно больших [math]\displaystyle{ n f(n) \geqslant c g(n) }[/math] для некоторой положительной константы c. Наконец, f(n) есть [math]\displaystyle{ \Theta(g(n)) }[/math], если она есть как [math]\displaystyle{ O(g(n)) }[/math], так и [math]\displaystyle{ \Omega(g(n)) }[/math].

Сложность запроса

Сложность детерминированного запроса вычисления функции от n бит [math]\displaystyle{ (x_1, x_2, \dots, x_n) }[/math] равна числу бит xi, которые должен прочитать детерминированный алгоритм в худшем случае для определения значения функции. Например, если функция принимает значение 0, если все биты равны 0 и значение 1 в противном случае (то есть функция OR), то сложность детерминированных запросов в точности равна n. В худшем случае первые n − 1 прочитанных бит будут равны 0 и значение функции будет зависеть только от последнего бита. Если алгоритм не прочитает этот бит, он может дать неверный ответ. Число прочитанных бит называется также числом запросов, сделанных на входе. Можно представить так, что алгоритм спрашивает (осуществляет запрос) вход о конкретном бите и вход отвечает на этот запрос.

Сложность вероятностного запроса выполнения функции определяется аналогично, за исключением того, что алгоритм может быть вероятностным, то есть он может подбрасывать монету и использовать выпавшее значение стороны монеты для решения, какой бит запрашивать. Однако вероятностный алгоритм должен продолжать давать верные ответы на все входные запросы — ошибки недопустимы. Такие алгоритмы называются алгоритмами Лас-Вегаса и их следует отличать от алгоритмов Монте-Карло, в которых некоторые ошибки допустимы. Сложность вероятностного запроса может быть определена в смысле Монте-Карло, но гипотеза Аандераа — Карпа — Розенберга говорит о сложности запросов для инвариантов графа в смысле Лас-Вегаса.

Квантовая сложность запросов является естественным обобщением сложности вероятностного запроса, естественно, с разрешением квантовых запросов и ответов. Квантовая сложность запросов может быть также определена в смысле алгоритмов Монте-Карло или алгоритмов Лас-Вегаса, но обычно имеются в виду квантовые алгоритмы Монте-Карло.

В контексте этой гипотезы вычисляемая функция является свойством графа, а входом является строка размера [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math], которая задаёт местоположение рёбер на графе с n вершинами, поскольку граф может иметь максимум [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] рёбер. Сложность запроса любой функции ограничена сверху значением [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math], поскольку весь вход будет прочитан после [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] запросов, что и определяет полностью входной граф.

Сложность детерминированных запросов

Для детерминированных алгоритмов Розенберг[2] предположил, что для всех нетривиальных свойств графов на n вершинах решение, обладает ли граф этим свойством, требует [math]\displaystyle{ \Omega(n^2) }[/math] запросов. Ясно, что требуется нетривиальность условия, поскольку существуют тривиальные свойства типа «это граф?», на которые можно ответить без всякого запроса вообще.

Граф-скорпион. Одна из трёх красных вершин смежна всем вершинам, не принадлежащим этому пути, остальные же две вершины пути смежны только вершинам пути.

Гипотезу опроверг Аандераа, который предложил свойство ориентированного графа (свойство иметь «сток»), проверка которого требует всего O(n) запросов. Сток в ориентированном графе — это вершина, имеющая входящую полустепень n-1 и исходящую полустепень 0[3]. Это свойство может быть проверено за менее чем 3n запросов[4]. Свойство неориентированного графа, которое может быть проверено за O(n) запросов, это свойство «граф является графом-скорпионом», впервые описанное в статье Беста, ван Эмде Боаза и Ленстры[4]. Граф «скорпион» — это граф, содержащий путь, состоящий из трёх вершин, такой, что одна конечная вершина пути соединена со всеми остальными вершинами графа, в то время как две оставшиеся вершины пути соединены только с вершинами самого пути.

Тогда Аандераа и Розенберг сформулировали новую гипотезу (гипотезу Аандераа — Розенберга), которая утверждает, что решение, обладает ли граф нетривиальным монотонным свойством, требует [math]\displaystyle{ \Omega(n^2) }[/math] запросов[5]. Эту гипотезу решили Райвест и Вюйемен[1], показав, что нужно по меньшей мере [math]\displaystyle{ \tfrac{n^2}{16} }[/math] запросов для проверки любого нетривиального монотонного свойства. Границу позже улучшили до [math]\displaystyle{ \tfrac{n^2}{9} }[/math] Клейтман и Квятковски[6], затем до [math]\displaystyle{ \tfrac{n^2}{4} - o(n^2) }[/math] Кан, Сакс и Стертевант[7], до [math]\displaystyle{ \tfrac{8}{25}n^2 - o(n^2) }[/math] Корнефель и Триш[8] и до [math]\displaystyle{ \tfrac{n^2}{3} - o(n^2) }[/math] Шайдервайлер и Триш[9].

Ричард Карп высказал более строгое утверждение (которое называется теперь гипотезой о трудности или гипотезой Аандераа–Карпа–Розенберга), что «любое нетривиальное монотонное свойство графов на n вершинах трудное» [10]. Свойство называется трудным, если определение, обладает ли граф данным свойством, требует [math]\displaystyle{ \tfrac{n(n - 1)}{2} }[/math] запросов[11]. Эта гипотеза утверждает, что лучший алгоритм тестирования любого нетривиального монотонного свойства должно (в худшем случае) запросить все возможные рёбра. Эта гипотеза остаётся открытой, хотя было показано, что некоторые специальные свойства графов являются трудным для всех n. Гипотеза была решена для случая, когда n является степенью простого числа Каном, Саксом и Стертевантом[7] с помощью топологического подхода. Гипотезу решил для всех нетривиальных монотонных свойств двудольных графов Яо[12]. Было также доказано, что замкнутые относительно миноров свойства также трудны для больших n[13].

Сложность вероятностного запроса

Ричард Карп также высказал гипотезу, что [math]\displaystyle{ \Omega(n^2) }[/math] запросов требуется для проверки нетривиальных свойств монотонности, даже если вероятностные алгоритмы разрешены. Никакого нетривиального свойства не известно, которое требует менее [math]\displaystyle{ \tfrac{n^2}{4} }[/math] запросов для проверки. Линейная нижняя граница (то есть [math]\displaystyle{ \Omega(n)) }[/math] для всех монотонных свойств следует из очень общей связи между вероятностными и детерминированными сложностями запросов[en]. Первую суперлинейную нижнюю для всех монотонных инвариантов дал Яо[14], показавший, что требуется [math]\displaystyle{ \Omega(n \log^{\tfrac{1}{12}} n) }[/math] запросов. Её затем улучшил Кинг[15] до [math]\displaystyle{ \Omega(n^{\tfrac{5}{4}}) }[/math], а затем Хайналь[16] до [math]\displaystyle{ \Omega(n^{\tfrac{4}{3}}) }[/math]. Этот результат затем улучшили до текущего хорошо известного значения границы [math]\displaystyle{ \Omega(n^{\tfrac{4}{3}} \log^{\tfrac{1}{3}} n) }[/math] Чакрабарти и Хот[17].

Некоторые последние результаты дают нижние границы, которые определяются критической вероятностью p монотонного свойства рассматриваемого графа. Критическая вероятность p определяется как единственное p, такое, что случайный граф G(n, p) обладает этим свойством с вероятностью 1/2. Случайный граф G(n, p) — это граф с n вершинами, в котором каждое ребро присутствует с вероятностью p и наличие/отсутствие ребра не зависит от всех остальных рёбер. Фридгуд, Кан и Вигдерсон[18] показали, что любой монотонный инвариант графа с критической вероятностью p требует [math]\displaystyle{ \Omega\left(\min\left\{\frac{n}{\min(p,1-p)},\frac{n^2}{\log n}\right\}\right) }[/math] запросов. Для той же проблемы О'Доннелл, Сакс, Шрамм и Серведио[19] показали нижнуюю границу [math]\displaystyle{ \Omega(\frac{n^{\tfrac{4}{3}}}{p^{\tfrac{1}{3}}}) }[/math].

Как в детерминированном случае, есть много специальных инвариантов, для которых нижняя граница [math]\displaystyle{ \Omega(n^2) }[/math] известна. Более того, известны лучшие границы для некоторых классов инвариантов графов. Например, для проверки, имеет ли граф подграф, изоморфный какому-нибудь заданному графу (так называемая задача поиска изоморфного подграфа), лучшей известной нижней границей, согласно Грёгеру, является [math]\displaystyle{ \Omega(n^{\tfrac{3}{2}}) }[/math][20].

Квантовая сложность запросов

Для равномерно ограниченной ошибки квантовой сложности запросов[en] наилучшая известная нижняя граница равна [math]\displaystyle{ \Omega(n^{\tfrac{2}{3}} \log^{\tfrac{1}{6}} n) }[/math], как заметил Эндрю Яо (результат не опубликован, но упомянут в статье[21]). Граница получена комбинированием вероятностной нижней границы с квантовым состязательным методом (англ. quantum adversary method). Наилучшая нижняя граница, которую надеются достичь, равна [math]\displaystyle{ \Omega(n) }[/math], в отличие о классического случая, ввиду алгоритма Гровера, который даёт алгоритм с O(n) запросами для проверки монотонного свойства непустоты. Аналогично детерминированному и вероятностному случаям, есть некоторые свойства, которые, как известно, имеют нижнюю границу [math]\displaystyle{ \Omega(n) }[/math], например непустота (что следует из оптимальности алгоритма Гровера) и свойство содержать треугольник. Есть некоторые инварианты графа, для которых известно, что они имеют нижнюю границу [math]\displaystyle{ \Omega(n^{\tfrac{3}{2}}) }[/math], и даже есть свойства с нижней границей [math]\displaystyle{ \Omega(n^2) }[/math]. Например, монотонное свойство непланарности требует [math]\displaystyle{ \Theta(n{\tfrac{3}{2}}) }[/math] запросов[22], а монотонное свойства содержать более половины возможных рёбер (которое называется также мажоритарной функцией) требует [math]\displaystyle{ \Theta(n^2) }[/math] запросов[23].

Примечания

  1. ↑ 1,0 1,1 Rivest, Vuillemin, 1975.
  2. ↑ Rosenberg, 1973.
  3. ↑ Данное определение стока отличается от обычного определения стока. В данном определении предполагается, что все дуги графа входят в одну вершину (сток), а в обычном определении всего лишь предполагается, что из стока нет исходящих дуг (см. «Типы вершин графа»).
  4. ↑ 4,0 4,1 Best, van Emde Boas, Lenstra, 1974.
  5. ↑ Triesch, 1996.
  6. ↑ Kleitman, Kwiatkowski, 1980.
  7. ↑ 7,0 7,1 Kahn, Saks, Sturtevant, 1983.
  8. ↑ Korneffel, Triesch, 2010.
  9. ↑ Scheidweiler, Triesch, 2013.
  10. ↑ Lutz, 2001.
  11. ↑ Kozlov, 2008, с. 226-228.
  12. ↑ Yao, 1988.
  13. ↑ Chakrabarti, Khot, Shi, 2001.
  14. ↑ Yao, 1991.
  15. ↑ King, 1988.
  16. ↑ Hajnal, 1991.
  17. ↑ Chakrabarti, Khot, 2001.
  18. ↑ Friedgut, Kahn, Wigderson, 2002.
  19. ↑ O'Donnell, Saks, Schramm, Servedio, 2005.
  20. ↑ Gröger, 1992.
  21. ↑ Magniez, Santha, Szegedy, 2005.
  22. ↑ Ambainis, Iwama, Nakanishi, Nishimura и др., 2008.
  23. ↑ Beals, Buhrman, Cleve, Mosca, de Wolf, 2001.

Литература

Литература для дальнейшего чтения

Источник — https://xn--h1ajim.xn--p1ai/index.php?title=Гипотеза_Аандераа_—_Карпа_—_Розенберга&oldid=5866372