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

नहीं सभी समान -SAT समस्या (NAE -SAT), एक सेट दिया एक सेट से अधिक खंड की बूलियन चर की ऐसी है कि प्रत्येक खंड पर नहीं है शाब्दिक, पूछता है ऐसी है कि चर का एक सच काम वहाँ मौजूद है या नहीं प्रत्येक क्लॉज में कम से कम एक …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

थॉमस जे। शेफर द्वारा "द कम्प्लेन्ट ऑफ ऑफ ससिफियाबिलिटी प्रोब्लेम्स" पत्र में लेखक ने उल्लेख किया है कि This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

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

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

क्या किसी को उन संदर्भों के बारे में पता है जो एकीकरण एल्गोरिथ्म और गाऊसी उन्मूलन के बीच संबंध को सटीक रूप से स्पष्ट करते हैं ? मैं विशेष रूप से त्रिकोणीय प्रतिस्थापन और एलयू डिकम्पोज़िशन के बीच संबंधों में रुचि रखता हूं । वेन स्नाइडर और जीन गैलियर ने …

22 reference-request  lo.logic 

जब गैर-वैज्ञानिक एलआर पार्सिंग के साथ छेड़छाड़ करते हैं, तो मैंने एक पार्सिंग विधि (असीम आकार की तालिकाओं के साथ, जो इसे कुछ हद तक अव्यावहारिक बनाता है ) को समय में बिल्कुल अस्पष्ट व्याकरणों में सक्षम करने के लिए सोचा, और मुझे आश्चर्य हुआ कि क्या करना संभव है …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

मैं सोच रहा था कि इस प्रश्न को समझने के लिए मुझे कौन से पेपर पढ़ने चाहिए गणित के अन्य क्षेत्रों जैसे कि बीजगणितीय ज्यामिति या उच्च कोमोलॉजी के लिए एक अप्रत्याशित संबंध। शायद गणित का एक क्षेत्र भी अभी तक विकसित नहीं हुआ है। शायद कोई व्यक्ति P बनाम …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

एक टेन्सर वैक्टर और उच्च आयामों को मैट्रिक्स और का सामान्यीकरण है रैंक एक टेन्सर की भी एक मैट्रिक्स के पद सामान्यीकरण करता। अर्थात्, एक टेंसर की रैंक रैंक एक टेंसरों की न्यूनतम संख्या है जो टी के बराबर है । एक वेक्टर और मैट्रिक्स क्रमशः डिग्री 1 और 2 …

22 ds.algorithms  reference-request  computability  tensor-rank 

मुझे आश्चर्य है कि अगर ऐसा मानने का कोई औचित्य है कि या विश्वास करना कि ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L यह ज्ञात है कि । व्युत्पन्न पर साहित्य बहुत आश्वस्त है कि । क्या किसी को कुछ लेखों या विचारों के बारे में पता है जो कि ?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq L

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

मैं निम्नलिखित परिणाम के लिए संदर्भ ढूंढ रहा हूं: तथ्यात्मक प्रतिनिधित्व में दो पूर्णांक जोड़ना उतना ही कठिन है जितना सामान्य द्विआधारी प्रतिनिधित्व में दो पूर्णांकों को विभाजित करना। (मुझे पूरा यकीन है कि यह वहां से बाहर है क्योंकि यह कुछ ऐसा है जिसे मैंने किसी बिंदु पर सोचा …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

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

22 ds.algorithms  reference-request  max-flow 

सन्निकटन एल्गोरिदम को डिजाइन करते समय एक कभी-कभी एक सेमीफाइनल कार्यक्रम को हल करने के लिए एक चरणबद्ध कदम होता है। इसका उदाहरण देने के लिए अक्सर इस्तेमाल किया जाने वाला मैक्स-कट है। (उदाहरण देखें विजय वजीरानी द्वारा अनुमानित एल्गोरिदम।) क्या अच्छे शैक्षिक स्रोत या सर्वेक्षण मैक्स-कट समस्या से परे …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

चलो एक ग्राफ हो। एक वर्टेक्स x ∈ V के लिए , N ( x ) को G में x का पड़ोस (खुला) परिभाषित करें । यही कारण है, एन ( एक्स ) = { y ∈ वीG=(V,E)G=(V,E)G=(V,E)x∈Vx∈Vx\in VN(x)N(x)N(x)xxxGGG । दो कोने परिभाषित यू , वी में जी होने के …

22 ds.algorithms  reference-request  graph-algorithms 

क्या सीएस में समस्याएं हैं, जहां कोई कुशल एल्गोरिदम ज्ञात नहीं है, अस्तित्व के बावजूद ऐसे कुशल एल्गोरिदम साबित होने चाहिए? इन समस्याओं को क्या कहा जाता है? मैं कहां और अधिक मिल सकता है?

22 ds.algorithms  reference-request  terminology 

मुझे बस एहसास हुआ कि मैं अपने प्रश्न का उत्तर "हाँ" मान रहा हूं, लेकिन मेरे पास कोई अच्छा कारण नहीं है। मैं कल्पना करता हूं कि शायद एक कचरा संग्रहकर्ता है जो केवल सबसे खराब स्थिति वाले मंदी का परिचय देता है । क्या कोई निश्चित संदर्भ है जिसका …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

मूल संदर्भ क्या हैं? क्या एसजीटी का कोई अच्छा, उच्च-स्तरीय सर्वेक्षण और इसके अनुप्रयोग सामान्य रूप से सीएस और विशेष रूप से मशीन सीखने में हैं?

22 reference-request  spectral-graph-theory