सैद्धांतिक कंप्यूटर विज्ञान

क्या ऐसी समस्याएं हैं जिनके औसत मामले की जटिलता उनकी सबसे खराब स्थिति जटिलता के समान है? इन समस्याओं के अंतर्निहित गुण क्या हैं जो औसत मामले को सबसे खराब स्थिति को कम कर सकते हैं?

11 cc.complexity-theory  reductions  average-case-complexity 

क्या इसके डिजिटलीकरण से एक लाइन खंड की ढलान को ठीक करने पर कोई काम हुआ है? कोई भी सही सटीकता के साथ ऐसा नहीं कर सकता है; जो चाहता है वह डिजीटल लाइन से संभव ढलानों के अंतराल से प्राप्त करने की एक विधि है। (एक डिजीटल लाइन है …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

इस सवाल का एक स्पष्ट जवाब हो सकता है ... लेकिन यहाँ सवाल वैसे भी है। सहज रूप से, यह निम्नलिखित प्रशंसनीय कथन है - "एक सबरूटीन ए के साथ एक मशीन जिसमें बदले में एक सबरूटीन बी होता है, जो सबरूटीन ए के साथ एक मशीन के समान है …

11 complexity-classes  oracles 

मुझे आश्चर्य है कि कई-एक कटौती और ट्यूरिंग कटौती द्वारा परिभाषित एनपीसी कक्षाएं समान हैं। संपादित करें: एक और सवाल, ट्यूरिंग कटौती केवल कुछ सी के लिए सी और सह-सी कक्षाएं ढह रही हैं या क्या कोई वर्ग जैसे कि कोई समस्या मौजूद है जिसमें कार्प कटौती के तहत में …

11 cc.complexity-theory  np-hardness  reductions 

निम्नलिखित समस्या के करीब साहित्य में कुछ भी है: संतुलित द्विपक्षता साथ एक द्विदलीय ग्राफ को देखते हुए , क्या में एक परिपूर्ण मिलान मौजूद है जैसे कि हर 2 किनारों के लिए , वहाँ एक किनारे है या किनारे (या दोनों) ?G(V,E)जी(वी,इ)G(V,E){U,W}{यू,डब्ल्यू} \{U,W\}Mम M Gजी G u1w1,u2w2∈Mयू1w1,यू2w2∈मu_1w_1, u_2w_2\in M …

11 matching 

सबमॉड्यूलर फ़ंक्शंस के सिद्धांत (मूल बातें से उन्नत तक) के संदर्भ में मुझे बहुत दिलचस्पी होगी। विशेष रूप से, मैं कठिन अनुकूलन समस्याओं के लिए अनुमानों का अध्ययन कर रहा हूं और मैं अपनी नींव को सबमॉड्यूलर कार्यों में विकसित करना चाहता हूं क्योंकि वे उन अनुकूलन समस्याओं के लिए …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

गैर-नकारात्मक बढ़त भार के साथ एक जुड़े अप्रत्यक्ष ग्राफ पर विचार करें, और दो प्रतिष्ठित कोने s,ts,ts,t । नीचे कुछ पथ समस्याएं दी गई हैं, जो निम्न प्रकार से हैं: एक s−ts−ts-t पथ ढूंढें , जैसे कि पथ पर किनारे भार का कुछ कार्य न्यूनतम है। इस अर्थ में वे …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

रॉबिन गैंडी एलन ट्यूरिंग का छात्र था । गैंडी ने बैबेज के एनालिटिकल इंजन का विश्लेषण किया (देखें 'गैंडी - 1936 में विचारों का संगम', हेरकेन, रॉल्फ - द यूनिवर्सल ट्यूरिंग मशीन-अ हाफ सेंचुरी सर्वे । स्प्रिंगर वर्लाग) में उद्धृत - और यह कहा (cf. पी। 52-53): अंकगणितीय कार्य +, …

10 turing-machines  universal-computation  charles-babbage 

ग्राफ G1, G2 और G3 को देखते हुए, हम G1 और G2 के साथ-साथ G1 और G3 के बीच isomorphism test F करना चाहते हैं। यदि G2 और G3 बहुत समान हैं, तो G3 का गठन एक नोड को हटाने और G2 से एक नोड को सम्मिलित करने से होता …

10 graph-theory  graph-algorithms  graph-isomorphism 

दो-रंगीय परिपूर्ण मिलान समस्या यह तय करना है कि क्या ग्राफ़ में दो रंगों के साथ रंग है जैसे कि प्रत्येक नोड में एक पड़ोसी के समान रंग है। इस समस्या को Schaefer द्वारा एनपी-पूर्ण साबित किया गया था । यह प्लैनर क्यूब ग्राफ के लिए भी एनपी-पूर्ण रहता है। …

10 cc.complexity-theory  np-hardness 

हम के तहत पता इटीएचइटीएचETH हम समाधान नहीं कर सकते ककK में -SUM च( के) पी ओ एल वाई( एन के)च(क)पीओएलy(nक)f(K)poly(nK) किसी भी समारोह के तहत समय च( के)च(क)f(K) (आमतौर पर 2ओ ( के))2हे(क)2^{O(K)} )। वहाँ किसी भी अनुमान है कि रोकता है एक है ( लॉगn )ओ ( के))(लॉग⁡n)हे(क)(\log …

10 cc.complexity-theory  subset-sum 

मैं सोच रहा था कि कोई मुझे पीछे अंतर्ज्ञान दे सकता है कि आगमनात्मक डेटा प्रकारों की सख्त सकारात्मकता मजबूत सामान्यीकरण की गारंटी क्यों देती है। स्पष्ट होने के लिए, मैं देखता हूं कि नकारात्मक घटनाएँ किस तरह से विचलन की ओर ले जाती हैं, अर्थात् परिभाषित करके: data X …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

जटिलता चिड़ियाघर में, यह कहता है कि [ 1 ] वर्णनात्मक जटिलता में, को तीन अलग-अलग प्रकार के सूत्रों द्वारा परिभाषित किया जा सकता है, जो भी है, और रूप में भी। ।पीपीPएफO ( L F)पी)एफहे(एलएफपी)FO(LFP)एफओ ( एन)ओ ( 1 ))एफहे(nहे(1))FO(n^{O(1)})एसओ ( एच)ओ आर एन)एसहे(एचहेआरएन)SO(HORN) हालांकि, कुछ अपवाद हैं, उदाहरण …

10 lo.logic  polynomial-time  descriptive-complexity 

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

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

वर्ग वर्ग फ़ंक्शंस के सर्किट परिवारों द्वारा गणना की जाने वाली कक्षा कार्य है, आकार और गहराई। -hierarchy उन वर्गों का मिलन है।एनसीमैंएनसीमैं\textrm{NC}^inओ ( 1 )nहे(1)n^{O(1)}ओ ( लॉग)मैं( n ) )हे(लॉगमैं⁡(n))O(\log^i(n))एनसीएनसी\textrm{NC} क्या इस पदानुक्रम के रैखिक आकार के प्रकार का कोई अध्ययन है? वह सर्किट फैन ऑफ बाउंडेड फैन-इन, पॉलीग्लो …

10 cc.complexity-theory  circuit-complexity