В нашей недавней работе мы решили вычислительную проблему, возникшую в комбинаторном контексте, исходя из предположения, что , где - это -версия . Единственной найденной нами статьей о была статья Бейгеля-Бурмана-Фортнау 1998 года , в которой упоминается комплексный зоопарк . Мы понимаем, что можем взять версии задач (см. Этот вопрос ), но, возможно, многие из них на самом деле не являются полными в .
ВОПРОС: Есть ли причины сложности полагать, что ? Существуют ли естественные комбинаторные задачи, полные в \ mathsf {\ oplus {} EXP} ? Есть ли какие-то ссылки, которые мы могли бы пропустить?
Ответы:
С точки зрения сложности (а не полных задач): Теорема Хартманиса-Иммермана-Севельсона также должна работать в этом контексте, а именно: если существует полиномиально разреженное множество в . Учитывая, как далеко друг от друга мы думаем, и - например, Тода показал, что - это будет быть весьма удивительным, если бы в их разнице не было редких множеств.EXP≠⊕EXP ⊕P∖P P ⊕P PH⊆BPP⊕P
Точнее, если бы в их разнице не было разреженных множеств, было бы сказано, что для каждого верификатора , если число строк длины с нечетным числом свидетелей ограничено , тогда проблема [определения наличия нечетного числа свидетелей] должна быть в . Это кажется поразительным и маловероятным фактом. н н О ( 1 ) ПNP n nO(1) P
источник