examples पर टैग किए गए जवाब

11
सैद्धांतिक कंप्यूटर विज्ञान में आम गलत विश्वास
10/12/08 को संपादित करें: मैं प्रश्न को संशोधित करने की कोशिश करूंगा ताकि यह अधिक लोगों को अपनी राय साझा करने में रुचि ले सके। हमने आपके योगदान की आवश्यकता है! यह पोस्ट MO में एक से प्रेरित है: गणित में आम झूठी मान्यताओं के उदाहरण । बड़ी सूचियां कभी-कभी …

14
कहां और कैसे कंप्यूटर ने एक प्रमेय साबित करने में मदद की?
इस प्रश्न का उद्देश्य सैद्धांतिक कंप्यूटर विज्ञान से उदाहरण एकत्र करना है जहां कंप्यूटर का व्यवस्थित उपयोग सहायक था एक अनुमान के निर्माण में, जो एक प्रमेय की ओर ले जाता है, किसी अनुमान या प्रमाण के दृष्टिकोण को गलत ठहराना एक प्रमाण का निर्माण / सत्यापन (भागों)। यदि आपके …

2
अनुकूलित करना आसान है लेकिन मूल्यांकन करना कठिन है
क्या अनुकूलन समस्याओं का कोई ज्ञात प्राकृतिक उदाहरण है जिसके लिए किसी दिए गए उम्मीदवार समाधान की गुणवत्ता का मूल्यांकन करने की तुलना में एक इष्टतम समाधान का उत्पादन करना बहुत आसान है? संक्षिप्तता की खातिर, हम बहुपद-समय की हल करने योग्य अनुकूलन समस्याओं पर विचार कर सकते हैं: "दिए …

1
हार्टमैनिस-स्टर्न्स अनुमान और गणना योग्य पारलौकिक संख्या
हार्टमैनिस और स्टर्न्स द्वारा 1965 के लेख " एल्गोरिदम की कम्प्यूटेशनल जटिलता पर " में, लेखक अनुमान लगाते हैं कि यदि वास्तविक समय ट्यूरिंग मशीन वास्तविक संख्या गणना करती है, उदाहरण के लिए, आधार 10, तो r या तो एक परिमेय संख्या है या a पारलौकिक संख्या।आरrrआरrr क्या एक कम्प्यूटेशनल …

5
उदाहरण जिसमें वर्णमाला का आकार (
चलो ΣΣ\Sigmaएक वर्णमाला, यानी एक गैर-रिक्त परिमित सेट हो। एक स्ट्रिंग तत्वों (वर्णों) से किसी भी परिमित अनुक्रम हैΣΣ\Sigma। उदहारण के लिए,{0,1}{0,1} \{0, 1\} द्विआधारी वर्णमाला है और 011001100110 इस वर्णमाला के लिए एक स्ट्रिंग है। आमतौर पर, जब तक ΣΣ\Sigma 1 से अधिक तत्व शामिल हैं, तत्वों की सटीक …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.