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

पृष्ठभूमि बाह्य मेमोरी, या DAM मॉडल, I / Os की संख्या से एल्गोरिथ्म की लागत को परिभाषित करता है जो इसे निष्पादित करता है (अनिवार्य रूप से, कैश की संख्या याद आती है)। ये रनिंग टाइम आम तौर पर , मेमोरी के आकार और संदर्भ में दिए जाते हैं , …

15 ds.algorithms  ds.data-structures  cache-oblivious 

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

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

निर्भर प्रकार के बिना सिस्टम के लिए, जैसे हिंडले-मिलनर प्रकार प्रणाली, प्रकार अंतर्ज्ञानवादी तर्क के सूत्रों के अनुरूप हैं। वहां हम जानते हैं कि इसके मॉडल हेयिंग बीजगणित हैं, और विशेष रूप से, एक सूत्र को नापसंद करने के लिए, हम एक हीटिंग बीजगणित तक सीमित कर सकते हैं जहां …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

मैं आम तौर पर बेकर-गिल-सोलोवे और कोहेन द्वारा इस्तेमाल की जाने वाली मजबूर विधि में दिलचस्पी रखता हूं। मैं कई स्रोतों की तलाश में हूं क्योंकि मैं अपने हाथों को या तो तकनीक या इसके उपयोग के बारे में जान सकता हूं। क्या किसी के पास सुझाव हैं?

15 cc.complexity-theory  set-theory 

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

15 reference-request  machine-learning  lg.learning 

संभावित प्रमाण प्रणाली PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)] को आमतौर पर प्रतिबंध के रूप में जाना जाता है MAMA\mathcal{MA}, जहां आर्थर केवल f(n)f(n)f(n) यादृच्छिक बिट्स का उपयोग कर सकते हैं और केवल g(n)g(n)g(n) बिट्स की जांच कर सकते हैं मर्लिन द्वारा भेजे गए प्रमाण प्रमाण पत्र (देखें, http://en.wikipedia.org/wiki/Interactive_proof_system#cCP )। हालाँकि, 1990 में, Babai, Fortnow, …

15 cc.complexity-theory  pcp  interactive-proofs 

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

15 ds.algorithms  time-complexity 

यह करने के लिए एक अनुवर्ती सवाल यह है कि यह एक अनंत रेखांकन के बारे में। उस प्रश्न सूची और स्थितियों के उत्तर और टिप्पणियाँ जो स्वाभाविक रूप से अनंत रेखांकन द्वारा मॉडलिंग की जाती हैं। लेकिन अनंत रेखांकन के बारे में कई प्रमेय भी हैं (डिएस्टेल की पुस्तक …

15 graph-theory  co.combinatorics  lo.logic 

पृष्ठभूमि फाटकों के एक सेट पर एक बार पढ़ा जाने वाला सूत्र (जिसे एक आधार भी कहा जाता है) एक ऐसा सूत्र है जिसमें प्रत्येक इनपुट चर एक बार दिखाई देता है। डी-मॉर्गन आधार (जिसमें 2-बिट गेट्स और OR हैं, और 1-बिट गेट नहीं) और पूर्ण बाइनरी बेस (जिसमें सभी …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

हम जानते हैं कि DPLL आधारित SAT-समाधानकर्ताओं की unsatisfiable उदाहरणों पर सही ढंग से जवाब देने के लिए असफल (कबूतर छेद सिद्धांत), उदाहरण के लिए "वहाँ से एक injective मानचित्रण है पर के लिए ": एन + 1 एनPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} …

15 cc.complexity-theory  lo.logic  proof-complexity 

सेट के एक संग्रह पर विचार करें F = { F 1 , F 2 , … , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} एक बेस सेट पर U = { e 1 , e 2 , … , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} जहां | F i | |Fi||F_i| « ≪\ll एनnn और ई …

15 cc.complexity-theory  np-hardness  set-cover  packing 

निम्नलिखित समस्या की कम्प्यूटेशनल जटिलता क्या है: दिए गए दो जटिल matrices एक और बी की जांच अगर वहाँ एक क्रमचय मैट्रिक्स है पी ऐसी है कि: बी = पी ए पी टी ।n × nn×nn\times nएएAबीबीBपीपीPबी = पीए Pटी।बी=पीएपीटी।B = P A P^T. यदि यह मदद करता है, तो …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

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

15 program-verification  formal-methods  se.software-engineering 

लैरी वासरमैन के पास एक हालिया पोस्ट है जहां वह "पी-वैल्यू पुलिस" के बारे में बात करते हैं। वह एक दिलचस्प बिंदु बनाता है (सभी जोर मेरा) (इटैलिक्स में आधार जो मैंने जोड़ा, और इसके नीचे उसकी प्रतिक्रिया): सबसे आम शिकायत यह है कि भौतिकविदों और पत्रकारों ने पी-मूल्य के …

15 ds.algorithms  soft-question  big-list 

यह देखते हुए सेट और बी , एक difunctional संबंध ( ~ ) ⊆ एक × बी उन दोनों के बीच एक रिश्ता निम्नलिखित संपत्ति संतोषजनक होने के लिए परिभाषित किया गया है:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B यदि और एक ' ~ ख ' और एक ~ ख ' …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations