कंप्यूटर विज्ञान

हिडोकू एक n×nn×nn \times n ग्रिड है जिसमें 1 से तक कुछ पूर्व-पूर्ण पूर्णांक हैं n2n2n^2। लक्ष्य ग्रिड में क्रमिक पूर्णांक (1 से n2n2n^2 ) का मार्ग खोजना है । अधिक ठोस, ग्रिड की प्रत्येक कोशिका के लिए 1 से एक अलग पूर्णांक शामिल होना चाहिए n2n2n^2 और मूल्य के …

15 complexity-theory  reductions  np-hard 

तीन समान रूप से स्थान प्राप्त करने के बारे में एक हालिया पहेली ब्लॉग पोस्ट ने मुझे एक शीर्ष उत्तर के साथ स्टैकओवरफ्लो प्रश्न का नेतृत्व किया जो कि ओ (एन एलजी एन) समय में करने का दावा करता है। दिलचस्प हिस्सा यह है कि समाधान में एक बहुपद को …

15 algorithms  time-complexity 

जब मैंने जटिलता में एक प्रत्यय सरणी का निर्माण करना सीख लिया , तो मुझे प्रत्यय सरणियों के अनुप्रयोगों की खोज करने में दिलचस्पी है। इनमें से एक समय में, दो तारों के बीच सबसे लंबे समय तक सामान्य प्रतिस्थापन का पता लगा रहा है । मैंने इंटरनेट पर निम्न …

15 algorithms  suffix-array 

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

15 computability  automata 

जाहिर है, अगर P=NPP=NP{\sf P}={\sf NP} , में सभी भाषाओं PP{\sf P} को छोड़कर के लिए ∅∅\emptyset और Σ∗Σ∗\Sigma^* होगा NPNP{\sf NP} -Complete। विशेष रूप से ये दो भाषाएं क्यों? क्या हम स्वीकार करते हुए या न स्वीकार करते हुए उन्हें आउटपुट करके में किसी भी अन्य भाषा को कम …

15 complexity-theory  np-complete  reductions 

यह समस्या, मेरे लिए, बहुत दिलचस्प लग रही है। यह एक निर्देशित चक्र में एक सरल चक्र (यानी चक्र जहां दोहराए गए नोड्स नहीं हैं) को खोजने वाला था। मेरा समाधान इस तरह से हो रहा है, यानी, यह ग्राफ एक समस्या है: मुझे पता है कि एक ग्राफ में …

15 algorithms  graphs  enumeration 

व्याख्यान में एक प्रोफेसर ने उल्लेख किया कि आधुनिक कंप्यूटर में ट्यूरिंग मशीन की उतनी कम्प्यूटेशनल शक्ति नहीं है क्योंकि उनके पास अनंत मेमोरी नहीं है, और चूंकि किसी भी कंप्यूटर में असीम मेमोरी नहीं हो सकती है इसलिए ट्यूरिंग मशीन अप्राप्य है और बस ऊपरी सीमा का प्रतिनिधित्व करती …

15 computability 

वर्तमान शतरंज एल्गोरिदम खिलाड़ी की चाल और प्रतिद्वंद्वी की चाल के आधार पर संभावित रास्तों के एक पेड़ के बारे में 1 या शायद 2 स्तर नीचे जाते हैं। मान लें कि हमारे पास एक एल्गोरिथम विकसित करने के लिए कंप्यूटिंग शक्ति है जो एक शतरंज के खेल में प्रतिद्वंद्वी …

15 algorithms  turing-machines 

चलो A को B, यानी लिए reducible किया जाए । इसलिए, को स्वीकार करने वाली ट्यूरिंग मशीन में लिए एक ओरेकल तक पहुंच है । मान लें कि ट्यूरिंग मशीन को और को लिए । कटौती के प्रकार:ए बी ए एम ए बी ओ बीA ≤ बीए≤बीA \leq BएएAबीबीBएएAमएमएM_{A}बीबीBहेबीहेबीO_{B} ट्यूरिंग …

15 complexity-theory  np-complete  reductions  complexity-classes 

मैं कॉर्मेन एट अल द्वारा एल्गोरिदम का परिचय पढ़ रहा हूं । और मैं पेज 73 पर शुरू होने वाले मास्टर प्रमेय का विवरण पढ़ रहा हूं । मामले 3 में एक नियमितता की स्थिति भी है जिसे प्रमेय का उपयोग करने के लिए संतुष्ट होने की आवश्यकता है: ... …

15 algorithms  asymptotics  mathematical-analysis  landau-notation  master-theorem 

मैं केवल कम साधनों के साथ प्राथमिक पत्र (कोई सृजन कार्य, कोई जटिल विश्लेषण, कोई फूरियर विश्लेषण) द्वारा शीर्षक में क्लासिक पेपर प्राप्त करने की कोशिश कर रहा हूं । संक्षेप में, मैं "केवल" यह साबित करना चाहता हूं कि नोड्स के साथ एक पेड़ की औसत ऊंचाई (अर्थात, जड़ …

15 combinatorics  discrete-mathematics  trees  average-case  random-walks 

एक सेट को देखते हुए सेट की, मैं एक सेट प्राप्त करना चाहते एम ऐसी है कि हर सेट एस में एस के कम से कम एक तत्व शामिल एम । मैं यह भी पसंद करेंगे एम संभव के रूप में कुछ तत्वों के रूप में शामिल करने के लिए, …

15 algorithms  optimization  sets 

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

15 reference-request  logic  proof-assistants 

मैं इस संदेश को लिखने के लिए एक डिजिटल कंप्यूटर का उपयोग कर रहा हूं। ऐसी मशीन में एक संपत्ति होती है, जो यदि आप इसके बारे में सोचते हैं, तो यह वास्तव में काफी उल्लेखनीय है: यह एक मशीन है , जिसे यदि उचित रूप से क्रमादेशित किया जाता …

15 computability  turing-machines  history 

मैं एक संकलक भाषा के लिए एक संकलक पर काम कर रहा हूं और प्रकार के अनुमान समर्थन जोड़ना चाहूंगा। मैं हिंडले-मिलनर को समझता हूं, लेकिन मैं जिस प्रकार का सिद्धांत सीख रहा हूं, मैं उसके अनुरूप हूं, इसलिए मैं इस बारे में अनिश्चित हूं कि इसे कैसे अनुकूलित किया …

15 programming-languages  logic  compilers  type-theory  type-checking