सैद्धांतिक कंप्यूटर विज्ञान

मैं क्वांटम ऑप्टिक्स वाले लड़के से अधिक हूं, जो क्वांटम इंफोर्मेशन लड़के से ज्यादा है, और मुख्य रूप से मास्टर समीकरणों में काम करता है। मुझे ऑपरेटर-सम फॉर्म में दिलचस्पी है, और मैं इस रूप में त्रुटियों को एक छोटी क्वांटम प्रणाली के लिए प्राप्त करना चाहूंगा जिसे मैं अनुकरण …

12 quantum-information 

निम्नलिखित एबेलियन-सबग्रुप सदस्यता-परीक्षण समस्या पर विचार करें । इनपुट: एक परिमित एबेलियन समूह साथ मनमाने-बड़े ।G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m}didid_i एक उपसमूह एक जेनरेटिंग-सेट ।{h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbraceH⊂GH⊂GH\subset G एक तत्व ।b∈Gb∈Gb\in G आउटपुट: 'हाँ' यदि और 'no' कहीं और है।b∈Hb∈Hb\in H प्रश्न: क्या इस समस्या को शास्त्रीय कंप्यूटर में कुशलता से हल किया जा सकता …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

मानक समस्याएं क्या हैं जिनसे हम निचले सीमा सिद्ध करने के लिए कम कर सकते हैं ?Log ( एन लॉगn )Ω(nlog⁡n)\Omega(n\log n) बेशक, राज्य समस्याओं को छँटाई और तत्व भिन्नता के अलावा अन्य।

12 cc.complexity-theory  lower-bounds 

यूनीक सैट एक बहुचर्चित समस्या है: एक CNF फॉर्मूला , क्या यह सच है कि F में ठीक एक मॉडल है?FFFFFF मैं «बिल्कुल एसएटी» समस्या में दिलचस्पी रखता हूं : एक सीएनएफ फॉर्मूला एफ और एक पूर्णांक एम > 1 दिया गया , क्या यह सच है कि एफ में …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

आमतौर पर शैनन एन्ट्रापी का उपयोग चैनल कोडिंग परिणामों को साबित करने के लिए किया जाता है। यहां तक ​​कि स्रोत-चैनल पृथक्करण परिणामों के लिए शैनन एंट्रोपी का उपयोग किया जाता है। जानकारी के लिए शैनन (वैश्विक) बनाम कोलमोगोरोव (स्थानीय) धारणाओं के बीच समानता को देखते हुए, इन परिणामों के …

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

में HAC (10.4.2) के 10 अध्याय है, हम अच्छी तरह से ज्ञात Feige-फिएट-शमीर पहचान (प्रकल्पित) निकालने वर्ग जड़ों एक समग्र कि कारक के लिए कठिन है सापेक्ष की कठिनाई का उपयोग कर एक शून्य ज्ञान सबूत के आधार पर प्रोटोकॉल देखें। मैं योजना अपने शब्दों में दूंगा (और उम्मीद है …

12 cr.crypto-security  proofs  zero-knowledge 

Let एक 2CNF सूत्र और एक nonnegative पूर्णांक होना चाहिए। यह इस में साबित हो जाता है कागज कि निर्णय लेने से एक अधिक से अधिक नष्ट कर सकते हैं कि क्या की समस्या खंड बनाने के लिए satisfable, है तय पैरामीटर विनयशील, जहां पैरामीटर है। मेरा सवाल यह है …

12 parameterized-complexity  csp  fixed-parameter-tractable 

तो अधिकतम डिग्री 3 के साथ एक ग्राफ है और की एक छोटी सी है एच , तो जी की एक सांस्थितिकीय नाबालिग है एच ।जीGGएचHHजीGGएचHH विकिपीडिया इस परिणाम को डिएस्टेल के "ग्राफ थ्योरी" से उद्धृत करता है। यह पुस्तक के नवीनतम संस्करण में प्रोप 1.7.4 के रूप में सूचीबद्ध …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

संख्याओं के अनुक्रम को देखते हुए , क्या इसे O ( n ln n ) तुलना और O ( n ) स्वैप / चाल के साथ हल किया जा सकता है? उस बात पर प्रकाशनों या एक दिखा counterarguments के लिए किसी भी सूचक Ω ( एन ln n ) …

12 cc.complexity-theory  ds.algorithms 

हम एक स्ट्रिंग की Kolmogorov जटिलता के बारे में सोच सकते हैं कि सबसे छोटा प्रोग्राम और इनपुट की लंबाई जैसे कि । आमतौर पर ये प्रोग्राम कुछ ट्यूरिंग-पूर्ण सेट से तैयार किए जाते हैं (जैसे एक ट्यूरिंग मशीन का वर्णन हो सकता है, या यह LISP या C में …

12 reference-request  computability  kolmogorov-complexity 

त्वरित संस्करण असम्बद्धता की वहाँ मॉडल लाइन पर क्वांटम टहलने के लिए कर रहे हैं इस तरह के हम धुन के रूप में प्रसार करने के लिए चल सकता है कि किसी के लिए 1 / 2 ≤ कश्मीर ≤ 1 ?Θ(tk)Θ(टीक)\Theta(t^k)1 / 2 ≤ कश्मीर ≤ 11/2≤क≤11/2 \leq k …

12 quantum-computing  random-walks  quantum-walk 

A सी0एसी0AC^0 न गेट्स के साथ निरंतर गहराई वाले बहुपद आकार के सर्किटों का वर्ग है और अनबाउंड फैन-इन और OR गेट्स हैं, जहां इनपुट्स और गेट्स भी अनबाउंड फैनआउट हैं। अब एक नई कक्षा पर विचार करें, इसे जो तरह है, लेकिन जिसके लिए इनपुट्स और गेट्स में अधिकांश …

12 cc.complexity-theory  circuit-complexity 

मैं मोडल लॉजिक्स की तलाश कर रहा हूं, जो कि मोडलिंग नेस्टिंग डेप्थ वन के एक्सिओम्स के एक सीमित सेट द्वारा स्वयंसिद्ध हैं, और जिनकी संतोषजनकता / व्युत्पन्नता की समस्या PSPACE में होने की संभावना नहीं है। मॉडल के घोंसले की गहराई पर प्रतिबंध के बिना यह एक समस्या नहीं …

12 cc.complexity-theory  lo.logic  modal-logic 

क्या विभिन्न प्रोग्रामिंग भाषा विशेषताओं के शब्दार्थ का एक सर्वेक्षण (कागज, पुस्तक अध्याय, ट्यूटोरियल, लिंक, ...) से है? मैं मूल रूप से डी की सुविधाओं से अभिभूत था, यहां http://www.digitalmars.com/d/2.0/comparison.html मैं यह देखना चाहूंगा कि मैं संभवतः यहां से क्या प्राप्त कर सकता हूं, हालांकि मैंने स्टैकओवरफ्लो पर एक समान …

12 reference-request  pl.programming-languages  survey 

"विरल ग्राफ़" की कई प्रतिस्पर्धी धारणाएँ हैं। उदाहरण के लिए, एक सतह-एम्बेड करने योग्य ग्राफ को विरल माना जा सकता है। या बाउंड एज घनत्व के साथ एक ग्राफ। या उच्च ग्राफ के साथ एक ग्राफ। बड़े विस्तार के साथ एक ग्राफ। बाउंड्री ट्रेविद के साथ एक ग्राफ। (रैंडम ग्राफ़ …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture