Низкие и высокие иерархии - Low and high hierarchies

в теория сложности вычислений, то низкая иерархия и высокая иерархия уровней сложности были введены в 1983 г. Уве Шёнинг описать внутреннюю структуру класс сложности NP.[1] Низкая иерархия начинается с класс сложности P и растет «вверх», в то время как высокая иерархия начинается с класса NP и растет «вниз». [2]

Позже эти иерархии были расширены на множества вне NP.

Структура высоких / низких иерархий имеет смысл только при условии, что P не NP. С другой стороны, если нижняя иерархия состоит как минимум из двух уровней, то P не является NP.[3]

Неизвестно, покрывают ли эти иерархии все НП.

Рекомендации

  1. ^ Уве Шёнинг (1983). «Низкая и высокая иерархия внутри НП». J. Comput. Syst. Наука. 27 (1): 14–28. Дои:10.1016/0022-0000(83)90027-2.
  2. ^ «Теория сложности и криптология», Йорг Роте п. 232
  3. ^ Лейн А. Хемаспандра, "Низость: мерило НП-П", Новости ACM SIGACT, 1993, т. 24, No. 2, pp. 11-14. Дои:10.1145/156063.156064