Классы случайности и сложности малых схем

10

Пусть некоторый класс сложности и BP- C быть рандомизированное аналог C определяется как БПП по отношению к P . Более формально мы предоставляем полиномиально много случайных битов и принимаем входные данные, если вероятность принять больше 2CBP-CCBPPP .23

Известно, что для класса неоднородных цепей :BPAC0знак равнопеременный ток0

Миклош Айтай, Майкл Бен-Ор: теорема о вероятностных вычислениях постоянной глубины STOC 1984: 471-474

Известны ли обобщения этой теоремы? Например, знаем ли мы, что (все еще в неоднородной настройке)? Этот последний вопрос , кажется , как - то нетривиально мне так кажется правдоподобным , что, например , s , т -связности в BPNC 1 .ВпNС1знак равноNС1s,T-связностиBPNC1

Соответствующий пост на эту тему: /mathpro/35184/use-of-randomness-in-constant-parallel-time

CP
источник
2
Что заставляет вас задуматься о подключении?
Михаэль Кадилхак
4
Вы спрашиваете о единообразных классах цепей? Совершенно очевидно, что неоднородные классы типа замкнуты относительно оператора BP. NС1
Эмиль Йержабек
8
Просто используйте тот же аргумент, что и для P / poly. Вам нужна только мажоритарная функция, которая определяется в . (Айтаю и Бен-Ору нужно больше работать, так как большинство не доступно в A C 0. )TС0NС1AС0
Эмиль Йержабек
1
@ EmilJeřábek Вы совершенно правы. Для каждого не-unifom класса схемы выше мы имеем BP - C = C . Большое спасибо. TC0BP-Сзнак равноС
СР
1
@ EmilJeřábek: Ах, я вижу. Я думаю, что это граница; это, очевидно, не вопрос исследования , но он был задан всерьез кем-то, имеющим сложный исследовательский опыт, который был просто введен в заблуждение, пытаясь расширить Аджтай-Бен-Ор, а не использовать более простой подход.
Джошуа

Ответы:

10

Большинство классов неоднородной сложности, в том числе , закрываются под оператором B P тем же аргументом, что и B P P P / p o l y : используя границу Черноффа – Хеффдинга, вероятность ошибки может быть уменьшена ниже 2 - n путем запуска O ( n ) экземпляров схемы с независимыми случайными битами параллельно и получения большинства голосов; затем по границе объединения последовательность случайных битов дает правильный результат для всех 2 n входов длины nNС1ВпВппп/поLY2-NО(N) 2NNодновременно с ненулевой вероятностью и, в частности, существует такая последовательность. Мы можем встроить его в схему.

Этот аргумент применяется к любому классу цепей, который замкнут при взятии большинства параллельных копий схемы и фиксации входных вентилей к константам. На практике это означает любой приличный неоднородный класс выше T C 0 , так как большинство вычислимо в T C 0 .О(N)TС0TС0

Доказательство более сложное для , потому что этот класс не вычисляет мажоритарную функцию. (Хотя я не видел бумаги Ajtai и Ben-Or, я предполагаю, что они используют какое-то приблизительное большинство.)AС0

Эмиль Йержабек
источник