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

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

13 reference-request  programming-languages  type-theory  category-theory 

विकिपीडिया के ग्राफ समसामयिकता समस्या पृष्ठ से प्रतीत होता है कि, नहीं, यह हल नहीं किया गया है। हालांकि, मेरे एक दोस्त ने ग्राफ आइसोमॉर्फिज़्म के लिए एक बहुपद समय एल्गोरिथ्म को इंगित किया । मैं कागज में तर्क का पालन करने के लिए पर्याप्त परिष्कृत नहीं हूं। मेरे पास …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

क्या गणित समूहों और सीएस औपचारिक भाषाओं या कुछ अन्य कोर सीएस अवधारणा जैसे ट्यूरिंग मशीनों से संबंधित या लिंक करने के लिए कुछ प्राकृतिक या उल्लेखनीय तरीका है ? मैं संदर्भ / आवेदन खोज रहा हूं। हालांकि ध्यान दें कि मैं सेमीफाइगर और सीएस भाषाओं (अर्थात् परिमित ऑटोमेटा के …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

मैं सोच रहा था कि क्या किसी को क्लाइंट सर्वर मॉडल की उत्पत्ति पता थी। शब्द (कागज, सॉफ्टवेयर अनुप्रयोग, पुस्तक) कहां से आता है?

13 terminology  reference-request  distributed-systems  history 

पोस्ट पत्राचार समस्या (पीसीपी) अनिर्णनीय है। पीसीपी की घिरे संस्करण है -Complete और पीसीपी के चिह्नित संस्करण (दो सूचियों में से एक के शब्दों पहले अक्षर में मतभेद के लिए आवश्यक हैं) में है पी एस पी ए सी ई [1]।NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} क्या ये प्रतिबंधित संस्करण अन्य समस्याओं के कुछ जटिलता …

13 complexity-theory  computability  reference-request 

कंप्यूटर विज्ञान में वह लोकप्रिय समस्या है [1] [२] जो न्यूनतम लाइनों की न्यूनतम संख्या का पता लगा रही है जो किसी दिए गए सेट को २ डी में शामिल करती है। हालांकि मैंने कई कागजात स्कैन किए हैं, उनमें से किसी में भी समस्या के लिए स्पष्ट प्रेरणा नहीं …

12 reference-request  computational-geometry  applied-theory 

सबसे खराब स्थिति वाले एसिम्प्टोटिक रनटाइम के संदर्भ में, एनपी-पूर्ण समस्या में सबसे तेजी से ज्ञात (सटीक) एल्गोरिदम क्या है और एल्गोरिथ्म क्या है? क्या ऐसा कुछ ज्ञात है जो से तेज है ?ओ ( एन)2∗ २n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

मैं एक 25k खंड 5k चर SAT समस्या को हल करने की कोशिश कर रहा हूँ। जैसा कि यह एक घंटे (प्रीसोसैट) के लिए चल रहा है और मैं बाद में बड़े लोगों को हल करना चाहूंगा, मैं एक मल्टी-कोर एसएटी-सॉल्वर की तलाश कर रहा हूं। जैसा कि कई SAT-Solvers …

12 algorithms  reference-request  parallel-computing  sat-solvers 

मुझे नहीं पता कि यह एक मजाक था, लेकिन एक बार मैंने पढ़ा कि एक संस्करण की फ़ाइल में एक औपचारिक परिभाषा के रूप में संदर्भित किया गया था जैसे कि गिट, hg या svn। यह एक गणितीय वस्तु की तरह था जैसे कि होमियोमॉर्फिज़्म। क्या यह मजाक था या …

12 terminology  reference-request 

मैं सोच रहा हूँ, 2-रास्ता DFA के लिए शून्यता का निर्धारण करने की समय-जटिलता क्या है? यही है, परिमित ऑटोमेटा जो अपने रीड-ओनली इनपुट टेप पर पीछे की ओर बढ़ सकता है। विकिपीडिया के अनुसार, वे डीएफए के बराबर हैं, हालांकि समकक्ष डीएफए तेजी से बड़ा हो सकता है। मुझे …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

क्या प्रोग्रामिंग भाषा के शब्दार्थों और प्रकार प्रणाली के प्रोटोटाइप के लिए कोई उपकरण है और जो मानक गुणों की कुछ प्रकार की मॉडल जांच की अनुमति देता है , जैसे कि ध्वनि? मैं यह पूछ रहा हूं, क्योंकि मैं मिश्र धातु पर एक किताब पढ़ रहा हूं और यह …

11 reference-request  programming-languages  semantics  model-checking 

मैं सोच रहा था कि क्या कोई -हार्ड समस्याएं हैं जो औसत मामले में `` बहुपद ”हैं। मुझे लगता है कि इसकी व्याख्या करने के दो तरीके हैं?एनपीNPNP यदि , क्या कोई एल्गोरिथ्म (औसत केस) चल रहे समय को निरंतर लिए एक -hard समस्या को हल करने वाला एल्गोरिदम हो …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

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

11 reference-request  logic  books 

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

11 complexity-theory  reference-request  approximation  parameterized-complexity 

यह देखते हुए nnn नौकरियों जे1, जे2, । । । , जेnJ1,J2,...,JnJ_1,J_2,...,J_n , हर काम की आवश्यकता है टीमैं> 0 , टीमैं∈ एनTi>0,Ti∈NT_i > 0, T_i \in N समय पूरा करने के लिए। प्रत्येक कार्य को एक मशीन एम द्वारा पूर्व-संसाधित और पोस्ट-प्रोसेस किया जाना चाहिए जो एक समय में …

11 complexity-theory  reference-request  scheduling