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

मैं एक एसएटी सॉल्वर पर भरोसा करने की संभावना की जांच करना शुरू कर रहा हूं, जिसमें मुझे दिलचस्पी है एक अनुकूलन समस्या से निपटने के लिए, और वर्तमान में मैं एक सर्वेक्षण की तलाश कर रहा हूं जो एसएटी के वेरिएंट के "चतुर" परिवर्तनों का उदाहरण पेश करेगा (अर्थात, …

13 ds.algorithms  reference-request  sat  optimization 

मैं गिनती के रूप में संदर्भित करता हूं वह समस्या है जो किसी फ़ंक्शन के समाधान की संख्या खोजने में शामिल होती है। दरअसल, यह देखते हुए एक समारोह च: एन→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\} (जरूरी नहीं कि ब्लैक बॉक्स), अनुमानित # { X ∈ एन∣ च( x …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

निश्चित पैरामीटर और सन्निकटन कठिन समस्याओं को हल करने के लिए पूरी तरह से अलग दृष्टिकोण हैं। उनकी अलग प्रेरणा है। अनुमानित परिणाम के साथ तेजी से परिणाम के लिए अनुमान लग रहा है। निश्चित पैरामीटर घातांक के संदर्भ में समय की जटिलता के साथ सटीक समाधान की तलाश करता …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

एक समस्या को हल करने की कोशिश करते हुए, मैंने निम्नलिखित पूर्णांक रैखिक कार्यक्रम के रूप में इसका हिस्सा व्यक्त किया। यहाँ हैं जो सभी सकारात्मक पूर्णांक दिए गए हैं। इनपुट का हिस्सा चर का एक निर्दिष्ट उप- सेट शून्य पर सेट है, और बाकी सकारात्मक अभिन्न मान ले सकते …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

हाल ही में, मैं होलोग्राफिक एल्गोरिदम के लिए एक परिचय पर जा रहा था। मैं Pfaffians नामक कुछ दहनशील वस्तुओं के पार आया। मैं वास्तव में इस समय उन लोगों के बारे में ज्यादा नहीं जानता और कुछ आश्चर्यचकित उपयोगों के बारे में पता लगा सकता हूं, जिन्हें लगाया जा …

13 reference-request  co.combinatorics  counting-complexity 

वितरित एल्गोरिदम के लिए कम सीमा साबित करने की विभिन्न तकनीकों की खोज करते समय, यह मेरे लिए हुआ कि रैमसे के प्रमेय के निम्नलिखित प्रकार के अनुप्रयोग हो सकते हैं - अगर यह सच होता है। पैरामीटर: kkk , KKK , nnn दिए गए हैं, और फिर NNN को …

13 reference-request  co.combinatorics  ramsey-theory 

वितरित कंप्यूटिंग मॉडल में दो मुख्य प्रकार की प्रोसेसर विफलताएं हैं: (1) क्रैश विफलताओं: एक प्रोसेसर बंद हो जाता है, और फिर कभी शुरू नहीं होता है। (2) बीजान्टिन विफलताओं: प्रोसेसर प्रतिकूल, दुर्भावनापूर्ण व्यवहार करते हैं। मेरा सवाल यह है कि: कुछ अन्य प्रकार की प्रोसेसर विफलताओं का अध्ययन किया …

13 reference-request  dc.distributed-comp 

वितरित प्रणालियों में गॉसिपिंग समस्या निम्नलिखित है। हमारे पास n कोने के साथ एक ग्राफ । प्रत्येक वर्टेक्स v में एक संदेश m v होता है जिसे सभी नोड्स को भेजा जाना चाहिए।जीGGnnnvvvमvmvm_v अब, मेरा प्रश्न तदर्थ नेटवर्क मॉडल के संदर्भ में है (हम मानते हैं कि एक नोड को …

13 reference-request  dc.distributed-comp 

यह ज्ञात है कि निर्धारित त्रिभुज 3-गुना कई गुना है या नहीं, यह एनपी में एक 3-गोला है, 2004 में शाऊल स्लेइमर द्वारा काम के माध्यम से: "क्षेत्र पहचान एनपी में निहित है" arXiv: math / 0x7047v1 [math.GT] । मैं सोच रहा हूं कि क्या यह पिछले पांच या छह …

13 cc.complexity-theory  reference-request  open-problem  topology 

पृष्ठभूमि: मशीन लर्निंग में, हम अक्सर उच्च आयामी संभावना घनत्व कार्यों का प्रतिनिधित्व करने के लिए चित्रमय मॉडल के साथ काम करते हैं। यदि हम उस अवरोध को त्याग देते हैं जो एक घनत्व 1 को एकीकृत (sums) करता है, तो हमें एक असामान्य ग्राफ़-संरचित ऊर्जा फ़ंक्शन मिलता है । …

13 reference-request  machine-learning  lg.learning  boolean-functions 

दो बाइनरी सर्च ट्री को उनके इन-ऑर्डर ट्रैवर्सल्स में सहमत होने पर रैखिक रूप से समतुल्य कहा जाता है। निम्नलिखित प्रमेय यह बताता है कि पेड़ के घुमाव इतने मौलिक क्यों हैं: A और B को द्विआधारी खोज पेड़ बनाते हैं। तब ए और बी रैखिक रूप से समतुल्य होते …

13 reference-request  ds.data-structures 

यह सत्यापित करना आसान है कि पूर्णांक बिंदुओं के डायमेंशनल ग्रिड को देखते हुए, नियमित आसन्न के साथ, कोई भी आकार n d - 1 का विभाजक पा सकता है (बस किसी भी मध्य हाइपरप्लेन को चुनें, और सभी को हटा दें इसके कोने)। यह सत्यापित करना भी कठिन नहीं …

13 reference-request  cg.comp-geom  lower-bounds 

यह Immerman और Szelepcsényi के लिए धन्यवाद ज्ञात है कि यदि f = Imm ( log ) (यहां तक ​​कि गैर-अंतरिक्ष रचनात्मक कार्यों के लिए भी)।एन एस पी ए सी ई (एफ) = c o N S P A C E ( f))NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)च= Ω ( लॉग )f=Ω(log)f=\Omega(\log) एक …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

ट्रीविदथ और पाथवे लोकप्रिय पैरामीटर हैं, क्रमशः एक ग्राफ को पेड़ या पथ की निकटता को मापते हैं। वास्तव में, ऐसा लगता है कि ट्रेविद इतना लोकप्रिय है कि यह कई पत्रों, पुस्तकों, और व्याख्यान नोट्स में चित्रित किया गया है जो ट्रेविद के एल्गोरिदमिक पहलुओं (यहां तक ​​कि डाउनी …

13 reference-request  graph-algorithms  parameterized-complexity 

क्या यह जाना जाता है कि क्या फीडबैक वर्टेक्स ने बाध्य डिग्री के अप्रत्यक्ष प्लानर ग्राफ पर समस्या का है, ?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness