DOI

We study the following computational problem: for which values of k, the majority of n bits MAJn can be computed with a depth two formula whose each gate computes a majority function of at most k bits? The corresponding computational model is denoted by MAJk o MAJk. We observe that the minimum value of k for which there exists a MAJk o MAJk circuit that has high correlation with the majority of n bits is equal to Θ(n1/2). We then show that for a randomized MAJk o MAJk circuit computing the majority of n input bits with high probability for every input, the minimum value of k is equal to n2/3+o(1). We show a worst case lower bound: if a MAJk o MAJk circuit computes the majority of n bits correctly on all inputs, then k ≥ n13/19+o(1). This lower bound exceeds the optimal value for randomized circuits and thus is unreachable for pure randomized techniques. For depth 3 circuits we show that a circuit with k = O(n2/3) can compute MAJn correctly on all inputs.

Язык оригиналаанглийский
Название основной публикации34th Symposium on Theoretical Aspects of Computer Science, STACS 2017
РедакторыBrigitte Vallee, Heribert Vollmer
ИздательDagstuhl Publishing
ISBN (электронное издание)9783959770286
DOI
СостояниеОпубликовано - 1 мар 2017
Событие34th Symposium on Theoretical Aspects of Computer Science, STACS 2017 - Hannover, Германия
Продолжительность: 8 мар 2017 → 11 мар 2017

Серия публикаций

НазваниеLeibniz International Proceedings in Informatics, LIPIcs
Том66
ISSN (печатное издание)1868-8969

конференция

конференция34th Symposium on Theoretical Aspects of Computer Science, STACS 2017
Страна/TерриторияГермания
ГородHannover
Период8/03/17 → 11/03/17

    Предметные области Scopus

  • Программный продукт

ID: 49820870