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

क्या कोई पूर्णांक प्राथमिकता कतार में है जो निम्न कार्यों के साथ अंतरिक्ष के शब्दों का उपयोग करता है , सभी सबसे खराब स्थिति में और बिना यादृच्छिकता के उपयोग के:ओ ( एन )O(n)O(n) createEmptyQueueमें कुछ निरंतर के लिए ग ।ओ ( एल जी)सीयू)O(lgcU)O(lg^c U)सीcc insertमें ।ओ ( 1 )O(1)O(1) …

12 ds.data-structures 

अवशिष्ट परिमित राज्य ऑटोमेटा (RFSAs, [DLT02] में परिभाषित) NFA हैं जो DFA के साथ आम तौर पर कुछ अच्छी विशेषताएं हैं। विशेष रूप से, हर नियमित भाषा के लिए हमेशा एक विहित न्यूनतम आकार का RFSA होता है, और RFSA में प्रत्येक राज्य द्वारा मान्यता प्राप्त भाषा एक डीएफए की …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

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

12 cc.complexity-theory  polynomial-hierarchy 

मेरे पास वास्तव में बड़े गैर-नियतात्मक परिमित ऑटोमेटन हैं और मुझे इसे डीएफए में बदलने की आवश्यकता है। बड़े तौर पर मेरा मतलब 40 000+ राज्यों से है। अब तक मैंने कुछ प्रयोग किए हैं और डिफ़ॉल्ट एल्गोरिथ्म को प्रोग्राम किया है जो टेबल के माध्यम से खोज करता है …

12 dfa 

यादृच्छिक तरीके के तरीकों पर अधिक हाल के पत्रों में विचार किए गए प्रकार के उत्तल पॉलीहेड्रा की मात्रा का आकलन करने के लिए कुछ ठोस और सम्मोहक अनुप्रयोग क्या हैं? वॉल्यूम आकलन पर इन पत्रों में एक प्रेरणा के रूप में संख्यात्मक एकीकरण का उल्लेख है। उन अभिन्नताओं के …

12 cg.comp-geom  na.numerical-analysis  markov-chains 

क्या हम यह साबित कर सकते हैं कि प्रत्येक भाषा जो कि नहीं है (यह ) , ? वैकल्पिक रूप से, क्या यह किसी भी उचित मान्यताओं के तहत सिद्ध किया जा सकता है?एन पी पी ≠ एन पी पी एल ≠ पी सैटL∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

यह प्रश्न इस पोस्ट से प्रेरित है, क्या आप बहुपद समय में दो क्रमपरिवर्तन के योग की पहचान कर सकते हैं? , और क्रमपरिवर्तन के कम्प्यूटेशनल गुणों में मेरी रुचि। एक मतभेद अनुक्रम क्रमपरिवर्तन की संख्या के 1, 2, \ ldots n + 1 क्रमचय में हर दो आसन्न संख्या …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

मैं बुहरमैन और होमर का एक पेपर पढ़ रहा था " सुपरपोलिनोमियल सर्किट्स, लगभग स्पार्स ओरकल्स और एक्सपोनेंशियल हायरार्की" । पृष्ठ 2 के तल पर वे टिप्पणी करते हैं कि कन्नन के परिणामों का अर्थ है कि NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} में बहुपद आकार के सर्किट नहीं हैं। मुझे पता है कि घातीय …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

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

12 reductions  nondeterminism  pspace 

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

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

PLSPLS\mathsf{PLS} और APXAPX\mathsf{APX} बीच क्या संबंध है ? दूसरे शब्दों में, क्या ऐसी समस्याएं हैं जो एक बहुपद समय स्थानीय खोज को अनुमानित करती हैं? क्या अनुमानित अनुकूलन समस्याएं सामान्य रूप से एक स्थानीय खोज एल्गोरिदम हैं?

12 cc.complexity-theory  approximation-algorithms 

TC0टीसी0\mathsf{TC^0}TC0d⊊TC0d+1टीसीघ0⊊टीसीघ+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}dघd लिए चिड़ियाघर प्रविष्टिTC0टीसी0\mathsf{TC^0} केवल गहराई 2 और 3 के बीच अलगाव का उल्लेख करती है। इस तथ्य के लिए भी एक मानक संदर्भ है कि पदानुक्रम का पतन नहीं होता है?AC0dएसीघ0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

केवल आंशिक रूप से कई राज्यों के साथ एक नियतकालिक आंशिक-सूचना शून्य-शून्य गेम को देखते हुए, जिनके संभावित परिणाम क्रमशः मूल्यों [-1,0, + 1] के साथ [हार, ड्रॉ, जीत] हैं, ऐसे मूल्य का अनुमान लगाने की जटिलता क्या है एक खेल additively भीतर ?εϵ\epsilon विशेष रूप से, मैं ऐसा करने …

12 cc.complexity-theory  gt.game-theory 

यह एक दिलचस्प सवाल है जो मैंने वेब पर पाया है। N संख्याओं वाले एक सरणी को देखते हुए (उनके बारे में कोई जानकारी नहीं), हमें सरणी को रैखिक समय में पूर्व-संसाधित करना चाहिए ताकि हम O (k) समय में k सबसे छोटे तत्वों को वापस कर सकें, जब हमें …

12 sorting 

लीनियर प्रोग्रामिंग और के-मीन्स जैसी कई समस्याओं के लिए सटीक एल्गोरिदम के रनटाइम को समझने के लिए कई बार स्मूदड विश्लेषण को लागू किया गया है। इस दायरे में काफी सामान्य परिणाम हैं, उदाहरण के लिए, हेइको रोगलिन और बर्थोल्ड वॉकिंग, पूर्णांक प्रोग्रामिंग का चिकनी विश्लेषण , 2005। इन सामान्य …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis