reference-request पर टैग किए गए जवाब

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

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

मान लीजिए कुछ वर्णमाला के संबंध में एक पैरामिट्रीकृत भाषा है Σ । कश्मीर की -slice एल है एल कश्मीर = एल ∩ { ( एक्स , कश्मीर ) | एक्स ∈ Σ * } , में उदाहरणों के सेट एल जो पैरामीटर कश्मीर । जटिलता वर्ग एक्स पी parameterized …

10 cc.complexity-theory  reference-request  parameterized-complexity 

मुझे संभाव्य ऑटोमेटा का परिचय कहां मिल सकता है और वे क्या पहचानते हैं (शब्दों से कुछ कार्य )? क्या इस तरह के कार्यों के लिए एक मानक शब्द है, जो कि संभाव्य परिमित ऑटोमेटा (डीएफए) के लिए "नियमित भाषाओं" के अनुरूप, संभाव्य ऑटोमेटा द्वारा मान्यता प्राप्त हैं?[ ० , …

10 reference-request  fl.formal-languages  probabilistic-automata 

आज्ञा देना मैट्रिक्स हो परिमित क्षेत्र और , अंतरिक्ष वैक्टर हो । मैं यह तय करने की कम्प्यूटेशनल जटिलता में दिलचस्पी रखता हूं कि क्या जैसे कि , यानी परिमित क्षेत्रों के लिए रैखिक डायनेमिक सिस्टम के लिए रीचैबिलिटी समस्या में।एक एफ 2 = { 0 , 1 } एक्स …

10 cc.complexity-theory  reference-request  linear-algebra 

यहां माना जाने वाला ट्रांसड्यूसर वे विकिपीडिया कॉल परिमित राज्य ट्रांसड्यूसर हैं । एक ट्रांसड्यूसर का व्यवहार , अर्थात, वह संबंध, जिसकी गणना करता है, लिखा जाता है [ T ] : एक शब्द y x iff x [ T ] y के लिए एक आउटपुट है ।टीTT[ टी][T][T]yyyएक्सxxx [ …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

निम्नलिखित समस्या पर विचार करें: मैट्रिक्स को देखते हुए हम गणना के लिए गुणा एल्गोरिथ्म में परिवर्धन की संख्या को अनुकूलित करना चाहते हैं ।वी ↦ एम वीमMMv ↦ एमvv↦Mvv \mapsto Mv मैट्रिक्स गुणन की जटिलता के साथ इसके संबंधों के कारण मुझे यह समस्या दिलचस्प लगती है (यह समस्या …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

यह एक सर्वविदित तथ्य है कि मार्टिन-लोफ प्रकार के सिद्धांत में एक असमानता (उदाहरण के लिए, ) से विरोधाभास प्राप्त करना एक ब्रह्मांड की आवश्यकता है।(0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot प्रमाण भी काफी सीधा है - ब्रह्मांड की अनुपस्थिति में, हम किसी भी आश्रित प्रकार से आश्रितों …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

सबूत जटिलता कम्प्यूटेशनल जटिलता सिद्धांत का एक सबसे बुनियादी क्षेत्र है। इस क्षेत्र का एक अंतिम उद्देश्य को साबित करने के है , यह है कि, किसी भी prover नहीं दिए गए इनपुट सूत्र के unsatisfiability का एक सबूत दे सकते हैं। NP≠coNPNP≠coNPNP\neq coNP एक ग्राफ सबूत के औपचारिक मॉडल …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

हार्टमैनिस और स्टर्न्स द्वारा 1965 के लेख " एल्गोरिदम की कम्प्यूटेशनल जटिलता पर " में, लेखक अनुमान लगाते हैं कि यदि वास्तविक समय ट्यूरिंग मशीन वास्तविक संख्या गणना करती है, उदाहरण के लिए, आधार 10, तो r या तो एक परिमेय संख्या है या a पारलौकिक संख्या।आरrrआरrr क्या एक कम्प्यूटेशनल …

10 cc.complexity-theory  reference-request  examples 

पृष्ठभूमि: लेनदेन प्रसंस्करण डेटाबेस सिद्धांत में एक पारंपरिक शोध विषय रहा है। आजकल वितरित लेनदेन को बड़े पैमाने पर वितरित भंडारण प्रणालियों द्वारा लोकप्रिय किया जाता है जिसमें आम तौर पर डेटा विभाजन (जिसे शार्डिंग भी कहा जाता है) और डेटा प्रतिकृति शामिल होता है । वितरित लेनदेन में प्रमुख …

10 reference-request  big-list  dc.distributed-comp  db.databases 

क्या कोई समस्याएँ हैं जो बहुपद समय में हल करने योग्य हैं यदि केवल P! = NP, और अन्यथा सॉल्वेबल (कहते हैं) समय है?O(2n)O(2n)O(2^n) एक सरल उदाहरण होगा: यदि पी! = एनपी, एक यादृच्छिक n-बिट संख्या के लिए एक मौलिकता परीक्षण की गणना करता है, अन्यथा, प्रत्येक पक्ष पर 2n …

10 cc.complexity-theory  reference-request 

मैं यादृच्छिक वैक्टर पर एक वितरण खोजने की कोशिश कर रहा हूं , -dimensional इकाई क्षेत्र (जहां ) पर ) को कम से कम बाधा \ mathbb {E} [x_i ^ Tx_j] = 0 के अधीन है ।nnnएक्स1, ... , एक्सnx1,…,xnx_1,\ldots, x_nकkkn > केn>kn > kअधिकतममैं ≠ जेV a r ( …

10 reference-request  randomized-algorithms 

प्लानर 3-सैट की मानक परिभाषा क्या है? मैंने कई तरह की परिभाषाएँ देखी हैं। मूल कागज क्या था जिसने इसे परिभाषित किया और इसे एनपी-पूर्ण साबित किया?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

एक निर्देशित ग्राफ को देखते हुए, हम यह तय करना चाहते हैं कि इसमें सम लंबाई का एक निर्देशित चक्र शामिल है या नहीं। YUSTER और ZWICK के 1997 के इस पेपर में कहा गया है कि समस्या का पता और न ही इसे -complete के लिए जाना जाता है …

10 cc.complexity-theory  reference-request  graph-theory 

मैंने लगभग ग्राफ रंग में परिणाम के बारे में सुना है, लेकिन स्रोत नहीं मिल रहा है। परिणाम है: हर निरंतर के लिए वहाँ एक पर्याप्त रूप से बड़े मौजूद कश्मीर ऐसी है कि एक रंग कश्मीर के साथ -colorable ग्राफ ज कश्मीर रंग एनपी कठिन है।जhhकkkकkkज कश्मीरhkhk क्या कोई …

10 reference-request  approximation-hardness  graph-colouring