WikiDer > EXPTIME

EXPTIME
"EXP" перенаправляется сюда. Для использования в других целях см. Опыт.

В теория сложности вычислений, то класс сложности EXPTIME (иногда называют EXP или DEXPTIME) это набор из всех проблемы решения которые разрешимы детерминированная машина Тьюринга в экспоненциальное время, т.е. в О(2п(п)) время, где п(п) является полиномиальной функцией от п. EXPTIME - это один класс в экспоненциальная иерархия классов сложности со все более сложными оракулами или чередованиями кванторов. Например, класс 2-EXPTIME определяется аналогично EXPTIME, но с дважды экспоненциальный ограниченный по времени . Это можно обобщить на все более высокие временные рамки. EXPTIME также можно переформулировать как космический класс APSPACE, набор всех проблем, которые могут быть решены переменная машина Тьюринга в полиномиальном пространстве.

EXPTIME относится к другим базовым классам временной и пространственной сложности следующим образом: п ⊆ НП ⊆ PSPACE ⊆ EXPTIME ⊆ NEXPTIME ⊆ EXPSPACE. Более того, теорема об иерархии времени и теорема пространственной иерархии, известно, что P ⊊ EXPTIME, NP ⊊ NEXPTIME и PSPACE ⊊ EXPSPACE.

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

С точки зрения DTIME,

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

Известно, что

п ⊆ НП ⊆ PSPACE ⊆ EXPTIME ⊆ NEXPTIME ⊆ EXPSPACE

а также теорема об иерархии времени и теорема пространственной иерархии, это

P ⊊ EXPTIME, NP ⊊ NEXPTIME и PSPACE ⊊ EXPSPACE

В приведенных выше выражениях символ ⊆ означает «является подмножеством», а символ ⊊ означает «является строгим подмножеством».

поэтому по крайней мере одно из первых трех включений и по крайней мере одно из последних трех включений должно быть правильным, но неизвестно, какие именно. Большинство экспертов[кто?] считаю, что все включения правильные. Также известно, что если P = NP, тогда EXPTIME = NEXPTIME, класс задач, решаемых за экспоненциальное время недетерминированная машина Тьюринга.[1] Точнее, EXPTIME ≠ NEXPTIME тогда и только тогда, когда существуют редкие языки в НП что не в п.[2]

EXPTIME можно переформулировать как космический класс APSPACE, набор всех проблем, которые могут быть решены переменная машина Тьюринга в полиномиальном пространстве. Это один из способов увидеть, что PSPACE ⊆ EXPTIME, поскольку переменная машина Тьюринга по крайней мере так же мощна, как детерминированная машина Тьюринга.[3]

EXPTIME-завершено

Проблема решения является EXPTIME-завершенной, если она находится в EXPTIME и каждая проблема в EXPTIME имеет редукция "много-один" за полиномиальное время к нему. Другими словами, существует полиномиальное время алгоритм который преобразует экземпляры одного в экземпляры другого с тем же ответом. Проблемы, завершенные EXPTIME, можно рассматривать как самые сложные проблемы в EXPTIME. Обратите внимание, что хотя неизвестно, равно ли NP P, мы знаем, что EXPTIME-полные проблемы не находятся в P; доказано, что эти проблемы не могут быть решены в полиномиальное время, посредством теорема об иерархии времени.

В теория вычислимости, одной из основных неразрешимых проблем является проблема остановки: решая, есть ли детерминированная машина Тьюринга (DTM) останавливается. Одна из самых фундаментальных проблем EXPTIME-complete - это более простая версия этого, которая спрашивает, останавливается ли DTM самое большее. k шаги. Это в EXPTIME, потому что тривиальное моделирование требует O (k) время, а вход k кодируется с помощью O (log k) битов, что вызывает экспоненциальное число симуляций. Он является EXPTIME-полным, потому что, грубо говоря, мы можем использовать его, чтобы определить, принимает ли машина, решающая задачу EXPTIME, экспоненциальное количество шагов; он не будет использовать больше.[4] Та же проблема с количеством шагов, записанных в унарном языке: P-полный.

Другие примеры EXPTIME-полных задач включают в себя задачу оценки позиции в обобщенный шахматы,[5] шашки,[6] или Идти (с японскими правилами ко).[7] Эти игры могут быть завершены EXPTIME, потому что игры могут длиться в несколько ходов, которые экспоненциально зависят от размера доски. В примере Го японское правило ко достаточно трудноразрешимо, чтобы подразумевать полноту EXPTIME, но неизвестно, являются ли более гибкие американские или китайские правила игры полными EXPTIME.

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

Другой набор важных проблем EXPTIME-complete относится к сжатые схемы. Краткие схемы - это простые машины, используемые для описания некоторых графов в экспоненциально меньшем пространстве. Они принимают два номера вершины в качестве входных и выходных данных о том, есть ли между ними ребро. Для многих естественных P-полный проблемы с графом, где граф выражается в естественном представлении, таком как матрица смежностирешение той же проблемы на кратком представлении схемы является EXPTIME-полным, потому что входной сигнал экспоненциально меньше; но это требует нетривиального доказательства, поскольку краткие схемы могут описывать только подкласс графов.[8]

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

  1. ^ Христос Пападимитриу (1994). Вычислительная сложность. Эддисон-Уэсли. ISBN 0-201-53082-1. Раздел 20.1, с. 491.
  2. ^ Юрис Хартманис, Нил Иммерман, Вивиан Севельсон. «Редкие наборы в NP-P: EXPTIME против NEXPTIME». Информация и контроль, том 65, выпуск 2/3, стр 158–181. 1985 г. В цифровой библиотеке ACM
  3. ^ Пападимитриу (1994), раздел 20.1, следствие 3, стр. 495.
  4. ^ Ду, Дин-Чжу; Ко, Кер-И (2014), Теория вычислительной сложности, Wiley Series in Discrete Mathematics and Optimization (2-е изд.), John Wiley & Sons, Proposition 3.30, ISBN 9781118594971.
  5. ^ Авиезри Френкель и Д. Лихтенштейн (1981). «Вычисление идеальной стратегии для шахмат размером n × n требует экспоненциального времени от n». J. Comb. Чт. А (31): 199–214. Дои:10.1016/0097-3165(81)90016-9.
  6. ^ Дж. М. Робсон (1984). «N на N шашек - Exptime завершен». SIAM Журнал по вычислениям. 13 (2): 252–267. Дои:10.1137/0213018.
  7. ^ Дж. М. Робсон (1983). «Сложность го». Обработка информации; Материалы Конгресса ИФИП. С. 413–417.
  8. ^ Пападимитриу (1994), раздел 20.1, стр. 492.