क्या Linial-Mansour-Nisan प्रमेय और


14

परिणाम 1: लिनिअल-मंसूर-निसान प्रमेय का कहना है कि सर्किट द्वारा गणना किए गए कार्यों का फूरियर वजन उच्च संभावना वाले छोटे आकार के सबसेट पर केंद्रित है।AC0

परिणाम 2: का फूरियर भार, डिग्री n के सह-कुशल पर केंद्रित है ।PARITYn

प्रश्न: क्या 1 और 2 परिणामों के माध्यम से / उपयोग करके A C 0 सर्किट द्वारा को सिद्ध करने का कोई तरीका नहीं है ?PARITYAC0


7
यह Linial-Mansour-Nisan प्रमेय का एक स्पष्ट अनुप्रयोग नहीं है? एलएमएन प्रमेय कैसे साबित होता है (विशेष रूप से, क्या यह संभाव्य तर्क से सिद्ध होता है या नहीं) अप्रासंगिक है।
त्सुयोशी इतो

3
उसी समय, लिनियल-मंसूर-निसान प्रमेय को हस्ताद प्रमेय मानकर साबित नहीं हुआ है? यह मुझे एक कुत्ते की तरह अपनी पूंछ का पीछा करते हुए दिखता है ...
एलेसेंड्रो कोसेंटीनो

3
यह है कि AC0 सर्किट के आकार पर निचली बाउंडिंग समरूपता को रयान ओ'डॉनेल के नोट्स में प्राप्त किया गया है । कोरोलरी 32 देखें।
शाशो निकोलेव

5
मुझे लगता है कि अधिक दिलचस्प सवाल आपकी टिप्पणी में है: प्रत्येक फ़ंक्शन है जिसका फूरियर स्पेक्ट्रम छोटे-आकार के AC0 सर्किट द्वारा गणना किए गए निम्न-स्तरीय गुणांक पर केंद्रित है।
Sasho निकोलोव

7
@Strattav तब आप यह सवाल पूछ सकते हैं।
टायसन विलियम्स

जवाबों:


11

LMN प्रमेय से पता चलता है कि यदि f एक बूलियन फंक्शन है M के AC 0 सर्किट द्वारा गणना की जा सकती है ।(f:{1,1}n{1,1})AC0

S:|S|>kf^(S)22Ω(k/(logM)d1)

f^([n])22Ω(n/(logM)d1)

|f^([n])|2Ω(n/(logM)d1)

कुछ भी नहीं लेकिन समता समारोह के साथ च का संबंध है ( Π n मैं = 1 एक्स मैं ) । चलो δ आदानों की अंश हो जहां से भिन्न पी आर मैं टी वाई|f^([n])|(i=1nxi)δfPARITY

12δ|12δ|=|f^([n])|2Ω(n/(logM)d1)δ12Ω(n/(logM)d1)

poly(n)fPARITY

δ12n2n2(cn/(logM)d1)(logM)d1(c1)nM2Ω(n1/d1)

PARITYAC0PARITYAC0

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.