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

का एक सेट को देखते हुए में अंक घ आयामी इयूक्लिडियन स्थान, समस्या का निर्धारण करने के लिए उत्तल पतवार शामिल करता है, तो इकाई गेंद मूल पर केंद्रित है।nnnघघd क्या एनपी में यह समस्या है? यह सह-एनपी में है क्योंकि एक गवाह के रूप में उत्तल पतवार के बाहर …

10 cc.complexity-theory  cg.comp-geom 

अधिकांश प्रमाण सहायकों के पास "परिमित सेट" की अवधारणा का एक औपचारिककरण है। ये औपचारिकताएं, हालांकि, बेतहाशा भिन्न होती हैं (हालांकि एक उम्मीद है कि वे सभी अनिवार्य रूप से समकक्ष हैं!)। इस बिंदु पर मुझे जो समझ में नहीं आता है वह है डिज़ाइन स्पेस शामिल है, और प्रत्येक …

10 type-theory  dependent-type  finite 

लंबाई के बाइनरी स्ट्रिंग्स की एक गैर-खाली भाषा पर विचार करें । मैं इनपुट के साथ एक बूलियन सर्किट साथ वर्णन कर सकता हूं और एक आउटपुट जैसे कि iff _ सही है : यह अच्छी तरह से जाना जाता है।एन एल सी एन सी ( डब्ल्यू ) डब्ल्यू ∈ …

10 fl.formal-languages  circuit-complexity 

मैं इन वर्गों को समझने की कोशिश कर रहा था, लेकिन हमेशा उलझन में था ... सवाल हैं: और बीच क्या संबंध है , विशेष रूप से यह एक खुला प्रश्न है?# पीएफएनपीएफएनपीFNP# पी#पी\#P और का क्या संबंध है ? क्या यह सवाल खुला है?एन पी⊕ पी⊕पी\oplus PएनपीएनपीNP और बीच …

10 cc.complexity-theory 

मुझे निम्न समस्या है: इनपुट: अंतराल के दो सेट और (सभी समापन बिंदु पूर्णांक हैं)। प्रश्न: क्या एक मोनोटोन बायजेन्सी ?टी एफ : एस → टीएसSSटीTTच: एस→ टीf:S→Tf:S \to T आक्षेप और पर सेट समावेशन आदेश मोनोटोन है । टी ∀ एक्स ⊆ वाई ∈ एस , च ( एक्स …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

सेट कवर समस्या कितनी कठिन है यदि तत्वों की संख्या किसी फ़ंक्शन (जैसे, ) से है जहां समस्या के उदाहरण का आकार है। औपचारिक रूप से,लॉगnlog⁡n\log nnnn Let और जहां और । निम्नलिखित समस्या को तय करना कितना कठिन हैएफ = { एस 1 , ⋯ , एस एन } …

10 np-hardness  set-cover  exp-time-algorithms 

मैंने लगभग ग्राफ रंग में परिणाम के बारे में सुना है, लेकिन स्रोत नहीं मिल रहा है। परिणाम है: हर निरंतर के लिए वहाँ एक पर्याप्त रूप से बड़े मौजूद कश्मीर ऐसी है कि एक रंग कश्मीर के साथ -colorable ग्राफ ज कश्मीर रंग एनपी कठिन है।जhhकkkकkkज कश्मीरhkhk क्या कोई …

10 reference-request  approximation-hardness  graph-colouring 

ग्राफ समाकृतिकता (निर्णय समस्या) में है ? यहाँ निर्णय की समस्याओं का एक वर्ग है जिसे एक अस्पष्ट ट्यूरिंग मशीन द्वारा स्वीकार किया जाता है ( जटिलता चिड़ियाघर देखें )।यू पी ∩ सी ओ यू पीUP∩coUP\mathsf{UP}\cap \mathsf{coUP}यू पीUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

क्या निम्न समस्या के लिए ज्ञात एल्गोरिदम हैं जो भोली एल्गोरिथम को हराते हैं? इनपुट: एक सिस्टम का मीटर असमानताओं रैखिक।एक एक्स ≤ बीAx≤bAx \le bमmm आउटपुट: एक संभव समाधान यदि कोई मौजूद है।एक्स*∈ { 0 , 1 }nx∗∈{0,1}nx^*\in \{0,1 \}^n मान लें कि और b में पूर्णांक प्रविष्टियाँ हैं। …

10 np-hardness  integer-programming  exp-time-algorithms 

पूर्णांक गुणांक वाले बहुपद की सभी पूर्णांक जड़ों को खोजने के लिए हम किस एल्गोरिथ्म का उपयोग कर सकते हैं ?च( x )च(एक्स)f(x) मैं देखता हूं कि ऋषि कुछ सेकंड के भीतर जड़ों को पा सकते हैं, तब भी जब सभी गुणांक बहुत बड़े होते हैं। यह कैसे करने में …

10 ds.algorithms  na.numerical-analysis 

जटिलता वर्ग को निम्नानुसार परिभाषित किया गया है ( विकिपीडिया से ):एसपी2S2P\textrm{S}_2^\textrm{P} एक भाषा में है यदि वहां मौजूद एक बहुपद समय विधेय ऐसी है किएलLLएसपी2S2PS_2^PपीPP यदि , तो वहां मौजूद एक ऐसा है कि सभी के लिए ,x ∈ एलएक्स∈एलx \in Lyyyzzzपी( एक्स , वाई, ज़ेड) = 1पी(एक्स,y,z)=1P(x,y,z)=1 यदि …

10 cc.complexity-theory  complexity-classes 

आइए हम बिट्स के एक सेट पर कार्यों की एक कक्षा को परिभाषित करते हैं । ठीक दो वितरण पी , क्यू कि कर रहे हैं "यथोचित" एक दूसरे से अलग हैं (यदि आप चाहें, तो अपने परिवर्तन संबंधी दूरी कम से कम है ε , या कुछ इसी तरह)।nnnp,qp,qp, …

10 lg.learning 

संचार जटिलता में, लॉग-रैंक अनुमान बताता है कि सी सी ( एम) = ( लॉगआर के ( एम)) )ओ ( 1 )सीसी(म)=(लॉग⁡आरक(म))हे(1)cc(M) = (\log rk(M))^{O(1)} जहाँ M ( x , y ) और r k ( M )सी सी ( एम)सीसी(म)cc(M) की संचार जटिलता है , वह वास्तविक की तुलना …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

क्या CNF फ़ार्मुलों का एक प्राकृतिक वर्ग है - अधिमानतः एक जिसे पहले साहित्य में अध्ययन किया गया है - निम्नलिखित गुणों के साथ:सीसीC सीसीC , SAT का एक आसान मामला है, जैसे कि Horn या 2-CNF, यानी में सदस्यता को बहुपद समय में परखा जा सकता है, और सूत्र …

10 sat  proof-complexity 

रेज़बोरोव द्वारा एक बातचीत में, एक जिज्ञासु थोड़ा बयान पोस्ट किया गया है। यदि FACTORING कठिन है, तो Fermat की छोटी प्रमेय में सिद्ध नहीं है S12S21S_{2}^{1}। क्या है S12S21S_{2}^{1}और वर्तमान सबूत में क्यों नहीं हैं S12S21S_{2}^{1}?

10 cc.complexity-theory  lo.logic  proof-complexity