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

गिरार्ड के प्रमाण और प्रकार में हम पढ़ सकते हैं: एक एल्गोरिथम दृष्टिकोण से, सीक्वेंस कैलकुलस में कोई करी-हावर्ड आइसोमोर्फिज़्म नहीं है, क्योंकि एक ही प्रमाण लिखने के तरीकों की भीड़ के कारण। यह हमें इसे टाइप किए गए -calculus के रूप में उपयोग करने से रोकता है , हालांकि …

9 reference-request  logic  parallel-computing 

मैंने इसे MathUnderflow पर पोस्ट किया, लेकिन कोई उत्तर नहीं मिला, इसलिए मैंने सोचा कि मैं इसे यहाँ आज़माऊंगा, मैं राबिन और फिशर के पुराने पेपर को पढ़ रहा हूं [संभव होने पर एक लिंक पोस्ट करेगा] जहां अन्य बातों के अलावा, प्रेस्बर्गर अंकगणित की दोहरी घातीय जटिलता साबित होती …

9 complexity-theory  reference-request  logic 

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

9 reference-request  computational-geometry 

मैंने कई संभावित स्पष्टीकरणों को सुना, इसलिए मुझे कुछ भरोसेमंद संदर्भ चाहिए। अपडेट ०५.१ ९: मुझे इस सवाल में दिलचस्पी है क्योंकि मेरे एक छात्र ने अपनी थीसिस में लिखा है कि नाम नीचे दिए गए स्पष्टीकरण (१) से आया है। अब तक मैंने सोचा / सुना है कि यह …

9 terminology  reference-request  history 

@ बाबू के हालिया प्रश्न का उत्तर मुझे याद दिलाता है कि एक समय पर मुझे लगता है कि मैं डेटा के प्रवाह विश्लेषण के समानता के बारे में एक कागज (दोनों तथ्यों के बारे में जो अनुमान लगाया जा सकता है या सिद्ध किया जा सकता है और इंट्रेंस …

9 reference-request  compilers  type-inference  program-optimization 

यह प्रश्न प्रायिकता सिद्धांत और कम्प्यूटेशनल जटिलता के प्रतिच्छेदन के बारे में है। एक प्रमुख अवलोकन यह है कि कुछ वितरण दूसरों की तुलना में उत्पन्न करना आसान है। उदाहरण के लिए, समस्या एक संख्या दी nnn, समान रूप से वितरित संख्या लौटाएं मैंii साथ में 0 ≤ मैं < …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

मैं निम्नलिखित समस्या देख रहा हूँ: दिया हुआ nnnप्राकृतिक संख्या के आयामी वैक्टर v1, … ,vमv1,…,vmv_1, \ldots, v_m और कुछ इनपुट वेक्टर यूuu, है यूuu का एक रैखिक संयोजन vमैंviv_iप्राकृतिक संख्या गुणांक के साथ? यानी कुछ हैं t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N} कहाँ पे u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

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

9 complexity-theory  formal-languages  reference-request 

हाल ही में, मैंने गणित एसई पर एक प्रश्न पूछा । कोई उत्तर नहीं अब तक। यह प्रश्न उस प्रश्न से संबंधित है, लेकिन कंप्यूटर विज्ञान की ओर अधिक तकनीकी विवरण। दो डीएफए दिए A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) तथा B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) जहां …

9 formal-languages  reference-request  finite-automata 

क्या उप-सम योग समस्या का यह रूप आसान / ज्ञात है? एक पूर्णांक दिया मmm, और सकारात्मक पूर्णांक का एक सेट ए = {एक्स1,एक्स2, । । । ,एक्सn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\} ऐसा हर एक्समैंxix_i सबसे ज्यादा है के = २k=2k=2 बिट्स के लिए सेट 111 (एक्समैं=2खमैं1+2खमैं2,खमैं1,खमैं2≥ 0xi=2bi1+2bi2,bi1,bi2≥0x_i = …

9 complexity-theory  reference-request  decision-problem 

मैं खुद को सॉफ्टवेयर सत्यापन के लिए अलग-अलग दृष्टिकोण सिखाने की कोशिश कर रहा हूं। मैंने कुछ लेख पढ़े हैं। जहां तक ​​मैंने सीखा है, लौकिक के साथ प्रस्ताव तर्क आमतौर पर सैट सॉल्वर (चल - प्रतिक्रियाशील प्रणालियों) के साथ मॉडल की जाँच का उपयोग करता है, लेकिन पहले आदेश …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

समस्या सेट के साथ वेब संसाधनों को सीखने में कोई अच्छा असतत गणित है?

9 reference-request  education  discrete-mathematics 

यह परिमित ऑटोमेटा में एक तुच्छ अभ्यास है, यह दिखाने के लिए कि कोई एल्गोरिथ्म नहीं है जो सभी वायरस का पता लगा सकता है, फिर भी कई सॉफ्टवेयर कंपनियां एंटी वायरस सॉफ़्टवेयर बेच रही हैं। क्या सीएस का कोई हिस्सा है जो वायरस और एंटी वायरस से संबंधित है? …

9 reference-request  security 

कौन सी मशीन लर्निंग एल्गोरिदम (एसवीएम के अलावा) संरचनात्मक जोखिम कम करने के सिद्धांत का उपयोग करती है ?

9 reference-request  machine-learning