Take the 2-minute tour ×
Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It's 100% free, no registration required.

I have a question about a answer of a question which is proposed in this stack exchange.

The Past Question

One of the most basic result in circuit complexity is the constnat depth cirdcuit lower bound computing PARITY function using the switching lemma.

Another popular function MAJORITY has also lower bound $exp (\Omega (n^{1/(d-1)}))$ and matching upper bound $exp (O (n^{2/(d-1)}))$.

My question is about upper bound of Threshold function which is a natural generalization of majority function.

The formal definition of the threshold function is the following one.

DEFINITION:

$THR(x_{1},...,x_{n})= \begin{cases} 1 & a_{1}x_{1}+\cdots +a_{n}x_{n} \geq t \\ 0 & otherwise \end{cases} $

We assume that each weight $a_{i} \in \mathbb{Z}$ is at most $2^{O(n)}$

QUESTION1: The depth $d$ circuit with unbounded fanin AND OR NOT gates to compute the above function has size $2^{n^{\epsilon}}$ ?

Where $\epsilon $ can depend on $d$ like $2^{n^{1/100d}}$ .

Answer

Kristoffer Arnsfelt Hansen said that:

1.$General$ $weight$ $threshold$ $gates$ can be computed by polynomial size depth 2 circuits built from $majority$ $gates$. An efficient construction of this is e.g. given by Amano and Maruoka. Then you can just compute each of these by constant depth circuits built from AND and OR gates.

My Question

$majority$ $gates$ is a monotone gate which is computes a monotone function. A monotone functin does not decreace its function value by increasing the number of "1"s in the input 0-1 bit string. However, $General$ $weight$ $threshold$ $gates$ is NOT a monotone function. For example, we can check the function which output 1 if and only if $2x_{1} -5x_{2} + 3x_{3} \geq 3.5$ is not a monotone function because increasing the value of $x_{2}$ brokes the monotone property.

My question is :

For a givern arbitrary threshold function $THR:\{0,1\}^{n}\rightarrow \{0,1\}$ with arbitrary real number weights and with no monotonicity, can we construct a constant depth circuit with $poly(n)$ threshold gates such that for any gate, any weight of the gate is integer number and is at most $poly(\Delta) $, where $\Delta$ is fan-in of the gate?

share|improve this question
1  
In my answer you refer to, when talking about depth 2 circuits built from majority gates I am assuming that inputs to the circuit can be both unnegated as well as negated variables. –  Kristoffer Arnsfelt Hansen Jan 17 '13 at 16:37
1  
Another related paper that shows that big weights are required (for one thr): nada.kth.se/~johanh/threshweights.pdf –  domotorp Jan 18 '13 at 10:33

1 Answer 1

If I understand your question correctly the answer is yes. In the paper

"Majority Gates Vs. General Weighted Threshold Gates" (http://www.nada.kth.se/~johanh/majorityvsthreshold.pdf) by Goldman, Håstad, and Razborov

They show that anything that can be computed by a depth $d$ threshold circuit can be computed by a depth $d+1$ unweighted threshold circuit of poly size.

Your question seems to be a special case of this for $d=1$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.