ВРЕМЯ ОЖИДАНИЯ
-
Определение и иерархия сложности
- EXPTIME — класс задач, решаемых детерминированной машиной Тьюринга за экспоненциальное время.
- EXPTIME является частью экспоненциальной иерархии сложности с более сложными оракулами.
- Существуют более высокие временные рамки, такие как 2-EXPTIME, которые также могут быть решены экспоненциально.
-
Связь с другими классами сложности
- EXPTIME соотносится с PSPACE, NP, NEXPTIME и EXPSPACE, образуя иерархию.
- Если P = NP, то EXPTIME = NEXPTIME.
- EXPTIME может быть переформулирован как класс пространства APSPACE.
-
Задачи, завершенные за время EXPTIME
- Задачи в EXPTIME имеют полиномиальное сокращение за полиномиальное время.
- Задачи с полным временем выполнения не находятся в P, что доказано теоремой об иерархии времени.
- Проблема остановки является одной из основных неразрешимых задач в теории вычислимости.
-
Примеры задач, требующих времени выполнения
- Задачи оценки позиции в играх, таких как шахматы, шашки и Го, могут быть завершены за время.
- Обобщенные игры, такие как Го, могут быть завершены по времени, но правила игры могут варьироваться.
- Задачи, связанные с короткими схемами, могут быть решены за короткое время, но требуют нетривиального доказательства.
Полный текст статьи: