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

में कोई समस्या नहीं है PP\mathsf{P}जो नियतात्मक एल्गोरिदम पर निचले सीमा को बेतरतीब ढंग से एल्गोरिदम बना रहा है? अधिक , क्या हम किसी ऐसे को जानते हैं जिसके लिए ? यहाँ \ mathsf {PTIME} (f (n)) का अर्थ है यादृच्छिक रूप से TM द्वारा स्थिर भाषाओं का सेट, जो …

20 algorithms  complexity-theory  randomized-algorithms 

मैं अपने आप से ऑटोमेटेड थ्योरम प्रोविंग / एसएमटी सॉल्वर / प्रूफ असिस्टेंट सीख रहा हूं और यहां से शुरू होने वाली प्रक्रिया के बारे में सवालों की एक श्रृंखला पोस्ट कर रहा हूं । प्रासंगिक स्वचालित प्रमेय कौन से हैं? मुझे प्रमेय प्रदाताओं की समीक्षा मिली क्या यह अभी …

20 logic  automated-theorem-proving  proof-assistants 

द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग (TAOCP) पढ़ने से पहले , मैंने इन सवालों पर गहराई से विचार नहीं किया है। मैं एल्गोरिदम का वर्णन करने के लिए छद्म कोड का उपयोग करूंगा, उन्हें समझूंगा और केवल विकास के आदेशों के बारे में चल रहे समय का अनुमान लगा सकता हूं। …

20 algorithms  proof-techniques  runtime-analysis 

मान लीजिए कि हमारे पास एक ब्लैक-बॉक्स fff जिसे हम क्वेरी और रीसेट कर सकते हैं। जब हम रीसेट fff , राज्य fSfSf_S के fff एक तत्व सेट से यादृच्छिक पर समान रूप से चुना करने के लिए सेट कर दिया जाता {0,1,...,n−1}{0,1,...,n−1}\{0, 1, ..., n - 1\} जहाँ nnn …

20 algorithms  probability-theory  randomized-algorithms 

वूलसैट और जीसैट बूलियन संतोषजनकता समस्या को हल करने के लिए प्रसिद्ध और सरल स्थानीय खोज एल्गोरिदम हैं। GSAT एल्गोरिथ्म के लिए छद्मकोड को GSAT एल्गोरिथ्म को लागू करने वाले प्रश्न से कॉपी किया जाता है - फ्लिप करने के लिए किस शाब्दिक का चयन करें? और नीचे प्रस्तुत किया …

20 algorithms  data-structures  satisfiability 

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

20 programming-languages  operating-systems 

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

20 algorithms  data-structures  binary-trees  search-trees 

मैं एक सरल प्रोग्राम लिखना चाहूंगा जो विंडोज़ (चौड़ाई + ऊंचाई) और स्क्रीन रिज़ॉल्यूशन के सेट को स्वीकार करता है और स्क्रीन पर उन खिड़कियों की एक व्यवस्था को आउटपुट करता है जैसे कि विंडोज़ सबसे अधिक जगह लेते हैं। इसलिए एक खिड़की का आकार बदलना संभव है, जबकि बनाए …

20 algorithms  computational-geometry  packing  user-interface 

मुझे ध्यान दें कि यह एक होमवर्क समस्या है, कृपया केवल सलाह और संबंधित अवलोकन प्रदान करें, कोई निर्देश नहीं । उस ने कहा, यहाँ मैं देख रहा हूँ समस्या है: HALF-CLIQUE = { | एक अप्रत्यक्ष ग्राफ है जिसमें कम से कम नोड्स के साथ एक पूर्ण उपसमूह होता …

20 complexity-theory  np-complete  reductions 

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

20 programming-languages  formal-methods  semantics  process-algebras 

गणित में केवल एक सीमित पृष्ठभूमि और कंप्यूटर विज्ञान के औपचारिक पहलुओं के साथ अपने पीएचडी शुरू करने वाले छात्रों को देखना असामान्य नहीं है। जाहिर है ऐसे छात्रों के लिए सैद्धांतिक कंप्यूटर वैज्ञानिक बनना बहुत मुश्किल होगा, लेकिन यह अच्छा होगा यदि वे औपचारिक तरीकों का उपयोग करने और …

20 formal-methods  education 

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

20 computability  undecidability 

मुझे आश्चर्य है कि क्या आजकल ग्राफिक कार्ड में व्यापक रूप से समानांतर गणना इकाइयों को प्रदान किया जाता है (एक जो ओपनसीएल में प्रोग्राम करने योग्य है , उदाहरण के लिए) 1 डी सेलुलर ऑटोमेटा (या शायद 2 डी सेलुलर ऑटोमेटा) को कुशलतापूर्वक अनुकरण करने के लिए पर्याप्त है? …

20 computer-architecture  parallel-computing  cellular-automata 

जीसैट एल्गोरिथ्म सबसे अधिक भाग के लिए है, सीधे आगे: आप एक सूत्र को सामान्य रूप में प्राप्त करते हैं और खंडों के शाब्दिक रूप से तब तक फ्लिप करते हैं जब तक कि आपको कोई समाधान नहीं मिलता है जो सूत्र को संतुष्ट करता है या आप अधिकतम_ट्री / …

20 algorithms  satisfiability  3-sat 

संदेश एन्क्रिप्ट करने के लिए एक बार की-पैड कुंजी के साथ तुम क्या ।म1म1m_1ई एन सी ( मीटर 1 , कश्मीर ) = मीटर 1 ⊕ कश्मीरककkइएन सी ( एम1, के ) = एम1⊕ केइnसी(म1,क)=म1⊕कEnc(m_1,k) = m_1 \oplus k आप एक ही उपयोग करते हैं एक अलग संदेश एन्क्रिप्ट करने …

20 cryptography  information-theory  encryption