arithmetic-circuits पर टैग किए गए जवाब

आज्ञा देना निश्चित सकारात्मक पूर्णांक आकार बिट्स।AAAnnn इस पूर्णांक को पूर्व-संसाधित करने के लिए एक को उपयुक्त माना जाता है। आकार बिट्स के एक और सकारात्मक पूर्णांक को देखते हुए , गुणा की जटिलता क्या है ?BBBmmmABABAB ध्यान दें कि हमारे पास पहले से ही एल्गोरिदम है। यहाँ प्रश्न यह …

35 cc.complexity-theory  ds.algorithms  circuit-complexity  algebraic-complexity  arithmetic-circuits 

एक बहुपद एक है एक लय प्रक्षेपण एक बहुपद के ग्राम ( y 1 , ... , y मीटर ) यदि मीटर = पाली ( एन ) , और वहाँ एक काम है π : { y 1 , ... , y m } → { x 1 , …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

गहराई -3 परिणाम पर हालिया चैस के प्रकाश में (जो अन्य बातों के अलावा गहराई -3 अंकगणित सर्किट के लिए निर्धारक से अधिक के लिए ), मेरे पास निम्नलिखित प्रश्न हैं: ग्रिगोरिएव और करपिंस्की ने साबित किया, जो किसी भी गहराई -3 अंकगणितीय सर्किट के लिए कम बाध्य है, जो …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

सामान्य अंकगणित सर्किट के बारे में हमारे ज्ञान की स्थिति बूलियन सर्किट के बारे में हमारे ज्ञान की स्थिति के समान प्रतीत होती है, अर्थात हमारे पास कम निचले सीमा नहीं हैं। दूसरी ओर हमारे पास मोनोटोन बूलियन सर्किट के लिए घातीय आकार के निचले हिस्से हैं । हम मोनोटोन …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

जब 000 - 111 इनपुट तक सीमित है , तो हर { + , × }{+,×}\{+,\times\} -circuit F ( x 1 , … , x n )F(x1,…,xn)F(x_1,\ldots,x_n) कुछ फ़ंक्शन F : { 0 , 1 } n → N की गणना करता है F:{0,1}n→NF:\{0,1\}^n\to \mathbb{N}। बूलियन फ़ंक्शन प्राप्त करने के …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

यदि कम्प्यूटेशनल संख्या तर्कसंगत या पूर्णांक है, तो क्या यह एल्गोरिदमिक रूप से परीक्षण करना संभव है? दूसरे शब्दों में, क्या यह एक पुस्तकालय के लिए संभव होगा जो कार्यों को प्रदान करने के लिए कम्प्यूटेशनल संख्याओं को लागू करता है isIntegerया isRational? मैं अनुमान लगा रहा हूं कि यह …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

हर एक मोनोटोन अंकगणित सर्किट , यानी एक -सर्किट, कुछ बहुभिन्नरूपी बहुपद गणना nonnegative पूर्णांक गुणांक के साथ करता है। एक बहुपद , सर्किट को देखते हुए F ( x 1 , … , x n ) f ( x 1 , … , x n ){+,×}{+,×}\{+,\times\}F(x1,…,xn)एफ(एक्स1,...,एक्सn)F(x_1,\ldots,x_n)f(x1,…,xn)च(एक्स1,...,एक्सn)f(x_1,\ldots,x_n) गणना करता अगर …

15 circuit-complexity  lower-bounds  arithmetic-circuits  cc-complexity-theory 

BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} (max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) को एक सेमिनार होने दें । में बहुपद के अनुक्रम का एक शून्य प्रतिमान एक उप- , जिसके लिए मौजूद है और ऐसा है कि सभी के लिए , iff । यही है, साथ बिल्कुल उन बहुपद के ग्राफ को में बिंदु को हिट करना होगा । ("शून्य-पैटर्न" …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

kkk वें प्राथमिक सममित बहुपद Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) सभी का योग है के उत्पादों अलग चर। मुझे इस बहुपद के मोनोटोन अंकगणित सर्किट जटिलता में दिलचस्पी है । एक साधारण गतिशील प्रोग्रामिंग एल्गोरिथ्म (साथ ही नीचे छवि 1) फाटकों के साथ एक सर्किट देता है ।(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) प्रश्न: क्या की निचली सीमा ज्ञात …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

मैं बीजीय एल्गोरिदम और जटिलता के बारे में सीखना चाहता हूं। विशेष रूप से, मुझे पीआईटी में दिलचस्पी है। क्या उन छात्रों के लिए व्याख्यान नोट्स, किताबें, पेपर और सर्वेक्षण का एक सेट है, जिन्होंने सिद्धांत के बारे में मानक पाठ्यपुस्तक पढ़ी है जैसे कि Sipser की पुस्तक या अरोड़ा-बराक …

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

, O के परिवार ( लॉग i n ) के सर्किट द्वारा अनबाउंड-फैनिन या बाउंड-फैनिन और गेट्स वालेपरिवार की समस्याओं का हल है। नकारात्मक को केवल इनपुट स्तर पर अनुमति दी जाती है। यह ज्ञात है कि एस ए सी मैं के लिए मैं ≥ 1 पूरक और के तहत …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

एक बूलियन सर्किट के ट्रेविडेथ की बात कर सकता है , इसे तारों (कोने) पर "नैतिक" ग्राफ के ट्रेविद के रूप में परिभाषित करता है जो निम्नानुसार प्राप्त होता है: तारों को aaa और bbb कनेक्ट करें जब भी bbbaaa इनपुट के रूप में गेट के आउटपुट (या) विपरीतता से); …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Adleman 1978 में पता चला है कि : एक बूलियन समारोह अगर की चर आकार के एक संभाव्य बूलियन सर्किट से गणना की जा सकती , तो भी एक नियतात्मक द्वारा गणना की जा सकती और में आकार बहुपद का बूलियन सर्किट ; वास्तव में, आकार । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) सामान्य …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

Let एक दिए गए मल्टीलाइनर बहुपद -मोनोटोन) अंकगणित के न्यूनतम आकार को निरूपित करते हैं। और एक (गैर-मोनोटोन) बूलियन के न्यूनतम आकार को निरूपित करते हैं बूलियन संस्करण की गणना करते हुए सर्किट के द्वारा परिभाषित किया गया: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits