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

बूलियन फ़ंक्शन के निर्णय ट्री जटिलता में, एक बहुत अच्छी तरह से पता है कि निचली बाउंड विधि एक अनुमानित (बहुपक्षीय) बहुपद है जो फ़ंक्शन का प्रतिनिधित्व करती है। पटोरी ने निरूपित मात्रा के संदर्भ में सममित बूलियन (आंशिक और कुल) कार्यों के लिए एक लक्षण वर्णन दियाΓΓ\Gamma: प्रमेय ( …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

परिभाषित करें कम्प्यूटेशनल मॉडल MPostBQP के समान होने के लिए PostBQP को छोड़कर हम बाद चयन और अंतिम माप से पहले polynomially कई qubit माप अनुमति देते हैं। क्या हम यह इंगित करते हुए कोई सबूत दे सकते हैं कि MPostBQP PostBQP से अधिक शक्तिशाली है? MPostBQP को परिभाषित करें …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

क्या वहाँ मौजूद है क्रमपरिवर्तन π1,π2π1,π2\pi_1,\pi_2 और बहुपद आकार (में) |w|=n|w|=n|w|=n) संदर्भ मुक्त व्याकरण जो परिमित भाषा का वर्णन करता है{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} वर्णमाला के ऊपर {0,1}{0,1}\{0,1\}? अद्यतन: एक क्रमचय के लिए ππ\pi यह संभव है। ππ\pi उत्क्रमण का उलटा या अपेक्षाकृत मामूली संशोधन है।

9 fl.formal-languages  grammars  context-free 

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

9 cc.complexity-theory  complexity-classes  big-picture 

मैं यहां प्रश्न का उल्लेख कर रहा हूं: शक्तिशाली एल्गोरिदम लागू करने के लिए बहुत जटिल है । यदि एक एल्गोरिदम शक्तिशाली है, लेकिन लागू करने के लिए बहुत जटिल है, तो आप कैसे सुनिश्चित कर सकते हैं कि एल्गोरिथ्म सही है? कार्यान्वयन के बिना आप एक वास्तविक दुनिया के …

9 ds.algorithms  implementation 

मैं जानना चाहता हूं कि मैं के-सैट के लिए एक अच्छे, सौम्य परिचय की ओर मुड़ सकता हूं (यह गणितज्ञों के लिए हो सकता है जिनके पास एक अच्छा कंप्यूटर विज्ञान पृष्ठभूमि नहीं हो सकता है)। मैं उन कागजों को भी जानना चाहूंगा जो शायद k-SAT को हल करने के …

9 reference-request  sat  survey 

प्राकृतिक घटना से प्रेरित अभिकलन के प्रसिद्ध उदाहरण क्वांटम कंप्यूटर और डीएनए कंप्यूटर हैं। मैक्सवेल के नियमों या गुरुत्वाकर्षण के साथ कंप्यूटिंग की क्षमता और / या सीमाओं के बारे में क्या ज्ञात है? यही है, मैक्सवेल के समीकरणों या एन-बॉडी समस्या को प्रकृति के "त्वरित" समाधानों को सीधे एक …

9 computability  machine-models  physics  natural-computing 

हाल ही में, क्रेग जेंट्री ने पहली सार्वजनिक कुंजी एन्क्रिप्शन योजना (प्लेनटेक्स्ट स्पेस {0,1} से अधिक) प्रकाशित की है, जो पूरी तरह से होमोमोर्फिक है, जिसका अर्थ है कि कोई भी गुप्त डिक्रिप्शन कुंजी के ज्ञान के बिना एन्क्रिप्टेड प्लेनटेक्स पर कुशलतापूर्वक और एक्सओआर का मूल्यांकन कर सकता है। मुझे …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

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

9 computability  fl.formal-languages  automata-theory 

मेरे पास सेल्फ इंटरसेक्टिंग पॉलीगॉन (होल स्ट्रक्चर के साथ पॉलीगॉन) ट्राइंगुलेशन पर हार्डकॉपी या प्रकाशित पेपर खोजने में मुश्किल समय था। क्या कोई भी मुझे प्रकाशित कागज / एल्गोरिदम खोजने के लिए मार्गदर्शन कर सकता है, कृपया? पुनश्च: किसी ने इस प्रश्न को उचित रूप से टैग किया है, मेरे …

9 ds.algorithms  reference-request  cg.comp-geom 

जिस परियोजना पर मैं काम कर रहा हूं, उसके लिए मुझे यादृच्छिक ऊंचाई वाले पेड़ों को बांधना चाहिए। मूल रूप से मैं निम्नलिखित कार्य करता हूं: 1) एक फैले हुए पेड़ को उत्पन्न करता है 2) व्यवहार्यता की जांच करें, यदि संभव हो तो इसे रखें। 1) एक न्यूनतम फैले …

9 ds.algorithms  graph-algorithms  random-walks 

चलो वीVV का एक सेट हो डीDD-आयामी आयामी आयताकार। के लिए और , की लंबाई का वर्णन आयाम में । कंटेनर लिए समान संकेतन का उपयोग किया जाता । आयामी ओर्थोगोनल पैकिंग समस्या (OPP- ) तय करने के लिए है अगर कंटेनर में फिट ओवरलैपिंग के बिना। औपचारिक रूप से, …

9 cc.complexity-theory  reference-request  np-hardness  packing 

मेरे पिछले प्रश्न के फॉलो-अप के रूप में , जिसे Hsien-Chih Chang द्वारा हल किया गया था, यहाँ रैमसे के प्रमेय का एक उपयुक्त सामान्यीकरण खोजने का एक और प्रयास किया गया है। (आपको पिछले प्रश्न को पढ़ने की आवश्यकता नहीं है; यह पोस्ट स्व-निहित है।) पैरामीटर: पूर्णांक 1≪d≪k≪n1≪d≪k≪n1 \ll …

9 reference-request  co.combinatorics  ramsey-theory 

मुझे आश्चर्य है कि अगर वे किसी वाहन-रूटिंग-टाइम-विंडोज ( वीआरपीटीडब्ल्यू ) (एक निर्णय समस्या के रूप में) के साथ एसएटी / एसएमटी उदाहरण के रूप में समस्या का समाधान कर रहे हैं? (वैकल्पिक: TSP) उदाहरण के लिए: "क्या n = 10 वाहनों के साथ उनके समय-खिड़कियों के भीतर सभी ग्राहकों …

9 ds.algorithms  reference-request  sat  reductions  tsp 

पहले गणित पर पूछा । कोई जवाब नहीं के साथ। मान लीजिए कि मेरे पास एक प्लैनर ग्राफ है, एक प्लानर एम्बेडिंग के साथ, मैं पेड़ के अपघटन को कैसे खोजूं? इष्टतम पेड़ का अपघटन क्या है घdd-द्वारा-घddवर्ग ग्रिड? पूरी तरह से सुनिश्चित नहीं है कि "इष्टतम" को कैसे परिभाषित …

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice