Я думал, что поделюсь этим вопросом, так как он может быть интересен для других пользователей здесь.
Предположим, что функция из однородного класса (например, ) также входит в небольшой неоднородный класс (например, A C 0 / p o l y , т. Е. Неоднородный A C 0 ), означает ли это, что функция содержится в меньший однородный класс (как P )? Если ответ на этот вопрос положительный, каков наименьший однородный класс сложности, содержащий N P ∩ A C 0 / p o l y ? Если отрицательный, можем ли мы найти интересный естественный контрпример?
Содержится ли в P ?
Примечание: друг уже частично ответил на мой вопрос в автономном режиме, я добавлю его ответ, если он сам не добавит его.
Вопрос - моя вторая попытка формализовать следующий неформальный вопрос:
Может ли неравномерность помочь нам в вычислении естественных однородных задач?
Связанный:
Ответы:
Вот упрощение ответа Райана. Пусть . Определите язык L = { x : | х | ∈ Λ } . Предположение Л ∈ Н Е ∖ Е переводит к L ∈ N P ∖ P . Кроме того, тривиально L ∈ A C 0 / p o l y .Λ ∈ NЕ∖ E L = { x : | х | ∈ Λ } Λ ∈ NЕ∖ E L ∈ Nп∖ P L ∈ A C0/ Ролу
источник
Ответ на первый вопрос: кажется маловероятным.
Теорема: Если , то Н Е Х Р = Е Х Р .NP∩AC0/poly⊆P NEXP=EXP
Учитывая схему которая выводит бит, определите декомпрессию C как строку битов, полученную путем оценки C на всех возможных входах. То есть декомпрессия представляет собой C ( 0 n ) C ( 0 n - 1 1 ) C ( 0 n - 2 10 ) ⋯ C ( 1 n ) .C C C(0n)C(0n−11)C(0n−210)⋯C(1n)
Определите задачу Сукцинкт 3SAT следующим образом: для схемы размера n кодирует ли ее декомпрессия выполнимую булеву формулу?C n Известно, что сжатый 3SAT является полным комплектом NEXP
Теперь рассмотрим язык
{ 1 n | целое число n, записанное в двоичном виде, является экземпляром yes краткой 3SAT}.L= 1n| n
явно в A C 0 / р о л у , таквы можете просто жестко ли 1 н в L , для каждого п .L AC0/poly 1n L n
Ваш второй вопрос широко открыт (и открыт).
источник
На вопрос Каве "Может ли неравномерность помочь нам в вычислении естественных однородных задач?"
Ссылки:
источник