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

किसी भी सरल अप्रत्यक्ष ग्राफ जी को देखते हुए, यह निर्धारित करना nontrivial है कि क्या G के पास nontrivial (गैर-पहचान) ऑटोमोटिव है। लेकिन इस निर्णय समस्या के ऊपरी / निचले सीमा पर परिणाम क्या हैं?

11 cc.complexity-theory  graph-isomorphism  automorphism 

बैरी जे अपनी पुस्तक में कुछ साहसिक दावे करते हैं - मूल रूप से यह कहते हुए कि, एक कार्यक्रम के मूल में, सब कुछ या तो परमाणु या रचना है। फिर चीजों को आसानी से फ़िल्टर किया जा सकता है, फ़िल्टर किया जा सकता है, अपडेट किया जा सकता …

11 fl.formal-languages 

एक निर्देशित ग्राफ में, , , यदि एक DAG (निर्देशित ग्राफ) है, तो को एक प्रतिक्रिया चाप सेट कहा जाता है। G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF यदि प्रत्येक किनारे एक भार साथ जुड़ा हुआ है , तो न्यूनतम लागत प्रतिक्रिया आर्क सेट समस्या एक को खोजने के लिए है कि न्यूनतम है।wwwFFFW(F)W(F)W(F) …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

जॉनसन-Lindenstrauss लेम्मा मोटे तौर पर कहा गया है कि किसी भी संग्रह के में अंक , वहां मौजूद एक नक्शा जहां ऐसा है कि सभी : यह ज्ञात है कि समान कथन मैट्रिक के लिए संभव नहीं हैं , लेकिन क्या यह ज्ञात है कि इस तरह के निचले हिस्से …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

एनपी की परिभाषा पर यहां दो भिन्नताएं हैं। वे (लगभग निश्चित रूप से) अलग-अलग जटिलता वर्गों को परिभाषित करते हैं, लेकिन मेरा सवाल यह है: क्या इन वर्गों में फिट होने वाली समस्याओं के प्राकृतिक उदाहरण हैं? (यहां प्राकृतिक रूप में जो मायने रखता है, उसके लिए मेरी दहलीज सामान्य …

11 cc.complexity-theory  complexity-classes  np 

मैं विशेष रूप से मॉडल जाँच अनुप्रयोगों में उनके उपयोग में रुचि रखता हूं। मेरे पास Baskett et al द्वारा ग्राहकों के विभिन्न वर्गों के साथ Queues के Open, बंद और मिश्रित नेटवर्क हैं। सामग्री पढ़ने के लिए कोई अन्य सुझाव? धन्यवाद।

11 reference-request  markov-chains  queueing-theory  model-checking 

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

11 quantum-computing  quantum-information 

जब मैं ऐसे सॉफ़्टवेयर के बारे में सोचता हूं जो असुरक्षित है तो मुझे लगता है कि यह "बहुत उपयोगी" है और एक हमलावर द्वारा दुरुपयोग किया जा सकता है। तो एक तरह से सॉफ्टवेयर को सुरक्षित करना सॉफ्टवेयर को कम उपयोगी बनाने की प्रक्रिया है। सैद्धांतिक कंप्यूटर विज्ञान में …

11 cr.crypto-security  big-picture 

पी बनाम एनपी समस्या पर स्टीफन कुक के पेपर में, [1] उन्होंने कहा कि निम्नलिखित [२]: व्यवहार्यता थीसिस: एक प्राकृतिक समस्या में एक संभव एल्गोरिथ्म है यदि इसमें एक बहुपद-समय एल्गोरिथ्म है। मेरा सवाल है, वास्तव में वह क्या करता है (या सामान्य तौर पर, एक प्राकृतिक समस्या से) क्या …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

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

11 time-complexity  lambda-calculus 

दो समूहों और को isomorphic iff कहा जाता है, से तक एक समरूपता मौजूद है जो कि विशेषण है। समूह समरूपता समस्या निम्नानुसार है: दो समूह दिए गए हैं, जांचें कि वे समरूपता हैं या नहीं। एक समूह को इनपुट करने के अलग-अलग तरीके हैं, ज्यादातर दो का उपयोग केली …

11 ds.algorithms  gr.group-theory 

यह सर्वविदित है कि एक अवधारणा वर्ग के लिए VC आयाम , यह को प्राप्त करने के लिए पर्याप्त है। PAC learn लिए लेबल किए गए उदाहरण । यह मेरे लिए स्पष्ट नहीं है कि क्या पीएसी लर्निंग एल्गोरिथ्म (जो इन कई नमूनों का उपयोग करता है) उचित या अनुचित …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

बता दें कि कोह कोहेन / बेयर श्रेणी के अर्थ में GGG एक सामान्य आभूषण है। आज्ञा देना RRR यादृच्छिक यादृच्छिक है। क्या A G = B G के साथ A और B की जटिलता कक्षाएं हैं AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R या दूसरी तरह के आसपास, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} सवाल स्कॉट आरोनसन की …

11 cc.complexity-theory  complexity-classes 

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

11 coq  type-inference  proof-assistants 

मुझे ग्राफ के रूप में सामाजिक नेटवर्क के संयोजन गुणों में दिलचस्पी है। लोगों ने डिग्रियों के वितरण, क्लस्टरिंग गुणांक और इन ग्राफों की संपीडनता जैसी चीजों पर ध्यान दिया है। एक मूल प्रश्न यह है कि क्या ये ग्राफ आम तौर पर अच्छे विस्तारक ग्राफ होते हैं? क्या किसी …

11 graph-theory  application-of-theory  expanders