Знаем ли мы, что иерархия не разрушается ( T C 0 d ⊊ T C 0 d + 1 для всех d )?
В записи Zoo для упоминается только расстояние между глубиной 2 и 3.
Кроме того, есть стандартная ссылка на тот факт , что С 0 д иерархия не разрушается?
Знаем ли мы, что иерархия не разрушается ( T C 0 d ⊊ T C 0 d + 1 для всех d )?
В записи Zoo для упоминается только расстояние между глубиной 2 и 3.
Кроме того, есть стандартная ссылка на тот факт , что С 0 д иерархия не разрушается?
Ответы:
Мы не знаем хороших нижних границ (то есть, скажем, суперполиномиальной нижней границы для языка в ) для пороговых контуров глубины 2 (неограниченные веса). Контуры глубины 3, построенные из мажорных ворот, то есть T C 0 3, содержат этот класс, и поэтому мы также не знаем хороших нижних границ для этого класса.NEXP TC03
источник
источник