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

चूंकि 2 एनपी-पूर्ण समस्याएं एक-दूसरे के लिए परिभाषा के अनुकूल हैं, इसलिए उनमें से एक का समाधान दूसरे को सुलझाने वाले ब्लैक-बॉक्स का उपयोग करके प्राप्त किया जा सकता है, उनके पास समान सन्निकटन अनुपात (उनके अनुकूलन समकक्षों का जिक्र) क्यों नहीं है )? मुझे लगता है कि कुछ निरंतर …

11 cc.complexity-theory  approximation-algorithms  reductions 

मैं (आउट) प्रोग्रामेबिलिटी के साथ रैंडम ओरकल्स शीर्षक से एक पेपर पढ़ रहा था । खंड 2.3 का अंतिम पैराग्राफ पढ़ता है: [हमारे उपन्यास दृष्टिकोण का उपयोग] बोरेल-कैंनेली लेम्मा पर आधारित प्रसिद्ध शास्त्रीय असममित (और वर्दी) व्युत्पन्न तकनीकों को लागू करने की आवश्यकता नहीं है । हमारे ज्ञान का सबसे …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

पैराट्राइज्ड जटिलता में लोग डब्ल्यू [टी] -हार्डनेस साबित करने के लिए फिक्स्ड-पैरामीटर-ट्रैक्टेबल (एफपीटी) कटौती का उपयोग करते हैं। सैद्धांतिक रूप से एक एफपीटी-कमी एक बहुपद-समय की कमी नहीं है, क्योंकि यह पैरामीटर कश्मीर में तेजी से चल सकता है। लेकिन व्यवहार में सभी एफपीटी-कटौती मैंने देखी हैं पी-टाइम में कटौती, …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

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

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

क्षमा करें यदि मुझे प्रश्न पूछने के लिए जगह के साथ गलती हो गई है (शायद मुझे stackoverflow.com/mathoverflowflow पर जाना चाहिए?)। मुझे आश्चर्य है कि अगर कोई सबूत है कि विस्तारित यूक्लिडियन एल्गोरिथ्म का मूल्यांकन करते समय Bézout के गुणांक (जो s और t के रूप में पहचान में है …

11 ds.algorithms  nt.number-theory 

दो-प्रोवर एक-दौर (2P1R) खेल सन्निकटन की कठोरता के लिए एक आवश्यक उपकरण हैं। विशेष रूप से, दो-प्रोवेर एक-राउंड गेम के समानांतर दोहराव एक अनुमान समस्या के निर्णय संस्करण में अंतराल के आकार को बढ़ाने का एक तरीका देता है। देखें सीसीसी 2010 में दौड़ा सूबेदार राज के सर्वेक्षण बात विषय …

11 cc.complexity-theory  approximation-hardness 

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

11 lg.learning  clustering 

इस प्रकार बेवकूफ लग सकता है (और जो शायद मेरी खराब समझ को दर्शाता है - इसलिए कृपया मेरे साथ सहन करें) मैंने पीसीपी प्रमेय पर एक प्रश्न पूछा था। हम जानते हैं कि पहले तीन चरणों के बाद। डिग्री में कमी, Expanderization और गैप प्रवर्धन, हम एक बाधा ग्राफ …

11 cc.complexity-theory  pcp 

मान लें कि एनपी = सह-एनपी और बहुपद 3-CNF उदाहरण x के लिए असंतोषजनकता के प्रमाण की लंबाई को सीमित करता है । तो क्या इस पर कोई परिणाम नहीं हैं फार्म के लिए unsatisfiability के लिए किसी प्रमाण की एक्स लंबाई की ≤ पी ( एक्स ) ले जा …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

क्या किसी भी निकाय को सीधी-सीधी सिमुलता के अर्थ के लिए कोई अच्छा संदर्भ पता है? मैं वर्तमान में कैनेटी के यूनिवर्सल कम्पेटिबिलिटी (UC) फ्रेमवर्क में बहुत गहरे में हूं, लेकिन मुझे स्ट्रेट-लाइन सिमुलैबिलिटी के अर्थ के लिए कोई अच्छा संदर्भ नहीं मिल रहा है। किसी भी मदद की सराहना …

11 cr.crypto-security 

क्या यह निर्धारित करने के लिए कोई अध्ययन किया गया है कि क्या मानव बुद्धि एल्गोरिदम को बेहतर बना सकती है (अर्थात परीक्षण करें कि क्या कोई नि: शुल्क दोपहर के भोजन का सिद्धांत मानव बुद्धि पर लागू होता है)? इसी पंक्तियों के साथ, क्या किसी ने मानव बुद्धि के …

11 ds.algorithms  big-picture  ai.artificial-intel 

यह देखते हुए और एम , प्राप्त करने के लिए यह संभव है एम के 'वें बिट (या किसी भी छोटे आधार का अंक) एन ! ओ / पी ( पी ( एल एन ( एन ) , एल एन ( एम ) ) ) के समय / स्थान में …

11 ds.algorithms  nt.number-theory 

मेरा सवाल थोड़ा सामान्य है, इसलिए मैं इसे सही ठहराने के लिए एक अच्छी कहानी बना रहा हूं। यह यथार्थवादी नहीं है, तो मेरे साथ सहन ;-) कहानी मिस्टर एक्स, एक बड़ी कंपनी में कंप्यूटर सुरक्षा विभाग का प्रमुख, थोड़ा पागल है: उसे पहचान या सूचना चोरी के जोखिमों को …

11 lg.learning 

कोने और किनारों के साथ एक ग्राफ पर विचार करें । को वास्तविक चर साथ लेबल किया जाता है , जहां निश्चित होता है। प्रत्येक किनारे एक "माप" का प्रतिनिधित्व करता है: एज , मैं एक माप प्राप्त करता । अधिक सटीक रूप से, एक सही मायने में यादृच्छिक मात्रा …

11 ds.algorithms  graph-algorithms 

मैं एल्गोरिथम गेम थ्योरी के अपने अध्ययन की शुरुआत कर रहा हूं, और ऐसा लगता है कि आमतौर पर जो संतुलन की अवधारणा है, वह एक ग्राफ में एक निश्चित बिंदु है। हालांकि, क्या लोगों ने वैकल्पिक संतुलन अवधारणाओं को देखा है, जैसे कि सीमा चक्र? मैं कल्पना कर सकता …

11 gt.game-theory