Предположение о расчетной твердости
-
Основы теории сложности вычислений
- Теория сложности вычислений изучает вычислительные задачи и их сложность.
- Сложность задач может быть измерена в терминах времени, пространства или ресурсов.
-
Вычислительная сложность
- Задачи классифицируются как P, NP, PSPACE, EXPTIME и другие.
- NP-трудные задачи считаются сложными и требуют экспоненциального времени для решения.
-
Допущения о вычислительной сложности
- Допущения о вычислительной сложности используются для доказательства теорем и решения задач.
- Примеры включают гипотезу о том, что P ≠ NP, и гипотезу экспоненциального времени.
-
Допущения о некриптографической надежности
- Допущения о некриптографической надежности используются для доказательства теорем в теории сложности вычислений.
- Примеры включают предположение о том, что P ∈ NP.
-
C-сложные задачи
- C-сложные задачи являются сложными для определенного класса сложности C.
- Гипотеза экспоненциального времени и ее варианты являются примерами C-сложных задач.
-
Уникальные игры и гипотеза расширения малого набора
- Уникальные игры и гипотеза расширения малого набора связаны с задачами удовлетворения ограничений.
- Гипотеза расширения малого набора является более сильным предположением, чем гипотеза уникальной игры.
-
Гипотеза 3SUM
- Гипотеза 3SUM касается задачи нахождения тройки чисел с нулевой суммой.
- Эта гипотеза полезна для доказательства нижних границ сложности задач в вычислительной геометрии.