Вопросы с тегом «separation»

1
Oracle, относительно которого не содержится в
Зоология сложности Грега Куперберга утверждает, что существует такой язык XXX , что BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - другими словами, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - но не дает ссылку на этот результат. Почему это так? Или где найти доказательство? Этот вопрос частично мотивирован моим ответом на вопрос «Что известно о интерактивных доказательствах …
1
Можно ли использовать описательную версию сложности теоремы Райса для разделения AC0 и PSPACE?
В этом вопросе было отмечено, что существуют версии описательной сложности теоремы Райса. Я нашел доказательство следующей теоремы: Учитывая класс сложности C , нетривиальные свойства языков в C не могут быть вычислены в C Ранее я опубликовал найденное мной доказательство, но поскольку оно было очень длинным и в комментариях было указано, …
3
Явное разделение между конструктивностью во времени и конструктивностью в пространстве?
Покажите функцию которая конструируется в пространстве, но не является временной.е( н )е(N)f(n) Связана ли эта проблема с возможным разделением между классами сложности DTIME (f (n)) и SPACE (f (n))?
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.