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

मेरी पोस्ट पर Fortnow की टिप्पणी, से प्रेरित प्रमाणित करती है कि ग्राफ समाकृतिकता समस्या नहीं है NPNPNP -Complete , और तथ्य यह है कि द्वारा GIGIGI के लिए एक प्रमुख उम्मीदवार हैं NPNPNP -intermediate समस्या (नहीं NPNPNP -Complete है और न ही में PPP ), मैं जाना जाता सबूतों …

23 cc.complexity-theory  graph-isomorphism 

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

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

सुभाष खोत का अनूठा खेल अनुमान जटिलता सिद्धांत में सक्रिय अनुसंधान क्षेत्रों में से एक है। हमारे पास इसके लिए क्या सबूत हैं? हमारे पास इसके खिलाफ क्या सबूत हैं?

23 cc.complexity-theory  unique-games-conjecture 

में इस सूत्र , Norbet ब्लम का प्रयास सबूत संक्षेप टिप्पण Tardos समारोह प्रमेय 6 की एक प्रति है कि ने खारिज कर रहा है।P≠NPP≠NPP \neq NP प्रमेय 6 : Let किसी भी एक लय बूलियन समारोह हो। मान लें कि एक CNF-DNF-सन्निकट A है जिसका उपयोग C m ( …

22 cc.complexity-theory  np-hardness  complexity-classes 

कई एल्गोरिदमिक ग्राफ़ समस्याओं को बहुपत्नी समय में अनलोड और वेटेड ग्राफ़ दोनों पर हल किया जा सकता है। कुछ उदाहरण सबसे छोटे पथ, न्यूनतम फैले हुए वृक्ष, सबसे लंबे पथ (निर्देशित चक्रीय रेखाचित्रों में), अधिकतम प्रवाह, न्यूनतम कट, अधिकतम मिलान, इष्टतम arborescence, कुछ घनीभूत सबग्राफ समस्याएं, अधिकतम असंतुष्ट निर्देशित …

22 cc.complexity-theory  graph-algorithms  np-hardness 

यह एक खुले हुए सवाल की तरह है - जिसके लिए मैं पहले से माफी मांगता हूं। ऐसे बयानों के उदाहरण हैं जो (प्रतीत होते हैं) का जटिलता या ट्यूरिंग मशीनों से कोई लेना-देना नहीं है, लेकिन इसका उत्तर किस तरह से ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

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

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

थॉमस जे। शेफर द्वारा "द कम्प्लेन्ट ऑफ ऑफ ससिफियाबिलिटी प्रोब्लेम्स" पत्र में लेखक ने उल्लेख किया है कि 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 

ग्राफ संपत्ति परीक्षण में, एक एल्गोरिथ्म निर्धारित करने के लिए लक्ष्य या तो एक निश्चित संपत्ति है या है उपस्थिति या किनारों और जरूरतों के अभाव के लिए एक लक्ष्य ग्राफ प्रश्नों εε\epsilon संपत्ति होने से -far। (एक एल्गोरिथ्म को 1-पक्षीय या 2-पक्षीय त्रुटि के साथ सफल होने के लिए …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

कई अनुचित परिणाम हैं जो अद्वितीय गेम अनुमान पर निर्भर करते हैं। उदाहरण के लिए, अद्वितीय गेम अनुमान को मानते हुए, यह किसी भी निरंतर आर > आर जीडब्ल्यू के लिए एक कारक आर के भीतर अधिकतम कटौती की समस्या का अनुमान लगाने के लिए एनपी-कठिन है । (यहाँ R …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

एक टॉवर रक्षा खेल में, आपके पास एक शुरुआत, एक फिनिश और कई दीवारों के साथ एक एनएक्सएम ग्रिड है। दुश्मन किसी भी दीवारों से गुजरने के बिना शुरू से अंत तक का सबसे छोटा रास्ता लेते हैं (वे आमतौर पर ग्रिड के लिए विवश नहीं होते हैं, लेकिन सादगी …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

सामान्य अंकगणित सर्किट के बारे में हमारे ज्ञान की स्थिति बूलियन सर्किट के बारे में हमारे ज्ञान की स्थिति के समान प्रतीत होती है, अर्थात हमारे पास कम निचले सीमा नहीं हैं। दूसरी ओर हमारे पास मोनोटोन बूलियन सर्किट के लिए घातीय आकार के निचले हिस्से हैं । हम मोनोटोन …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

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

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

मैं उन ग्राफ कक्षाओं पर विचार कर रहा हूं जिन्हें निषिद्ध उपसमूह द्वारा विशेषता दी जा सकती है। यदि एक ग्राफ वर्ग में निषिद्ध उपसमूहों का एक सीमित सेट है, तो एक तुच्छ बहुपद समय मान्यता एल्गोरिथ्म है (कोई केवल ब्रूट बल का उपयोग कर सकता है)। लेकिन निषिद्ध उपसमूह …

22 cc.complexity-theory  graph-theory  np-hardness