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

मुझे पता है कि सवाल "एक पहले के आदेश सूत्र करता सामान्य रूप में अनिर्णनीय एक मॉडल है।"φφ\phi क्या कोई मुझे एक लिंक या एक पुस्तक दे सकता है जो परिमित मॉडल के लिए उत्तर दे। अगर मैं एक पहले के आदेश सूत्र है , यह है कि क्या डिसाइडेबल …

11 reference-request  lo.logic  computability  finite-model-theory 

यह सवाल एक सवाल पर पूछा से प्रेरित हुआ stackoverflow । मान लीजिए कि आपको n नोड्स (लेबल 1 , 2 , … , n ) पर एक जड़दार पेड़ (यानी एक जड़ है और नोड्स के बच्चे आदि हैं) दिए गए हैं ।टीTTnnn1 , 2 , … , एन1,2,…,n1, …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

यह आंशिक बूलियन कार्यों के लिए संचार कम सीमा पर मेरे पिछले प्रश्न का एक निरंतरता है । क्या कोई व्यक्ति nondeterministic multiparty संचार के लिए निचली सीमा पर कोई संदर्भ सुझा सकता है? मैं क्षेत्र में कागजात का सर्वेक्षण कर रहा हूं, लेकिन हर कोई निम्न प्रकार के पृथक्करणों …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

को बिटस्ट्रिंग / लेबल जोड़े पर एक वितरण होने दें और को बूलियन वैल्यू फ़ंक्शंस का एक संग्रह होना चाहिए । प्रत्येक फ़ंक्शन , दें: और जाने दें: कहिए कि एक एल्गोरिथ्म एक agnostically C किसी भी वितरण पर सीखता है , यदि किसी D के लिए यह प्रायिकता के …

11 reference-request  machine-learning  lg.learning 

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

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

एक ग्राफ में, एक स्वतंत्र सेट एक शीर्ष सबसेट है जिसमें एक प्रेरित उपसमूह के रूप में एक किनारे नहीं होता है। एक ग्राफ में सबसे बड़े स्वतंत्र सेट खोजने की समस्या एक मौलिक एल्गोरिथम प्रश्न है, और उस पर एक कठिन है। आइए एक ग्राफ में सबसे बड़े एच-फ्री …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

बहुत सी पाठ्यपुस्तकों में विषय एफ में कमी और सिस्टम एफ के लिए सामान्य सामान्यीकरण के प्रमाणों को देखना आसान है, कभी-कभी, जोड़े के साथ सिस्टम एफ की परिभाषाएं भी होती हैं, जहां (टी, आर) एक शब्द है, न कि केवल एक एन्कोडिंग। सवाल यह है कि इस प्रणाली का …

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

मैं विशेष रूप से मॉडल जाँच अनुप्रयोगों में उनके उपयोग में रुचि रखता हूं। मेरे पास Baskett et al द्वारा ग्राहकों के विभिन्न वर्गों के साथ Queues के Open, बंद और मिश्रित नेटवर्क हैं। सामग्री पढ़ने के लिए कोई अन्य सुझाव? धन्यवाद।

11 reference-request  markov-chains  queueing-theory  model-checking 

द्वारा निरूपित में कम से कम बाहर डिग्री जी , और द्वारा δ - ( जी ) में डिग्री के कम से कम।δ+( जी )δ+(G)\delta^+(G)जीGGδ-( जी )δ−(G)\delta^-(G) एक में संबंधित सवाल है, मैं की Ghouila-Houri विस्तार उल्लेख किया है Hamiltonian चक्र पर डिराक की प्रमेय है, जो पता चलता है …

11 reference-request  graph-theory 

पुस्तक Topological ग्राफ़ थ्योरी सकल और टकर द्वारा, किसी दिए गए के अनुसार सेलुलर एम्बेडिंग एक सतह पर एक ग्राफ की ( 'सतह' से मैं यहाँ कुछ के साथ एक क्षेत्र मतलब हैंडल, और नीचे एस एन के साथ वास्तव में क्षेत्र को संदर्भित करता है n संभालता है), कोई …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

क्या इसके डिजिटलीकरण से एक लाइन खंड की ढलान को ठीक करने पर कोई काम हुआ है? कोई भी सही सटीकता के साथ ऐसा नहीं कर सकता है; जो चाहता है वह डिजीटल लाइन से संभव ढलानों के अंतराल से प्राप्त करने की एक विधि है। (एक डिजीटल लाइन है …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

सबमॉड्यूलर फ़ंक्शंस के सिद्धांत (मूल बातें से उन्नत तक) के संदर्भ में मुझे बहुत दिलचस्पी होगी। विशेष रूप से, मैं कठिन अनुकूलन समस्याओं के लिए अनुमानों का अध्ययन कर रहा हूं और मैं अपनी नींव को सबमॉड्यूलर कार्यों में विकसित करना चाहता हूं क्योंकि वे उन अनुकूलन समस्याओं के लिए …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

मैं सोच रहा था कि कोई मुझे पीछे अंतर्ज्ञान दे सकता है कि आगमनात्मक डेटा प्रकारों की सख्त सकारात्मकता मजबूत सामान्यीकरण की गारंटी क्यों देती है। स्पष्ट होने के लिए, मैं देखता हूं कि नकारात्मक घटनाएँ किस तरह से विचलन की ओर ले जाती हैं, अर्थात् परिभाषित करके: data X …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

मैं ऐसी स्थिति में हूं, जहां मुझे यह दिखाने की जरूरत है कि मैं जिस पर काम कर रहा हूं, उसके लिए भरोसेमंद रूप से टाइप किए गए कैलकुलस के लिए टाइपकास्टिंग निर्णायक है। अब तक, मैं यह साबित करने में सक्षम रहा हूं कि सिस्टम दृढ़ता से सामान्य हो …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

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

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing