NP-промежуточное звено
- Задачи, относящиеся к классу сложности NP, но не относящиеся ни к классу P, ни к NP-полному, называются NP-промежуточными.
- Теорема Ладнера утверждает, что если P ∈ NP, то NPI не является пустым.
- Если проблемы с NPI существуют, то P ∈ NP, что означает, что P = NP только если NPI пуст.
- Некоторые «естественные» задачи могут иметь свойство NP-промежуточности, как теорема о дихотомии Шефера.
- Список проблем, которые могут быть NP-промежуточными, включает алгебру и теорию чисел, логическую логику, вычислительную геометрию и топологию, теорию игр и графовые алгоритмы.
Полный текст статьи: