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

aaabbbaaabbbaaabbbO(mlogmloglogm)O(mlog⁡mlog⁡log⁡m)O(m\log m\log\log m)mmmmax{a,b}max{a,b}\max\{a,b\}Ω(mlogmloglogm)Ω(mlog⁡mlog⁡log⁡m)\Omega(m\log m\log\log m) इस समस्या की निचली सीमा है? धन्यवाद और का संबंध है, और खेद है अगर यह इस तरह के एक भोली सवाल है।

12 time-complexity  lower-bounds  nt.number-theory  primes 

मैं एक छोटे से ग्राफ के लिए देख रहा हूँ जिसका वेक्टर रंगीन संख्या रंगीन संख्या, से छोटी है χ वी ( जी ) &lt; χ ( जी ) ।GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( वेक्टर रंगीन संख्या है क्ष अगर वहाँ एक काम एक्स : वी → आर डी , जहां सहज पड़ोसी …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

सिंप्लेक्स एल्गोरिथ्म को अक्सर वास्तविक अंकगणित के भीतर या सटीक गणनाओं के साथ असतत दुनिया में माना जाता है। हालांकि, इसे सबसे अधिक बार फ्लोटिंग-पॉइंट अंकगणित के साथ लागू किया जाता है। यह इस सवाल की ओर जाता है कि क्या सिम्प्लेक्स एल्गोरिथ्म को संख्यात्मक एल्गोरिदम के रूप में माना …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

सुडोकू एक प्रसिद्ध पहेली है जो एनपी-पूर्ण है। बाइनरी सुडोकू एक ऐसा संस्करण है जो केवल संख्या और 1 की अनुमति देता है । नियम इस प्रकार हैं।000111 प्रत्येक पंक्ति और प्रत्येक कॉलम में शून्य और समान संख्या होनी चाहिए। प्रत्येक पंक्ति और प्रत्येक स्तंभ अद्वितीय है। किसी भी पंक्ति …

12 cc.complexity-theory  np-hardness  puzzles 

मैं बाध्य डिग्री के साथ रेखांकन के शीर्ष रंग पर कठोरता के परिणामों की तलाश कर रहा हूं। ग्राफ को देखते हुए , हम जानते हैं कि किसी भी , यह लगभग एक कारक के भीतर के लिए कठिन है जब तक कि [ 1 ]। लेकिन क्या होगा यदि …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

शेफर की द्विभाजन प्रमेय से पता चलता है कि प्रत्येक CSP समस्या से अधिक या तो बहुपद समय में हल करने योग्य है या एनपी-पूर्ण है। यह केवल उदाहरण के लिए, SAT और हॉर्न-SAT को छोड़कर, बंधी हुई चौड़ाई की CSP समस्याओं के लिए लागू होता है। अनबाउंड चौड़ाई की …

12 cc.complexity-theory  lo.logic  csp 

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

12 co.combinatorics  linear-programming  integer-programming 

व्यापक रूप से गलत होने के लिए अनुमान लगाया गया है।आर पी=NPRP=NPRP = NP लेकिन एक पल के लिए कल्पना कीजिए कि यह सच है। ऐसे मामले में, उस कितनी संभावना होगी ?P=NPP=NPP = NP दूसरे शब्दों में कहें: एक ऐसी दुनिया में जहां , अभी भी हमें पी = …

12 cc.complexity-theory  complexity-classes  conditional-results 

इस प्रश्न से प्रेरित , मैं निम्नलिखित के बारे में उत्सुक हूं: यह जाँचने की सबसे खराब स्थिति क्या है कि क्या कोई दिया गया DFA उसी भाषा को एक नियमित अभिव्यक्ति के रूप में स्वीकार करता है? क्या यह ज्ञात है? आशा यह होगी कि यह समस्या पी में …

12 automata-theory  lg.learning  regular-expressions  dfa 

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

12 cc.complexity-theory  time-complexity  p-vs-np 

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

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

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

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

इसका विस्तार थ्रेशोल्ड ग्राफ द्वारा किया गया है । एक सीमा ग्राफ को देखते हुए जहां सी गुट है और मैं स्वतंत्र सेट है, मेरे विस्तार के रूप में है इस प्रकार है: प्रत्येक शिखर वी ∈ मैं एक नया गुट द्वारा बदला जा सकता है कश्मीर वी इस तरह …

12 graph-theory  graph-classes 

क्या कोई व्यक्ति दो समान (समान भाषा को पहचानते हुए) न्यूनतम गैर-नियतात्मक ऑटोमेटा (एनएफए) का उदाहरण प्रदान कर सकता है जो आइसोमॉर्फिक नहीं हैं?

12 fl.formal-languages  automata-theory 

यहाँ: http://www.planarity.org/Klein_elementary_graph_theory.pdf (अध्याय एम्बेडिंग में) को प्लानेर ग्राफ के कॉम्बिनेटरियल एम्बेडिंग की परिभाषा दी गई है । (चेहरों की परिभाषा और इसी तरह) हालांकि इसे आसानी से किसी भी ग्राफ के लिए इस्तेमाल किया जा सकता है, वे प्लानर ग्राफ को ग्राफ के रूप में परिभाषित करते हैं, जिसके लिए …

12 graph-theory  co.combinatorics  planar-graphs