С начала 70-х годов известно, что и не равны (потому что не является замкнутым в полиномиальном времени многих одно сокращение, в отличие от ). Однако, насколько мне известно, до сих пор не ясно, является ли один класс подмножеством другого, или они несопоставимы, то есть и оба непусты.
Вопрос: Какие (желательно естественные) проблемы являются кандидатами на участие в или , если предположить, что соответствующий набор не пуст? Меня особенно интересуют естественные проблемы внутри которые, вероятно, требуют экспоненциального времени с суперлинейным показателем, то есть они находятся в .
источник