<p>Consider a Boolean circuit over a basis <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\{ \wedge , \vee , \lnot \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">{</mo> <mo>∧</mo> <mo>,</mo> <mo>∨</mo> <mo>,</mo> <mo>¬</mo> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\wedge \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>∧</mo> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\vee \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>∨</mo> </math></EquationSource> </InlineEquation> are the conjunction of unbounded fan-in and disjunction of unbounded fan-in, respectively, and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\lnot \)</EquationSource> <EquationSource Format="MATHML"><math> <mo>¬</mo> </math></EquationSource> </InlineEquation> is the negation. The energy complexity of a circuit is defined as the number of gates outputting ones in the circuit, where the maximum is taken over all the input assignments. We prove that the number of output patterns (the set of possible outputs of all the internal gates in the circuit) in a circuit of energy <i>e</i> is at most <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(2^{e \log e + 4e}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mrow> <mi>e</mi> <mo>log</mo> <mi>e</mi> <mo>+</mo> <mn>4</mn> <mi>e</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> vastly improving the trivial bound of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sum _{i=0}^e {s \atopwithdelims ()i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>0</mn> </mrow> <mi>e</mi> </msubsup> <mfenced close=")" open="("> <mfrac linethickness="0pt"> <mi>s</mi> <mi>i</mi> </mfrac> </mfenced> </mrow> </math></EquationSource> </InlineEquation>. where <i>s</i> is the size of the circuit, which contrasts with our observation that a threshold circuit achieves the trivial bound. Building on this tool, we prove the following three applications: (i) Any Boolean circuit <i>C</i> of energy <i>e</i> can be converted to a depth-3 circuit of size <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(s2^{e\log e + 4e}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <msup> <mn>2</mn> <mrow> <mi>e</mi> <mo>log</mo> <mi>e</mi> <mo>+</mo> <mn>4</mn> <mi>e</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. (ii) The problem of counting output patterns of a given circuit is known to be <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\#\textrm{P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>#</mo> <mtext>P</mtext> </mrow> </math></EquationSource> </InlineEquation>-complete in general, but is fixed-parameter tractable when parameterized by energy <i>e</i> (over the basis <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathcal {B}_2 = \{\wedge _2,\vee _2,\lnot \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">B</mi> <mn>2</mn> </msub> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <msub> <mo>∧</mo> <mn>2</mn> </msub> <mo>,</mo> <msub> <mo>∨</mo> <mn>2</mn> </msub> <mo>,</mo> <mo>¬</mo> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>). We also show other FPT algorithms; (iii) If a function <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(f:\{0,1\}^n \times \{0,1\}^n \rightarrow \{0,1\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <msup> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mi>n</mi> </msup> <mo>×</mo> <msup> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> <mi>n</mi> </msup> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is computed by a circuit of energy <i>e</i>, then the unbounded-error communication complexity <i>U</i>(<i>f</i>) is at most <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(O(e \log e)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>e</mi> <mo>log</mo> <mi>e</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Upper bound for output patterns of energy-bounded boolean circuits, and its applications

  • Jayalal Sarma,
  • Kei Uchizawa

摘要

Consider a Boolean circuit over a basis \(\{ \wedge , \vee , \lnot \}\) { , , ¬ } , where \(\wedge \) and \(\vee \) are the conjunction of unbounded fan-in and disjunction of unbounded fan-in, respectively, and \(\lnot \) ¬ is the negation. The energy complexity of a circuit is defined as the number of gates outputting ones in the circuit, where the maximum is taken over all the input assignments. We prove that the number of output patterns (the set of possible outputs of all the internal gates in the circuit) in a circuit of energy e is at most \(2^{e \log e + 4e}\) 2 e log e + 4 e vastly improving the trivial bound of \(\sum _{i=0}^e {s \atopwithdelims ()i}\) i = 0 e s i . where s is the size of the circuit, which contrasts with our observation that a threshold circuit achieves the trivial bound. Building on this tool, we prove the following three applications: (i) Any Boolean circuit C of energy e can be converted to a depth-3 circuit of size \(s2^{e\log e + 4e}\) s 2 e log e + 4 e . (ii) The problem of counting output patterns of a given circuit is known to be \(\#\textrm{P}\) # P -complete in general, but is fixed-parameter tractable when parameterized by energy e (over the basis \(\mathcal {B}_2 = \{\wedge _2,\vee _2,\lnot \}\) B 2 = { 2 , 2 , ¬ } ). We also show other FPT algorithms; (iii) If a function \(f:\{0,1\}^n \times \{0,1\}^n \rightarrow \{0,1\}\) f : { 0 , 1 } n × { 0 , 1 } n { 0 , 1 } is computed by a circuit of energy e, then the unbounded-error communication complexity U(f) is at most \(O(e \log e)\) O ( e log e ) .