reference-request पर टैग किए गए जवाब

यह मेरी समझ है कि कम्प्यूटिंग का वर्णन करते समय ट्यूरिंग का मॉडल "मानक" बन गया है। मुझे यह जानने में दिलचस्पी है कि यह मामला क्यों है - यही कारण है कि, टीएम मॉडल अन्य सैद्धांतिक रूप से समकक्ष (मेरी जानकारी के लिए) मॉडल की तुलना में अधिक व्यापक …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

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

42 cc.complexity-theory  reference-request  big-list  survey 

क्या किसी को सैद्धांतिक कंप्यूटर विज्ञान के लिए गॉर्नर बेस के दिलचस्प अनुप्रयोगों के बारे में पता है ? Gröbner ठिकानों का उपयोग बहु-चर बहुपद समीकरणों को हल करने के लिए किया जाता है, सामान्य रूप से एक एनपी-कठिन समस्या। मैं सोच रहा था कि क्या TCS या TCS- संबंधित …

41 cc.complexity-theory  reference-request  algebra  polynomials 

1937 में ट्यूरिंग ने ट्यूरिंग मशीन का वर्णन किया। तब से कम्प्यूटेशन के कई मॉडल एक मॉडल को खोजने के प्रयास में घोषित किए गए हैं जो एक वास्तविक कंप्यूटर की तरह है लेकिन एल्गोरिदम को डिजाइन और विश्लेषण करने के लिए अभी भी काफी सरल है। नतीजतन, हमारे पास …

41 ds.algorithms  reference-request  soft-question  machine-models 

यह math.stackexchange से एक क्रॉस-पोस्ट है । FACT पूर्णांक फैक्टरिंग समस्या को बताए: दिए गए primes और पूर्णांक जैसे किn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. बता दें कि RSA फैक्टरिंग समस्या के विशेष मामले को निरूपित करता है जहां और प्राइम हैं। यदि ऐसा कोई कारक …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

मैं "सही मायने में यादृच्छिक" संख्याओं की पीढ़ी को सुनिश्चित करने के लिए एक निश्चित उत्तर चाह रहा हूं कि ट्यूरिंग कम्प्यूटेबल है। मैं नहीं जानता कि यह कैसे मुहावरा है। StackExchange प्रश्न "रैंडम नंबर जनरेशन के लिए कुशल एल्गोरिदम" मेरे प्रश्न का उत्तर देने के करीब आता है। चार्ल्स …

39 reference-request  computability  turing-machines  randomness 

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

38 reference-request  big-list  survey  gct 

क्या कोई संदर्भ (ऑनलाइन या पुस्तक रूप में) हैं जो सबूत तकनीक द्वारा टीसीएस प्रमेयों को व्यवस्थित और चर्चा करते हैं? गैरी और जॉनसन एनपी-पूर्णता प्रमाण (विशेष रूप से उनकी पुस्तक के अध्याय 3) के लिए आवश्यक विभिन्न प्रकार के विजेट निर्माणों के लिए ऐसा करते हैं, लेकिन मैं सोच …

38 reference-request  proof-techniques 

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

37 reference-request  lo.logic  set-theory 

में विचार किए जाने पर कई ज्यामितीय समस्याएं आसान होती हैं , लेकिन लिए में NP- पूर्ण (मेरी पसंदीदा समस्याओं में से एक, यूनिट डिस्क कवर सहित)।R1R1R^1RdRdR^dd≥2d≥2d\geq2 क्या किसी को ऐसी समस्या के बारे में पता है जो और लिए पॉलीटाइम सॉल्व है , लेकिन लिए NP-complete है ? R1R1R^1R2R2R^2Rd,d≥3Rd,d≥3R^d,d\geq3 …

37 cc.complexity-theory  reference-request  cg.comp-geom 

कंप्यूटर कार्यक्रमों की बढ़ती जटिलता और हमारे समाज में तेजी से महत्वपूर्ण स्थिति वाले कंप्यूटरों ने मुझे आश्चर्यचकित किया है कि हम अभी भी सामूहिक रूप से प्रोग्रामिंग भाषाओं का उपयोग क्यों नहीं करते हैं जिसमें आपको औपचारिक प्रमाण देना होगा कि आपका कोड सही तरीके से काम करता है। …

37 reference-request  complexity-classes  computability  pl.programming-languages 

यह एक गैर-तकनीकी प्रश्न है, लेकिन निश्चित रूप से टीसीएस समुदाय के लिए प्रासंगिक है। यदि अनुचित माना जाता है, तो बंद करने के लिए स्वतंत्र महसूस करें। जटिलता चिड़ियाघर वेबपेज (http://qwiki.stanford.edu/index.php/Complexity_Zoo) निश्चित रूप से पिछले कुछ वर्षों में टीसीएस समुदाय के लिए महान सेवा की गई है। जाहिर है …

36 cc.complexity-theory  reference-request  soft-question 

सामान्य तौर पर हम जानते हैं कि परीक्षण की जटिलता किसी इनपुट पर दिए गए इनपुट पर फ़ंक्शन का मूल्यांकन करने की तुलना में किसी विशेष इनपुट पर एक विशेष मूल्य लेती है या नहीं। उदाहरण के लिए: एक नॉनजेगेटिव पूर्णांक मैट्रिक्स के स्थायी का मूल्यांकन # पी-हार्ड है, फिर …

36 cc.complexity-theory  reference-request  algebraic-complexity 

समस्या बहुपद गणना करने के लिए है । मान लें कि सभी गुणांक एक मशीन शब्द में फिट होते हैं, अर्थात इकाई समय में हेरफेर किया जा सकता है।(a1x+b1)×⋯×(anx+bn)(a1x+b1)×⋯×(anx+bn)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) आप एक पेड़ के फैशन में एफएफटी लागू करके समय कर …

35 ds.algorithms  reference-request  open-problem  polynomials 

निम्नलिखित गिनती समस्या (या संबंधित निर्णय समस्या) पर विचार करें: दो सकारात्मक पूर्णांक द्विआधारी में एन्कोडेड को देखते हुए, उनकी सबसे बड़ी सामान्य भाजक (gcd) की गणना करें। इस समस्या में निहित सबसे छोटी जटिलता वर्ग क्या है? क्या आप एक संदर्भ प्रदान कर सकते हैं? इस सवाल में मुझे …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory