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

तत्व विशिष्टता / विशिष्टता की समस्या (बीजगणितीय गणना के पेड़ों या प्रतिकूल तर्कों के आधार पर) के लिए लॉगलाइनियर लोअर बाउंड के लिए कई सबूत हैं, लेकिन मैं एक ऐसा खोज रहा हूं जो एल्गोरिथ्म विश्लेषण और डिजाइन में पहले कोर्स में उपयोग करने के लिए पर्याप्त सरल है। छँटाई …

13 cc.complexity-theory  lower-bounds  proofs 

एक मोनोटोन -2 सीएनएफ फॉर्मूला एक सीएनएफ फॉर्मूला है जहां प्रत्येक क्लॉज को वास्तव में 2 पॉजिटिव शाब्दिक रूप से बनाया जाता है। अब, मेरे पास एक मोनोटोन -2 सीएनएफ फॉर्मूला । बता दें कि एस एफ के संतोषजनक काम का सेट है । मेरे पास एक ओरेकल ओ है …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

मान लीजिए कि हमारे पास S का एक सेट S है (परिमित रेखांकन, लेकिन उनमें से एक अनंत संख्या) और क्रमपरिवर्तन का एक समूह P जो S पर कार्य करता है। उदाहरण: P में एक क्रमचय p। प्रश्न: क्या एस में एक ग्राफ जी मौजूद है जो ऑटोमोरिज़्म पी को …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

राफेल पास लिखते हैं, "कॉमन रेफरेंस स्ट्रिंग एंड रैंडम ओरेकल मॉडल में डेनबिलिटी पर" शीर्षक से एक पेपर में: हम ध्यान दें कि जब आरओ [रैंडम ओरेकल] मॉडल में मानक शून्य-ज्ञान की परिभाषा के अनुसार सुरक्षा साबित करते हैं, तो सिम्युलेटर को एक सादे मॉडल सिम्युलेटर पर दो फायदे हैं, …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

3SAT [ 1 ] के लिए निचली सीमा पर चर्चा के बाद , मैं सोच रहा हूं कि अंतरिक्ष-समय-सीमा के रूप में तैयार किए गए मुख्य निचले बाध्य परिणाम क्या हैं। मैं परिणामों को बाहर कर रहा हूँ जैसे, कहना, सविच की प्रमेय; एक अच्छी प्रविष्टि एक समस्या और इसकी …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

सीधे शब्दों में कहें: oracles के साथ ट्यूरिंग मशीनों, और oracles के साथ समान सर्किट परिवारों के बीच क्या पत्राचार है? किसी दिए गए ओरेकल ट्यूरिंग मशीन के लिए समान कम्प्यूटेशनल मॉडल प्राप्त करने के लिए उत्तरार्द्ध को कैसे परिभाषित किया जाता है? यह एक प्रारंभिक प्रश्न हो सकता है, …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

यह Immerman और Szelepcsényi के लिए धन्यवाद ज्ञात है कि यदि f = Imm ( log ) (यहां तक ​​कि गैर-अंतरिक्ष रचनात्मक कार्यों के लिए भी)।एन एस पी ए सी ई (एफ) = c o N S P A C E ( f))NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)च= Ω ( लॉग )f=Ω(log)f=\Omega(\log) एक …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

जटिलता वर्ग पीपीएडी का आविष्कार क्राइस्टोस पापादिमित्रिउ ने 1994 के अपने पत्र में किया था । वर्ग को खोज समस्याओं की जटिलता को पकड़ने के लिए डिज़ाइन किया गया है, जहां एक समाधान के अस्तित्व की गारंटी "निर्देशित ग्राफ़ में समानता तर्क" द्वारा की गई है: यदि एक निर्देशित ग्राफ …

13 cc.complexity-theory  reductions  search-problem  ppad 

ईमानदार होने के लिए, मुझे नहीं पता कि यादृच्छिक संख्या कैसे उत्पन्न होती है (टिप्पणियों का स्वागत है!) के बारे में बहुत कुछ है, लेकिन हम निम्नलिखित सैद्धांतिक मॉडल मानते हैं: हम पूर्णांक को यादृच्छिक रूप से से प्राप्त कर सकते हैं और हमारा लक्ष्य है [1,3] से एक पूर्णांक …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

पी एनपी मान लें ।≠≠\ne लेडनर के प्रमेय का कहना है कि एनपी इंटरमीडिएट समस्याएं हैं (एनपी में समस्याएं जो न तो पी और न ही एनपी-पूर्ण में हैं)। मैंने कुछ ऐसे ऑनलाइन संदर्भ प्राप्त किए हैं, जो सुझाव देते हैं (मुझे लगता है) कि एनपीआई के भीतर पारस्परिक रूप …

13 cc.complexity-theory  np  np-intermediate 

जैसा कि मैं इसे समझता हूं, एक सबूत कि पी = एनपी या पी would एनपी को गैर-सापेक्ष होने की आवश्यकता होगी (जैसा कि पुनरावर्तन सिद्धांत oracles में)। वस्तुतः सभी साक्ष्य सापेक्ष प्रतीत होते हैं, यद्यपि। इस तरह के एक पी = एनपी / पी proof एनपी सबूत के गैर- …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

क्या यह जाना जाता है कि क्या फीडबैक वर्टेक्स ने बाध्य डिग्री के अप्रत्यक्ष प्लानर ग्राफ पर समस्या का है, ?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

जटिलता वर्ग पीपीएडी को आमतौर पर यह कहते हुए परिभाषित किया जाता है कि एंड-ऑफ-द-लाइन पीपीएडी-पूर्ण है। एंड-ऑफ-द-लाइन एक खोज समस्या है। इनपुट एक निर्देशित ग्राफ, जिसमें प्रत्येक नोड है में डिग्री और बाहर डिग्री सबसे 1. पर ग्राफ एक बहुपद समय गणनीय समारोह द्वारा दिया जाता है के होते …

13 cc.complexity-theory  complexity-classes  ppad 

कुछ नोड पर एक चिप के साथ एक निर्देशित भारित ग्राफ पर निम्नलिखित खेल पर विचार करें ।GGG सभी नोड A या B द्वारा चिह्नित हैं।GGG दो खिलाड़ी हैं एलिस और बॉब। ऐलिस (बॉब) का लक्ष्य चिप को एक नोड में बदलना है जो ए (बी) द्वारा चिह्नित है। शुरुआत …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

हाल ही में प्रीप्रिंट में https://arxiv.org/abs/1801.00776 , यह दावा किया है कि वास्तविक संख्या समय में सॉर्ट किया जा सकता हे ( एन √nnn और रैखिक स्थान। कागज उचित लगता है, हालांकि मैं एल्गोरिदम को छांटने में विशेषज्ञ नहीं हूं।ओ ( एन लॉगn----√) ,O(nlog⁡n),O(n \sqrt{\log n}), अगर सही है, तो …

12 cc.complexity-theory  ds.algorithms  sorting