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

कुछ गैर-तुच्छ समस्याएं हैं, जहां हमें पता है कि हमारे पास मौजूद एल्गोरिथम हमारे पास मौजूद समान रूप से इष्टतम है? (ट्यूरिंग मशीनों के लिए) और यह कैसे साबित होता है?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

बोलचाल की भाषा में, मैट्रिक्स गुणन प्रतिपादक की परिभाषा ωω\omega सबसे छोटा मान जिसके लिए एक जाना जाता है nωnωn^{\omega} मैट्रिक्स गुणा एल्गोरिथ्म। यह औपचारिक गणितीय परिभाषा के रूप में स्वीकार्य नहीं है, इसलिए मुझे लगता है कि तकनीकी परिभाषा कुछ ऐसी है जैसे कि सभी पर अनंत हैttt जैसे …

15 ds.algorithms  linear-algebra 

आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: singleton: एक आइटम के साथ एक सूची बनाता है, इसके लिए एक पॉइंटर लौटाता है insertAfter: किसी आइटम को एक पॉइंटर दिया जाता है, उसके बाद एक नया आइटम सम्मिलित करता है, एक पॉइंटर को …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

एक श्रेणी में बायप्रोडक्ट्स होते हैं जब एक ही वस्तु उत्पाद और उत्पाद दोनों होते हैं। क्या किसी ने बायप्रोडक्ट्स के साथ श्रेणियों के प्रमाण सिद्धांत की जांच की है? शायद सबसे प्रसिद्ध उदाहरण वेक्टर रिक्त स्थान की श्रेणी है, जिसमें प्रत्यक्ष योग और प्रत्यक्ष उत्पाद निर्माण समान वेक्टर स्थान …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

मुझे टाइप ए के तत्वों के सेट को स्टोर करने की आवश्यकता है। टाइप एक आंशिक रूप से आदेश दिया गया है, इसलिए की तुलना a1a1a_1 और a2a2a_2 छोटे लौट सकते हैं, अधिक से अधिक, के बराबर या इससे अतुलनीय। हैशटेबल्स के साथ एक समस्या यह है कि दो समान …

15 ds.data-structures  functional-programming  sorting 

यह सार्वभौमिक सन्निकटन प्रमेय के माध्यम से जाना जाता है कि एक एकल छिपे हुए परत और एक मनमाना सक्रियण फ़ंक्शन के साथ एक तंत्रिका नेटवर्क किसी भी निरंतर कार्य को अनुमानित कर सकता है। अन्य मॉडल क्या हैं जो सार्वभौमिक फ़ंक्शन सन्निकटनकर्ता भी हैं

15 machine-learning  function  approximation 

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

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

मेरे पास वास्तव में दो प्रश्न हैं: शब्दार्थ का संबंध सबसे पहले किसने तार्किक संबंधों के लिए इस्तेमाल किया? मैंने उन्हें रेनॉल्ड के " ऑन द रिलेशन इन द डायरेक्ट एंड कॉन्टीन्यूएशन सेमेंटिक्स " के लिए वापस ट्रेस किया , लेकिन मैं एक संपूर्ण खोज करने का दावा नहीं कर …

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

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

15 pl.programming-languages  compilers 

पृष्ठभूमि में कार्य एक शास्त्रीय एल्गोरिथ्म के साथ कैसिपोलिनोमियल समय में पीएसी सीखने योग्य होते हैं जिनके लिए बेतरतीब ढंग से चुने गए प्रश्नों की गहराई डी 1 [1] सीखना होता है। यदि कोई फैक्टरिंग एल्गोरिथ्म है तो यह इष्टतम है [2]। बेशक, एक क्वांटम कंप्यूटर पर हम जानते हैं …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

मैं मॉड्यूलर अपघटन और क्लीक-चौड़ाई ग्राफ के बारे में कुछ अवधारणाओं को समझने की कोशिश कर रहा हूं । में इस पत्र ( "पी 4-सुथरा रेखांकन पर"), वहाँ कैसे गुट-नंबर या रंगीन-संख्या मॉड्यूलर अपघटन का उपयोग कर की तरह अनुकूलन समस्याओं को हल करने का एक सबूत है। G1 और …

15 graph-theory  graph-algorithms  cliquewidth 

क्या आप यह बता सकते हैं कि एकरमैन फंक्शन (वास्तव में मैं रोससा पेटर और राफेल रॉबिन्सन द्वारा प्रस्तावित संस्करण में दिलचस्पी रखता हूं) को मानक म्यू-पुनरावर्ती ऑपरेटरों के माध्यम से कैसे बनाया जा सकता है? मैंने पैटर और रॉबिन्सन द्वारा मूल पत्रों की कोशिश की, लेकिन पेटर का पेपर …

15 computability 

एक हिटिंग सेट एक परिवार के S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} एक सबसेट है HHH के ⋃ni=1Si⋃i=1nSi\bigcup_{i=1}^{n} S_i ऐसा है कि H∩Si≠∅H∩Si≠∅H \cap S_i \ne \emptyset के लिए 1≤i≤n1≤i≤n1 \le i \le n । किसी दिए गए परिवार के न्यूनतम हिटिंग सेट को खोजने में समस्या एनपी-कठिन है, क्योंकि यह …

15 cc.complexity-theory  np-hardness  approximation-hardness 

मॉड्यूलर अपघटन की शक्ति और इसके गुणों को बेहतर ढंग से समझने के लिए अच्छे पेपर / किताबें क्या हैं? मैं विशेष रूप से मॉड्यूलर Decomposition के एल्गोरिथम पहलुओं में रुचि रखता हूं। मैंने सुना है कि रेखीय समय में एक ग्राफ के एक मॉड्यूलर अपघटन को खोजना संभव है। …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

कुछ पृष्ठभूमि: Lukasiewicz कई-मान लॉजिक्स मोडल लॉजिक्स के रूप में इरादा कर रहे थे, और Lukasiewicz एक दिया extensional मोडल ऑपरेटर की परिभाषा: (जो उन्होंने Tarski के लिए जिम्मेदार बताते हैं)।◊ ए =घई च¬ एक → एक◊ए=घइच¬ए→ए\Diamond A =_{def} \neg A \to A यह एक अजीब मोडल तर्क देता है, …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic