boolean-functions पर टैग किए गए जवाब

वर्तमान में मैं जिस समस्या पर काम कर रहा हूं, उसमें शोर ऑपरेटर का एक विस्तार स्वाभाविक रूप से उठता है, और मैं उत्सुक था कि क्या पहले काम किया गया है। पहले मुझे असली-मूल्यवान बूलियन कार्यों पर मूल शोर ऑपरेटर को संशोधित करने दें । एक समारोह को देखते …

16 boolean-functions  fourier-analysis 

हम कहते हैं कि एक बूलियन फ़ंक्शन एक -junta है अगर में सबसे अधिक प्रभावित चर है।f : { 0 , 1 } n → { 0 , 1 } f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}k kkf ffkkk चलो एक हो -junta। द्वारा के चर को निरूपित करें । फिक्स स्पष्ट रूप …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

पीटीआईएम, या कोएनपी-हार्ड में निम्नलिखित समस्या है: दो बूलियन अभिव्यक्तियों को देखते हुए और को चर में , बिना नकार के (अर्थात, भाव पूरी तरह से और माध्यम से बनाए गए हैं )। यह तय करें कि क्या , कि वे चर के सभी असाइनमेंट के लिए समान मान रखते …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

रज़बोरोव-रूडीच के प्राकृतिक सबूत के पेपर, पृष्ठ 6 में, भाग में वे चर्चा करते हैं कि " मोनोटोन सर्किट मॉडल के खिलाफ मजबूत लोअरबाउंड सबूत हैं" और वे चित्र में कैसे फिट होते हैं, निम्नलिखित वाक्य हैं: यहाँ यह मुद्दा रचनात्मक नहीं है - इन साक्ष्यों में प्रयुक्त गुण सभी …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

एसएटी सॉल्वर एक क्वांटिफायर के साथ बूलियन फॉर्मूला की वैधता की जांच करने का एक शक्तिशाली तरीका देते हैं। उदाहरण के लिए, की वैधता की जांच करने के लिए , हम निर्धारित करने के लिए एक सैट solver उपयोग कर सकते हैं φ ( एक्स ) तृप्तियोग्य है। की वैधता …

15 ds.algorithms  lo.logic  sat  boolean-functions 

मैं अरोड़ा और बराक की कम्प्यूटेशनल जटिलता पुस्तक में एनईएक्सपी के लिए एसीसी निचले सीमा के बारे में परिशिष्ट पढ़ रहा हूं । http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf कुंजी lemmas में से एक से एक परिवर्तन है समतुल्य रूप polylogarithmic डिग्री और quasipolynomial गुणांक, या के साथ पूर्णांकों से अधिक multilinear बहुआयामी पद के …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

परिणाम 1: लिनिअल-मंसूर-निसान प्रमेय का कहना है कि सर्किट द्वारा गणना किए गए कार्यों का फूरियर वजन उच्च संभावना वाले छोटे आकार के सबसेट पर केंद्रित है।A सी0AC0\mathsf{AC}^0 परिणाम 2: का फूरियर भार, डिग्री n के सह-कुशल पर केंद्रित है ।P A R I T YPARITY\mathsf{PARITY}nnn प्रश्न: क्या 1 और …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi⁡[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf⁡[f]=defmini∈[n]Infi⁡[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. एक पैरामीटर को देखते हुए , हम में से प्रत्येक पर इसके मूल्य को चुनकर एक -random function चयन करते हैं, स्वतंत्र रूप से प्रायिकता साथ यादृच्छिक पर , और प्रायिकता । फिर, यह …

14 reference-request  pr.probability  boolean-functions 

चलो बहुमत समारोह, यानी होना च ( एक्स ) = 1 यदि और केवल यदि Σ n मैं = 1 एक्स मैं > n / 2 । मैं सोच रहा था कि क्या निम्न तथ्य का एक सरल प्रमाण था ("सरल" से मेरा मतलब है कि संभावनाशील विधि पर निर्भर …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

चलो की एक बूलियन समारोह होना n बूलियन चर। चलो जी ( x ) = टी ε ( च ) ( एक्स ) की उम्मीद मूल्य होना च ( y ) जब y से प्राप्त होता है एक्स प्रत्येक संभावना के साथ समन्वय स्थापित flipping द्वारा ε / 2 ।fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

यादृच्छिक प्रतिबंधों और स्विचिंग लेम्मा के आधार पर कई प्रसिद्ध सर्किट आकार कम-बाउंड परिणाम हैं ।A सी0AC0\mathsf{AC^0} क्या हम सर्किट के लिए निम्न आकार-बाउंड को सिद्ध करने के लिए एक स्विचिंग लेम्मा परिणाम विकसित कर सकते हैं ( लिए निम्न-बद्ध प्रमाण के समान )? A C 0टी सी0TC0\mathsf{TC^0}A सी0AC0\mathsf{AC^0} या …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

पृष्ठभूमि: मशीन लर्निंग में, हम अक्सर उच्च आयामी संभावना घनत्व कार्यों का प्रतिनिधित्व करने के लिए चित्रमय मॉडल के साथ काम करते हैं। यदि हम उस अवरोध को त्याग देते हैं जो एक घनत्व 1 को एकीकृत (sums) करता है, तो हमें एक असामान्य ग्राफ़-संरचित ऊर्जा फ़ंक्शन मिलता है । …

13 reference-request  machine-learning  lg.learning  boolean-functions 

चलो संवेदनशीलता के साथ एक बूलियन समारोह हो और ब्लॉक संवेदनशीलता ।s ( f ) b s ( f )चचfs ( च)रों(च)s(f)b s ( f)खरों(च)bs(f) संवेदनशीलता-ब्लॉक संवेदनशीलता अनुमान अनुमान बताता है कि एक ऐसा है कि ।∀ च , ख रों ( च ) ≤ रों ( च ) गग …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

हम एक समारोह है कहो च: Zn2→ आरच:जेड2n→आरf:\mathbb{Z}_2^n \to \mathbb{R} , ऐसी है कि Σx ∈ जेडn2च( x )2= 1Σएक्स∈जेड2nच(एक्स)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (ताकि हम सोच सकते हैं { च( x )2}x ∈ जेडn2{च(एक्स)2}एक्स∈जेड2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n} एक वितरण के रूप में) । यह इस प्रकार है के …

12 it.information-theory  boolean-functions  fourier-analysis 

यहां जुंटा सीखने के समान स्वाद के साथ एक समस्या है: इनपुट: एक फंक्शन च: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , एक सदस्यता ओरेकल द्वारा प्रतिनिधित्व किया जाता है, यानी एक ओरेकल जो दिया गया है एक्सxx, रिटर्न च( x )f(x)f(x) …

11 machine-learning  lg.learning  boolean-functions  sample-complexity