cc.complexity-theory पर टैग किए गए जवाब

लालच, बेहतर शब्द की कमी के लिए, अच्छा है। परिचयात्मक एल्गोरिदम पाठ्यक्रम में सिखाया गया पहला एल्गोरिथम प्रतिमान लालची दृष्टिकोण है । लालची दृष्टिकोण पी में कई समस्याओं के लिए सरल और सहज ज्ञान युक्त एल्गोरिदम में परिणाम करता है। अधिक दिलचस्प रूप से, कुछ एनपी-कठिन समस्याओं के लिए स्पष्ट …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

Immerman-वर्दी प्रमेय कहा गया है कि PTIME (या पी) ठीक भाषाओं के वर्ग प्रथम क्रम तर्क की सजा द्वारा वर्णित है कि किया जा सकता है एक साथ एक निश्चित बिंदु ऑपरेटर के साथ, आदेश दिया संरचनाओं के वर्ग खत्म हो गया है। फिक्स्ड-पॉइंट ऑपरेटर या तो कम से कम …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

रूबिक क्यूब के स्पष्ट सामान्यीकरण पर विचार करें । क्या यह एनपी-हार्ड चाल के सबसे छोटे अनुक्रम की गणना करने के लिए है जो किसी दिए गए तले हुए घन को हल करता है, या एक बहुपद-काल एल्गोरिथ्म है?n×n×nn×n×nn\times n\times n [कुछ संबंधित परिणाम मेरे हालिया ब्लॉग पोस्ट में वर्णित …

38 cc.complexity-theory  co.combinatorics  np-hardness  open-problem  puzzles 

जटिलता वर्ग में उन एन पी -प्रॉबल्म शामिल होते हैं जो एक बहुपद समय नोंडेटरमिनिस्टिक ट्यूरिंग मशीन द्वारा तय किए जा सकते हैं, जिसमें कम्प्यूटेशनल पथ को स्वीकार करने वाले अधिकांश व्यक्ति होते हैं। यही है, समाधान, यदि कोई हो, इस अर्थ में अद्वितीय है। यह अत्यधिक संभावना नहीं है …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

में विचार किए जाने पर कई ज्यामितीय समस्याएं आसान होती हैं , लेकिन लिए में NP- पूर्ण (मेरी पसंदीदा समस्याओं में से एक, यूनिट डिस्क कवर सहित)।R1R1R^1RdRdR^dd≥2d≥2d\geq2 क्या किसी को ऐसी समस्या के बारे में पता है जो और लिए पॉलीटाइम सॉल्व है , लेकिन लिए NP-complete है ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 …

37 cc.complexity-theory  reference-request  cg.comp-geom 

यह सवाल मैथमैटवर्फ्लो पर लागू गणित के बारे में इसी तरह के सवाल से प्रेरित है , और उस नेगिंग ने सोचा कि TCS के महत्वपूर्ण प्रश्न जैसे P बनाम NP, ZFC (या अन्य सिस्टम) से स्वतंत्र हो सकते हैं। थोड़ा पृष्ठभूमि के रूप में, रिवर्स गणित कुछ महत्वपूर्ण प्रमेयों …

37 cc.complexity-theory  lo.logic  proof-complexity 

हम जानते हैं कि बहुपद पदानुक्रम (यानी एनपी और सह-एनपी) का पहला स्तर पीपी में है, और वह । हम टोडा के प्रमेय से यह भी जानते हैं कि ।PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} क्या हम जानते हैं कि ? यदि नहीं, तो क्यों यह है कि एक साथ ओरेकल …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

मैं डी-डायमेंशनल हेटिंग सेट समस्या को क्या कहूँगा, इसकी पैरामीटरयुक्त जटिलता में दिलचस्पी है: एक रेंज स्पेस (यानी एक सेट सिस्टम / हाइपरग्राफ) S = (एक्स, आर) दिया गया है, जिसमें सबसे अधिक d और एक पर VC-डाइमेंशन है धनात्मक पूर्णांक k, X में आकार k का एक सबसेट होता …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

जहां तक मैं समझता हूँ, ज्यामितीय जटिलता सिद्धांत कार्यक्रम प्रयास अलग करने के लिए साबित करते हुए कि जटिल मान मैट्रिक्स के permament ज्यादा निर्धारक से गणना करने के लिए कठिन है से।VP≠VNPVP≠VNPVP \neq VNP जीसीटी पेपर्स के माध्यम से स्किमिंग के बाद मेरे पास जो प्रश्न था: क्या यह …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

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

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

पीसीपी प्रमेय का एक महत्वपूर्ण अनुप्रयोग यह है कि यह "सन्निकटन की कठोरता" प्रकार के परिणाम देता है। कुछ अपेक्षाकृत सरल मामलों में कोई पीसीपी के बिना ऐसी कठोरता साबित कर सकता है। हालांकि, कोई भी मामला जहां पीसीपी प्रमेय का उपयोग करके पहली बार अनुमानित परिणाम की कठोरता को …

36 cc.complexity-theory  approximation-hardness  pcp 

में एक नई समस्या को देखते हुए जिसकी असली जटिलता कहीं पी के बीच है और एनपी-पूर्ण होने के नाते, दो तरीके हैं जो मुझे पता है कि इसका उपयोग यह साबित करने के लिए किया जा सकता है कि इसे हल करना मुश्किल है:NPNP\mathsf{NP}PP\mathsf{P} दिखाएँ कि समस्या जीआई-पूर्ण है …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

यह अनुमान लगाया जाता है कि यादृच्छिकता बहुपद समय एल्गोरिदम की शक्ति का विस्तार नहीं करती है, अर्थात, धारण करने के लिए अनुमानित है। दूसरी ओर, यादृच्छिकता बहुपद समय में कटौती पर काफी अलग प्रभाव डालती है । बहादुर और Vazirani के प्रसिद्ध परिणाम करके, को कम कर देता है …

36 cc.complexity-theory  reductions  derandomization 

यह एक गैर-तकनीकी प्रश्न है, लेकिन निश्चित रूप से टीसीएस समुदाय के लिए प्रासंगिक है। यदि अनुचित माना जाता है, तो बंद करने के लिए स्वतंत्र महसूस करें। जटिलता चिड़ियाघर वेबपेज (http://qwiki.stanford.edu/index.php/Complexity_Zoo) निश्चित रूप से पिछले कुछ वर्षों में टीसीएस समुदाय के लिए महान सेवा की गई है। जाहिर है …

36 cc.complexity-theory  reference-request  soft-question 

हम जानते हैं कि घातीय फ़ंक्शन प्राकृतिक संख्याओं से अधिक बहुपद समय में गणना योग्य नहीं है, क्योंकि आउटपुट का आकार इनपुट के आकार में बहुपद नहीं है।exp( एक्स , वाई) = एक्सyexp⁡(x,y)=xy\exp(x,y) = x^y क्या यह घातीय फ़ंक्शन की गणना करने में कठिनाई का मुख्य कारण है, या इस …

36 cc.complexity-theory  nt.number-theory