reference-request पर टैग किए गए जवाब

चलो सेट को और C (n, k) को दोहराए बिना से तत्वों के सभी -combinations के सेट को निरूपित करें । चलो एक होना में -tuple । हम कहते हैं कि एक क्रमपरिवर्तन सेट का से बचता है यदि पूर्णांक k का कोई tuple नहीं है ऐसा [n][n][n]के [ एन …

15 reference-request  co.combinatorics  permutations 

यह प्रतीकात्मक निष्पादन की विकी प्रविष्टि में लिखा गया है , लेकिन मुझे इसके लिए कोई संदर्भ नहीं मिल रहा है। क्या कोई मुझे पॉइंटर दिखा सकता है? धन्यवाद।

15 reference-request  lo.logic  program-analysis 

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

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

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

15 reference-request  machine-learning  lg.learning 

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

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

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

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

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

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

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

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

मॉड्यूलर अपघटन की शक्ति और इसके गुणों को बेहतर ढंग से समझने के लिए अच्छे पेपर / किताबें क्या हैं? मैं विशेष रूप से मॉड्यूलर 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 

बानाच के निश्चित बिंदु प्रमेय में कहा गया है कि यदि हमारे पास एक गैर-रिक्त पूर्ण मीट्रिक स्थान AAA , तो कोई समान रूप से संकुचनशील कार्य f:A→Af:A→Af : A \to A में एक विशिष्ट निश्चित बिंदु μ(f)μ(f)\mu(f) । हालांकि, इस प्रमेय का सबूत पसंद का स्वयंसिद्ध की आवश्यकता है …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

मैं मोडल सबस्ट्रक्चरल लॉजिक्स पर कागजात और लेखों की तलाश कर रहा हूं- लीनियर लॉजिक मोडैलिटीज के शब्दार्थों पर नहीं, बल्कि स्टैंडर्ड मोडल ऑपरेटर्स के साथ संवर्धित सबस्ट्रक्चरल लॉजिक्स पर, जैसे सबस्ट्रक्चरल के (बॉक्स ऑपरेटर, आवश्यकता और के नियमों के साथ MALL जैसा कुछ)।

15 reference-request  lo.logic  proof-theory 

जैसा कि सभी जानते हैं, गैरी और जॉनसन की प्रसिद्ध पुस्तक (और कई अन्य) शास्त्रीय सेटिंग में कमी तकनीक के लिए एक उत्कृष्ट संदर्भ प्रदान करती है। क्या पैरामीटर एल्गोरिथम में कमी तकनीक के विषय पर कोई सर्वेक्षण या किताबें हैं, जो एफटीपी में कमी कहती हैं?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

जब पेपर " एफपीएच के लिए एक आवेदन सिद्धांत " आप निम्नलिखित मार्ग का सामना कर सकते हैं: कम्प्यूटेशनल जटिलता के वर्गों को चिह्नित करने वाले सिद्धांतों को ध्यान में रखते हुए, तीन अलग-अलग दृष्टिकोण हैं: एक में, जिन कार्यों को सिद्धांत के भीतर परिभाषित किया जा सकता है, वे …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

मुझे क्रिप्टोग्राफी के लिए छद्म यादृच्छिक संख्या की पीढ़ी में दिलचस्पी है। मेनेजेस / ओर्सचॉट / वनस्टोन के अध्याय 5 के अलावा ; स्टिन्सन का अध्याय 8 ; और गोदरेज का अध्याय 3 , मुझे और कहां मिल सकता है? मैं PRNGs (वांछनीय गुण, परीक्षण, आदि) के डिजाइन के लिए …

15 cc.complexity-theory  reference-request  pseudorandomness