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

मूल्यों के सेट पर विचार करें (बिना डुप्लिकेट के साथ सॉर्ट किए गए सरणियों के रूप में प्रतिनिधित्व किया जाता है, और एक ज्ञात आकार के साथ (यानी। आकार को ओ (1) में प्राप्त किया जा सकता है।) मूल्यों को ओ (1) समय में समानता के लिए परीक्षण किया जा …

11 ds.algorithms 

मैं न्यूनतम आयत के साथ एक साधारण अवतल बहुभुज को कवर करने की कोशिश कर रहा हूं। मेरी आयतें किसी भी लम्बाई की हो सकती हैं, लेकिन उनके पास अधिकतम चौड़ाई है, और बहुभुज में कभी भी तीव्र कोण नहीं होगा। मैंने अपने अवतल बहुभुज को त्रिभुजों में विघटित करने …

11 co.combinatorics  cg.comp-geom 

भारित किनारों के साथ एक ग्राफ को देखते हुए, हम एक नकारात्मक चक्र कैसे पा सकते हैं जिसमें किसी दिए गए शीर्ष सेट में कम से कम एक शीर्ष शामिल है ? धन्यवाद।{ वी1, वी2, … , वीक}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

लॉगस्पेस संगणनाओं को रिलेटिव करने पर एक पेपर में , लेडनर और लिंच एक ओरेकल का निर्माण करते हैं, जिसके सापेक्ष । साहित्य में इस नस में कुछ और रोग संबंधी उदाहरण हैं। मैं रिलेटिव स्माल स्पेस क्लासेस पर कुछ पेपर पढ़ रहा हूं, और इस क्षेत्र में प्राथमिक उपकरणों …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

यह SAT के समान है, सिवाय इसके कि हम प्रत्येक चर के असाइनमेंट को जानते हैं, लेकिन किसी बूलियन ऑपरेटर के असाइनमेंट को नहीं जानते हैं। उस स्थिति में, प्रत्येक ऑपरेटर का असाइनमेंट ढूंढ रहा है इसलिए अभिव्यक्ति किसी दिए गए बूलियन मान का एनपीसी समस्या का मूल्यांकन करता है? …

11 cc.complexity-theory  np-hardness 

एक राज्य को समान रूप से मिश्रित राज्यों के एक सेट से यादृच्छिक पर चुना गया , की सही पहचान करने की अधिकतम औसत संभावना क्या है ?ρएρए\rho_AएनएनNρ1। । । ρएनρ1।।।ρएन\rho_1 ... \rho_NएएA इस समस्या को से को अलग करने की समस्या पर विचार करके इसे दो राज्य की अंतर-समस्या …

11 quantum-computing  it.information-theory  quantum-information  st.statistics 

मैं LISP पर एक पुस्तक का अनुवाद कर रहा हूँ और स्वाभाविक रूप से यह कुछ तत्वों के -calculus को छूती है । तो, वहाँ एक प्रतिरूपता की धारणा का उल्लेख किया गया है जिसमें -calculus के कुछ मॉडल शामिल हैं , अर्थात्: और (हाँ, शीर्ष पर अनंतता के साथ)। …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

यह कागज में दिखाया गया था "इंटेगर प्रोग्रामिंग विथ अ फिक्स्ड नंबर ऑफ़ वेरिएबल्स" जिसमें पूर्णांक प्रोग्राम लगातार संख्या में बाधाओं (या चर) के साथ बहुपत्नी हल कर रहे हैं। क्या यह 0-1 प्रोग्रामिंग के लिए है?

11 cc.complexity-theory  integer-programming 

हमें एक मैट्रोइड दिया जाता है। हमारा लक्ष्य न्यूनतम आकार के तत्वों का एक समूह ढूंढना है, जिसमें मैट्रोइड के प्रत्येक आधार के साथ गैर-खाली चौराहा हो। क्या समस्या का अध्ययन पहले किया गया है? क्या यह पी में है? उदाहरण के लिए, एक फैले हुए पेड़ के मैट्रोइड में, …

11 co.combinatorics  approximation-algorithms  optimization 

एक सीधा उत्पाद प्रमेय, अनौपचारिक रूप से, का कहना है कि कंप्यूटिंग एक समारोह के उदाहरण कंप्यूटिंग तुलना में कठिन है एक बार।kkkffffff ठेठ प्रत्यक्ष उत्पाद प्रमेयों (जैसे, याओ का XOR लेम्मा) पर नज़र औसत दर-मामला जटिलता , और लोगों का तर्क है (बहुत मोटे तौर पर) है कि आकार …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

उत्तर: ज्ञात नहीं है उन सभी के लिए बहुत धन्यवाद जिन्होंने इस प्रश्न और इससे जुड़ी परिभाषाओं को परिष्कृत करने में मदद की। इस विकी की परिभाषाओं ने अधिक हालिया टीसीएस विकी के लिए शुरुआती बिंदु प्रदान किया " क्या पी में ऐसी भाषाएं हैं जिनका अस्तित्व पीए या जेडएफसी …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

मैं समीकरणों के रैखिक प्रणालियों के लिए हैरो, हासिडिम और लॉयड के पेपर क्वांटम एल्गोरिदम पढ़ रहा हूं । उस कागज के तीसरे पृष्ठ पर, वे लिखते हैं अगला हम सशर्त Hamiltonian विकास लागू चालू | Ψ 0 ⟩ सी ⊗ | ख ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|सी⊗इमैंएτटीओ/टी\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}| Ψ0⟩सी⊗ | …

11 quantum-computing  notation 

दाना एंग्लुइन ( 1987 ; pdf ) सदस्यता प्रश्नों और सिद्धांत प्रश्नों (प्रस्तावित कार्य के प्रतिरूप) के साथ एक शिक्षण मॉडल को परिभाषित करता है। वह दिखाती है कि एक नियमित भाषा जिसे राज्यों की एक न्यूनतम DFA द्वारा दर्शाया गया है, बहुपद समय (जहाँ प्रस्तावित कार्य DFAs है) सदस्यता-प्रश्नों …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

मैं एक सामान्य तकनीक की तलाश में हूं जो मुझे यह साबित करने में मदद कर सके कि बुची ऑटोमेटा एलटीएल की तुलना में अधिक अभिव्यंजक मॉडल है, लेकिन यह कि विशिष्ट सूत्र एलटीएल में व्यक्त नहीं किया जा सकता है। उदाहरण के लिए, " कम से कम पदों पर …

11 lo.logic  automata-theory 

एक वास्तविक ( k ≤ n ) मैट्रिक्स A को इस गुण के साथ दें कि k कॉलम का कोई भी संग्रह पूर्ण रैंक है।k×nk×nk\times nk≤nk≤nk\le nAA{\bf A}kkk प्रश्न: वहाँ एक कारगर तरीका निर्धारणात्मक एक वेक्टर खोजने के लिए है ऐसी है कि संवर्धित मैट्रिक्स एक ' = [ एकaa{\bf …

11 ds.algorithms  linear-algebra  matrices  coding-theory