formulas पर टैग किए गए जवाब

चलो एक डिग्री हो में बहुपद से अधिक चर , जहां निरंतर (कहते हैं कि 2 या 3) है। मैं के लिए छोटी से छोटी सूत्र खोजने के लिए चाहते हैं , जहां "सूत्र" और "सूत्र आकार" स्पष्ट तरीके से परिभाषित कर रहे हैं (उदाहरण के लिए। बहुपद के लिए …

28 cc.complexity-theory  formulas 

सवाल: एसी 0 में स्पष्ट कार्य के लिए सबसे अच्छा ज्ञात सूत्र आकार निम्न है ? वहाँ एक स्पष्ट समारोह के साथ एक कम बाध्य है?Ω ( एन2)Ω(n2)\Omega(n^2) पृष्ठभूमि: अधिकांश निचली सीमाओं की तरह, सूत्र आकार की निचली सीमाएँ मुश्किल से आती हैं। मुझे मानक यूनिवर्सल गेट सेट {AND, OR, …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

बता दें कि वेरिएबल और क्लॉस के साथ एक संतोषजनक CNF फॉर्मूला है । चलो का समाधान स्थान होना ।F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 निर्धारित करने की समस्या को देखते हुए विचार करें , एक और CNF फॉर्मूला के रूप में चर के एक ही सेट के साथ , साथ (के रूप में ही …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

पृष्ठभूमि फाटकों के एक सेट पर एक बार पढ़ा जाने वाला सूत्र (जिसे एक आधार भी कहा जाता है) एक ऐसा सूत्र है जिसमें प्रत्येक इनपुट चर एक बार दिखाई देता है। डी-मॉर्गन आधार (जिसमें 2-बिट गेट्स और OR हैं, और 1-बिट गेट नहीं) और पूर्ण बाइनरी बेस (जिसमें सभी …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

मैं बहुत विशिष्ट होना चाहता हूं। क्या किसी को डिसप्रिन का पता है या निम्नलिखित प्रस्ताव का प्रमाण है: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

N वैरिएबल ( ) पर m शब्दों वाला एक मोनोटोन CNF फॉर्मूला फॉर्म f ( x 1 , … , x n ) = i C i का एक सूत्र है , जहाँ प्रत्येक C i कुछ उपसमूह का एक OR है। की चर x 1 , ... , x …

10 cc.complexity-theory  circuit-complexity  formulas