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

मेरे सभी पाठ्यपुस्तक एक डीएएफए को रीजेक्स दिए जाने के लिए एक ही एल्गोरिदम का उपयोग करते हैं: सबसे पहले, एक एनएफए बनाएं जो रेगेक्स की भाषा को पहचानता है, फिर, सबसेट (उर्फ "पॉवरसेट") निर्माण का उपयोग करते हुए, एनएफए को एक समान डीएफए में परिवर्तित करें ( वैकल्पिक रूप …

11 automata-theory  regular-expressions  dfa 

वहाँ किसी भी है निम्नलिखित गुणों के साथ:L∈NPL∈NPL\in {\bf NP} यह ज्ञात है कि तात्पर्य पी = एन पी ।L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} कोई (जाना जाता है) बहुपद समय ट्यूरिंग की कमी है (या कुछ अन्य एन पी के -Complete समस्या) एल ।SATSATSATNPNP{\bf NP}LLL दूसरे शब्दों में, अगर के …

11 cc.complexity-theory  np-hardness  reductions 

मैं कंप्यूटर विज्ञान में सूरजमुखी प्रणाली और इसके अनुप्रयोगों में दिलचस्प हूं। यह देखते हुए एक ब्रह्मांड और का एक संग्रह कश्मीर सेट एक मैं है एक कहा जाता k-सूरजमुखी प्रणाली अगर एक मैं ∩ एक j = Y सब के लिए मैं ≠ जे । और Y को कोर …

11 co.combinatorics  set-theory 

कुछ पृष्ठभूमि: मैं सीखने के लिए "कम-ज्ञात" कम सीमा (या कठोरता के परिणाम) को एरर्स (एलडब्ल्यूई) की समस्या के साथ सीखने में रुचि रखता हूं, और इसके लिए सामान्य ज्ञान जैसे रिंगों के साथ सीखना। विशिष्ट परिभाषाओं आदि के लिए, यहाँ रेगेव द्वारा एक अच्छा सर्वेक्षण किया गया है: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

वर्तमान में जीनस समस्या की अनुमानितता के बारे में क्या जाना जाता है? एक प्रारंभिक खोज मुझसे कहता है कि एक निरंतर कारक सन्निकटन पर्याप्त घने रेखांकन के लिए तुच्छ है, और एक nϵnϵn^\epsilon -approximation एल्गोरिथ्म की संभावना से इनकार किया गया है। क्या यह जानकारी अप-टू-डेट है, या बेहतर …

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

सर्किट गहराई के लिए किस प्रकार के पदानुक्रम प्रमेय हैं? कथन जैसे अगर और च ( एन ) ∈ एन हे ( 1 ) तो एस मैं जेड ई डी ई पी टी एच ( एन हे ( 1 ) , जी ( एन ) ) ⊊ एस मैं z …

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

आइए हम रंग को थोड़ा शिथिल करें, अर्थात्, हम एक ही रंग को नियत करने के लिए आसन्न कोने की एक छोटी संख्या की अनुमति देते हैं। एक मोनोक्रोमैटिक घटक को उपसमूह में एक समान रंग प्राप्त करने वाले सेट से प्रेरित घटक से जुड़ा हुआ घटक के रूप में …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

मुझे इस सवाल में दिलचस्पी है कि क्या एनपी कोएनपी के बराबर है या नहीं। मैं इस विषय पर पढ़ने के लिए अच्छे प्रकाशनों पर कुछ सलाह की सराहना करता हूँ। रिकॉर्ड के लिए, मुझे पता है कि यह प्रश्न आंतरिक रूप से इस सवाल से जुड़ा है कि पी …

11 cc.complexity-theory  reference-request  p-vs-np 

कौरसल की प्रमेय में कहा गया है कि हर दूसरे ग्राफ लॉरेज में निश्चित मानदण्ड निश्चित रूप से तय की जा सकती है। । यह सबसे प्रसिद्ध एल्गोरिथम मेटा-प्रमेयों में से एक है। कौरसल की प्रमेय द्वारा प्रेरित, मैंने निम्नलिखित अनुमान लगाया: अनुमान : Let किसी भी एमएसओ-definable संपत्ति हो। …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

यह एक भोला सवाल हो सकता है, लेकिन यहाँ जाता है। (संपादित करें - यह अपवित्र नहीं हो रहा है, लेकिन किसी ने भी प्रतिक्रिया की पेशकश नहीं की है; शायद यह प्रश्न मेरे विचार से अधिक कठिन, अस्पष्ट या अस्पष्ट है?) गोडेल की पहली अपूर्णता प्रमेय को हॉल्टिंग समस्या …

11 lo.logic  computability  church-turing-thesis 

यह व्यापक रूप से माना जाता है कि कुछ कम्प्यूटेशनल समस्याएं जैसे कि ग्राफ आइसोमॉर्फिज़्म एनपी-पूर्ण नहीं हो सकता है क्योंकि यह कम्प्यूटेशनल रूप से कठोर (एनपी-हार्ड) होने के लिए पर्याप्त संरचना या अतिरेक के अधिकारी नहीं है। मैं कम्प्यूटेशनल समस्याओं और अतिरेक के उपायों की संरचना के लिए विभिन्न …

11 cc.complexity-theory  graph-isomorphism 

एक ग्रिड का -coloring एक फ़ंक्शन है । में एक टूटी हुई आयत एक tuple संतोषजनक - अर्थात, आयत के तीन कोने एक ही रंग के हैं।kkkm×nm×nm \times nC:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j')C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j)=C(i′,j)=C(i,j′)≠C(i′,j′)C(i,j) = C(i',j) = C(i,j') \ne C(i',j') मुझे निम्नलिखित प्रश्न में दिलचस्पी है: एक फ़ंक्शन के रूप में …

11 co.combinatorics 

मुझे पता है कि कुछ नकारात्मक घटनाएं निश्चित रूप से खराब हो सकती हैं: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C …

11 lo.logic  type-theory  soundness 

क्या प्रोग्रामिंग थ्योरी को अमूर्त बीजगणित के कोई अनुप्रयोग हैं? क्या ऐसा कुछ भी है जो भाषा डिजाइन और संकलक कार्यान्वयन में उपयोगी होगा?

11 pl.programming-languages 

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

11 ds.algorithms  graph-theory  graph-algorithms