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

यह अच्छी तरह से स्थापित है हर matroid के लिए कि और किसी भी वजन समारोह , वहाँ बाहर निकालता है एक एल्गोरिथ्म जो की एक अधिकतम वजन के आधार रिटर्न । तो क्या उलटी दिशा भी सच है? यही है, अगर कुछ लालची एल्गोरिथ्म है, तो कुछ मैट्रोइड संरचना …

13 ds.algorithms  greedy-algorithms 

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

13 cc.complexity-theory  np  np-intermediate 

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

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

एक निर्देशित चक्रीय ग्राफ को देखते हुए जहां प्रत्येक किनारे का वजन नकारात्मक हो सकता है "सबसे छोटा रास्ता" की अवधारणा केवल तभी समझ में आती है जब कोई नकारात्मक चक्र न हों, और उस स्थिति में आप बेलमैन-फोर्ड एल्गोरिथ्म को लागू कर सकते हैं। हालाँकि, मैं दो चक्करों के …

13 ds.algorithms  graph-algorithms  shortest-path 

पृष्ठ "उन्नत योजना: कुछ शरारती बिट्स" बताता है: निरंतरता एक शक्तिशाली नियंत्रण-प्रवाह निर्माण है जिसमें से लगभग किसी भी अन्य नियंत्रण-प्रवाह संरचना [...] को प्राप्त किया जा सकता है। मुझे लगा कि call/ccपीटर लैंडिन के जे ऑपरेटर से संबंधित (*) स्कीम का इस्तेमाल किसी भी ज्ञात नियंत्रण प्रवाह संरचना को …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

समकालिक तार्किक सर्किट का उपयोग करके एफएसएम को कैसे लागू किया जाए, यह सिखाते हुए, मैंने एक पेचीदा संयोग देखा: सैद्धांतिक सीएस दुनिया में, और इलेक्ट्रिकल इंजीनियरिंग की दुनिया में, "राज्य" को आमतौर पर (और राज्य स्थान क्यू ) निरूपित किया जाता है । मैं पहली बार EE.sx पर पूछा …

13 automata-theory  ho.history-overview 

मान लें कि हमारे पास परिमाण n, V_n के किसी भी पूर्णांक का वेक्टर प्रतिनिधित्व है यह वेक्टर मशीन लर्निंग एल्गोरिदम का इनपुट है। पहला सवाल: तंत्रिका नेटवर्क या कुछ अन्य वेक्टर-टू-बिट एमएल मैपिंग का उपयोग करके n की मौलिकता / संरचना जानने के लिए किस प्रकार के निरूपण संभव …

13 co.combinatorics  machine-learning  primes 

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

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

मैं एक संदर्भ की तलाश कर रहा हूं (प्रमाण नहीं, जो मैं कर सकता हूं) चेरनॉफ के निम्नलिखित विस्तार के लिए। चलो बूलियन यादृच्छिक चर हो, जरूरी नहीं कि स्वतंत्र हो । इसके बजाय, यह गारंटी है कि P r ( X i = 1 | C ) < p …

13 reference-request  pr.probability  chernoff-bound 

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

13 cc.complexity-theory  complexity-classes  ppad 

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

13 proofs  puzzles  interactive-proofs 

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

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

मान लें एक एक यादृच्छिक (बीपीपी) एल्गोरिथ्म है AAA का उपयोग कर rrr अनियमितता के टुकड़े। करने के लिए सफलता की अपनी संभावना बढ़ाना प्राकृतिक तरीके 1−δ1−δ1-\delta , कोई चुने के लिए δ>0δ>0\delta>0 , कर रहे हैं स्वतंत्र रन + बहुमत: चलाने के AAA स्वतंत्र रूप से T=Θ(log(1/δ)T=Θ(log⁡(1/δ)T=\Theta(\log(1/\delta) । बार, …

12 reference-request  randomness  pseudorandomness  expanders 

को चार वाला एक चक्र होने दें । मनमाने ढंग से ग्राफ के लिए कोने और m किनारों के साथ , कितने s मौजूद हैं? क्या इसके लिए कोई कम बाध्यता है?सी4सी4C_4जीजीGnnnम > n n--√म>nnm>n\sqrt nसी4सी4C_4

12 graph-theory  graph-minor 

मैं एक "टॉप -20" विश्वविद्यालय में तीसरे वर्ष का स्नातक छात्र हूं, जो ठीक-ठाक जटिलता (3-एसयूएम, ओवी और सामान्य रूप से लोकप्रिय कठोरता के अनुमानों के साथ खेलने वाले) पर काम करता है। मैं पिछले वर्ष की तुलना में काफी उत्पादक रहा हूं और 3 स्वीकृत कागजात और दो प्रस्तुत …

12 soft-question