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

क्या सीएस में समस्याएं हैं, जहां कोई कुशल एल्गोरिदम ज्ञात नहीं है, अस्तित्व के बावजूद ऐसे कुशल एल्गोरिदम साबित होने चाहिए? इन समस्याओं को क्या कहा जाता है? मैं कहां और अधिक मिल सकता है?

22 ds.algorithms  reference-request  terminology 

मुझे कम्प्यूटेशनल कार्यों की अवधारणा को पढ़ाने में कठिनाई होती है। मैंने यह विचार विकसित करने की कोशिश की कि हिल्बर्ट / एकरमैन / गोडेल / ट्यूरिंग / चर्च / ... जैसे शोधकर्ताओं ने 'कम्प्यूटेबिलिटी' की धारणा का आविष्कार क्यों किया। छात्रों ने तुरंत पूछा: "कम्प्यूटेबिलिटी का क्या मतलब है?" …

22 soft-question  computability  turing-machines  teaching 

यह सवाल Aadita Mehra द्वारा पूछे गए डीएनए एल्गोरिदम के बारे में एक सवाल है । वहाँ टिप्पणियों में, जो Fitzsimmons ने कहा, भाग में: [T] इससे बचने के लिए उसे सिस्टम के त्रिज्या को बड़े पैमाने पर आनुपातिक रूप से मापना चाहिए। कम्प्यूटेशनल शक्ति बड़े पैमाने पर बड़े पैमाने …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

यह प्रश्न बाइनरी संख्याओं के सामान्य गुणन और बहुपद गुणन मॉड के बीच संबंध के बारे में है। प्रश्न को ठोस बनाने के लिए, मैं आदर्श रूप से जानना चाहूंगा कि क्या नूथ वॉल्यूम से प्रश्न का बेहतर समाधान है। पुस्तक में दिए गए 2, 3 संस्करण, पृष्ठ 420। "क्या …

22 ds.algorithms  reductions  time-complexity 

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

22 cr.crypto-security  homomorphic-encryption  obfuscation 

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

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

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

22 co.combinatorics  puzzles 

पिछले कुछ महीनों में मैंने खुद को सामाजिक पसंद, तीर के प्रमेय और संबंधित परिणामों पर व्याख्यान देना शुरू किया। सेमिनल परिणामों के बारे में पढ़ने के बाद, मैंने खुद से पूछा कि आंशिक ऑर्डर वरीयताओं के साथ क्या होता है, इसका जवाब पीनी एट अल के पेपर में है …

22 co.combinatorics  gt.game-theory  boolean-functions  social-sciences 

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

22 reference-request  spectral-graph-theory 

निम्नलिखित समस्या के समय की जटिलता के बारे में क्या जाना जाता है, जिसे हम 3-एमयूएल कहते हैं? एक सेट को देखते हुए के पूर्णांकों, वहाँ तत्वों ऐसी है कि ?एन ए , बी , सी ∈ एस ए बी = सीSSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c यह समस्या 3-SUM समस्या के समान है, …

22 cc.complexity-theory  ds.algorithms  time-complexity 

एल्गोरिथम के चलने के समय का विश्लेषण करने के कुछ तरीके इस प्रकार हैं: 1) सबसे खराब स्थिति विश्लेषण: सबसे खराब उदाहरण पर समय चल रहा है। 2) औसत-केस विश्लेषण: एक यादृच्छिक उदाहरण पर चलने का समय। 3) परिशोधित विश्लेषण: उदाहरणों के सबसे खराब अनुक्रम पर औसत चलने का समय। …

22 ds.algorithms 

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

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

मूल Nondeterministic Time Hierarchy प्रमेय कुक के कारण है (लिंक एस कुक के लिए है, nondeterministic समय जटिलता के लिए एक पदानुक्रम , JCSS 7 343-353, 1973)। प्रमेय बताता है कि किसी भी वास्तविक संख्या के लिए और , यदि r_1 r_2 है तो NTIME ( r_1 ) सख्ती से …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

स्कॉट आरोनसन ने एक दिलचस्प चालान का प्रस्ताव किया : क्या हम आज सीएस कंप्यूटर्स का उपयोग उसी तरह से सीएस की समस्याओं को हल करने में कर सकते हैं, जिस तरह से भौतिक विज्ञानी बड़े कण कोलाडर का उपयोग करते हैं? अधिक संक्षेप में, मेरा प्रस्ताव दुनिया की कुछ …

22 cc.complexity-theory 

मुझे समझ में नहीं आता है कि लगभग सभी सैट सॉल्वर DNF के बजाय CNF का उपयोग क्यों करते हैं। यह मुझे लगता है कि डीएनएफ का उपयोग करके सैट को हल करना आसान है। आखिरकार, आपको बस इम्प्लांट्स के सेट के माध्यम से स्कैन करना होगा और यह जांचना …

22 ds.algorithms  sat