Разрушается ли иерархия

12

Знаем ли мы, что иерархия не разрушается ( T C 0 dT C 0 d + 1 для всех d )?TC0TCd0TCd+10d

В записи Zoo для TC0 упоминается только расстояние между глубиной 2 и 3.

Кроме того, есть стандартная ссылка на тот факт , что С 0 д иерархия не разрушается?ACd0

Кава
источник
1
С этим связан вопрос: сколько различных функций существует в / T C 0 d ? Разумная нижняя граница для этих величин ответит на ваши вопросы. Также доказательство тесноты леммы о переключении Хастада, возможно, ответит на ваш второй вопрос. ACd0TCd0
MCH
4
Что касается второго вопроса, я полагаю, что он был впервые доказан в статье Сипсера STOC '83 "Борелевские множества и сложность схем" . Это дает только суперполиномиальные нижние границы. Первые экспоненциальные нижние оценки были даны Яо, а затем улучшены Хостадом.
Робин Котари
@ MCH, ты хотел написать ? Или вы имеете в виду число классов эквивалентности задач в T C 0 d относительно A C 0 d сокращений? TCd0/ACd0TCd0ACd0
Каве
2
То, что я имею в виду, очень просто: сколько различных функций может представлять класс цепей размера s ? (Мы можем очень легко оценить количество цепей, но мы должны быть осторожны, чтобы некоторые из них могли вычислять одну и ту же функцию.) Как только вы покажете, что это количество растет с d , все готово. ACd0sd
MCH
2
@Dilworth, неоднородный. Кажется, что подсчет не работает, в противном случае, как я отметил ниже, мы могли бы затем отделить от N C 1, который является открытым. TC0NC1
Каве

Ответы:

15

Мы не знаем хороших нижних границ (то есть, скажем, суперполиномиальной нижней границы для языка в ) для пороговых контуров глубины 2 (неограниченные веса). Контуры глубины 3, построенные из мажорных ворот, то есть T C 0 3, содержат этот класс, и поэтому мы также не знаем хороших нижних границ для этого класса.NEXPTC30

Кристоффер Арнсфельт Хансен
источник
Это отвечает на мой вопрос. Спасибо, Кристоффер.
Каве
200
20
1
@ Дилворт, я думаю, это потому, что он определяется с использованием большинства, а не порога.
Каве
Хм .. что ты имеешь в виду именно? Связано ли это с запиской Кристоффера о «неограниченных весах»?
Дилворт
12

TCd0NC1TC0

BFEBFENC1AC0

BFENC1AC20

NC1=TC0BFETCd0dNC1TCd+20TC0TCd+20

d

TC0TCd0NC1TCd+20BFETCd0

Кава
источник