np पर टैग किए गए जवाब

मैं विशेष रूप से सोच रहा हूं कि क्या असाइनमेंट के प्रतिशत पर एक दिलचस्प स्थिति है जो इस बात की गारंटी देने के लिए 3SAT फॉर्मूला को संतुष्ट करती है कि ऐसी समस्याएं ट्रैक्टेबल हैं। उदाहरण के लिए मान लीजिए कि 3SAT समस्याओं का वर्ग जो कि संभव असाइनमेंट …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH बताता है कि SAT को सब-वेपनीय समय में सबसे खराब स्थिति में हल नहीं किया जा सकता है। औसत मामले के बारे में क्या? क्या एनपी में प्राकृतिक समस्याएं हैं जो औसत मामले में तेजी से कठिन होने के लिए अनुमानित हैं? औसत मामले को इनपुट पर समान वितरण …

12 cc.complexity-theory  np  average-case-complexity 

पूर्ण जानकारी दो-खिलाड़ी कॉम्बीनेटरियल गेम पर विचार करें जो एक बहुपद संख्या के बाद समाप्त होता है, और एक वैकल्पिक तरीके से, खिलाड़ी अनुमत चालों की एक सीमित संख्या से चुनता है। सामान्य सवाल यह है कि किसी दिए गए पद से विजेता को बताना कितना मुश्किल है। एक और …

11 cc.complexity-theory  np  board-games  pspace 

मान लें कि एनपी = सह-एनपी और बहुपद 3-CNF उदाहरण x के लिए असंतोषजनकता के प्रमाण की लंबाई को सीमित करता है । तो क्या इस पर कोई परिणाम नहीं हैं फार्म के लिए unsatisfiability के लिए किसी प्रमाण की एक्स लंबाई की ≤ पी ( एक्स ) ले जा …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

एनपी की परिभाषा पर यहां दो भिन्नताएं हैं। वे (लगभग निश्चित रूप से) अलग-अलग जटिलता वर्गों को परिभाषित करते हैं, लेकिन मेरा सवाल यह है: क्या इन वर्गों में फिट होने वाली समस्याओं के प्राकृतिक उदाहरण हैं? (यहां प्राकृतिक रूप में जो मायने रखता है, उसके लिए मेरी दहलीज सामान्य …

11 cc.complexity-theory  complexity-classes  np 

यह सर्वविदित है कि NP -problems के कुछ वर्गों में डाइकोटॉमी प्रमेय हैं, जो इस बात की गारंटी देते हैं कि कक्षा में प्रत्येक कार्य या तो NP -complete है या P में है । इस तरह के सबसे प्रसिद्ध परिणाम शहाफर के द्विभाजन प्रमेय के साथ-साथ कई सामान्यीकरण भी …

10 cc.complexity-theory  np  descriptive-complexity 

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

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

क्या हर ट्यूरिंग-पहचानने योग्य अयोग्य भाषा में एनपी-पूर्ण उपसमूह है? इस प्रश्न को इस तथ्य के एक मजबूत संस्करण के रूप में देखा जा सकता है कि प्रत्येक अनंत ट्यूरिंग-पहचानने योग्य भाषा में एक अनंत पर्णपाती उपसमुच्चय है।

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

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

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity