単調回路のサイズの下限が一般的なブール回路にも適用されると仮定していますか?
-
29-09-2020 - |
質問
A "General" ブール値(コンビナトイラル)回路は、(ラベル:and、on、out、out、in、out)、指示された、非環式グラフです。
- ファンイン= 2、and and and on ode
- fan-n= NOTノード
- ファンイン= 0内のノードの場合
- fan-out= 0からまさに1つのノード(OUTノード)
- 残りのノード(ただしアウトノード)への無制限のファンアウト
モノトーン回路は、「ではない」と表示された0個の頂点を持つブール回路です。
回路のサイズは、「ゲート」(ラベル付きの頂点 "、" "、" "、" "" "、" "、" "、" "の数)です。
単調回路のサイズで多くの下限を知っています。一般的なブール回路(
私の質問は、単調な回路で証明されている下限が等価一般的なブール回路にも適用されていると仮定します(モノトーン機能を計算するため)、それを証明する方法がわからない;または、これらの下限が同等の一般的なブール回路には適用されないことを知っていますか?
後者の場合は、単調回路と一般的なブール回路の両方によって計算された単調関数の例を、一般的なブール回路よりも把持されているのに対して、Monotone回路と一般的なブール回路の一例で供給することができますか? (私はこのような例を求めて、私は何時間もなく、そのような例がないと信じています。)
解決
ÉvaTardosは、 $ n ^ {\ omega(\ log n)} $ 下限単調回路を計算します。存在します。
所属していません cs.stackexchange