cc.complexity-theory पर टैग किए गए जवाब

~ 1 has सदी से अधिक पुरानी रीमैन परिकल्पना का गणित में गहरा प्रभाव है और गणित सिद्धांत का एक बड़ा हिस्सा अब इस पर और कई प्रकारों पर सशर्त रूप से साबित हो गया है। मैं हाल ही में Riemann परिकल्पना के आधार पर TCS में एक सशर्त परिणाम …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

मेरा प्रश्न QED (क्वांटम इलेक्ट्रोडायनामिक्स) के लिए क्वांटम एल्गोरिदम के बारे में है जो ठीक संरचना स्थिरांक से संबंधित संगणना है। इस तरह की संगणना (जैसा कि मुझे समझाया गया है) टेलर-सीरीज़ सीरीज़ गणना करने के लिए जहाँ Alpha ठीक संरचना स्थिर (लगभग 1/137) है और -loops के लिए Feynman …

10 cc.complexity-theory  quantum-computing  physics 

क्या कोई समस्याएँ हैं जो बहुपद समय में हल करने योग्य हैं यदि केवल P! = NP, और अन्यथा सॉल्वेबल (कहते हैं) समय है?O(2n)O(2n)O(2^n) एक सरल उदाहरण होगा: यदि पी! = एनपी, एक यादृच्छिक n-बिट संख्या के लिए एक मौलिकता परीक्षण की गणना करता है, अन्यथा, प्रत्येक पक्ष पर 2n …

10 cc.complexity-theory  reference-request 

रियल-रैम / बीएसएस मॉडल का उपयोग करते हुए, हमारे पास कक्षा एनपी आर है , (जहां एक बीएसएस वास्तविक से अधिक संचालन वाले कंप्यूटर का ब्लम-शुब-स्मेल मॉडल है)। हमारे पास एनपी आर पूरी समस्याएं हैं। तो, सवाल यह है कि क्लास एनपी आर के लिए बर्मन हार्टमैनिस अनुमान का एक …

10 cc.complexity-theory  computing-over-reals 

प्लानर 3-सैट की मानक परिभाषा क्या है? मैंने कई तरह की परिभाषाएँ देखी हैं। मूल कागज क्या था जिसने इसे परिभाषित किया और इसे एनपी-पूर्ण साबित किया?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

आइए एक भाषा में NP को केवल और केवल अगर प्रमाणित करें तो:एल ∈L∈L \in एक बहुपद मौजूद ऐसी है कि हर निवेश के लिए एक्स ∈ Σ * आकार के n , अगर एक्स ∈ एल फिर सेट यू x प्रमाण पत्र की यू जो सत्यापित करें कि एक्स …

10 cc.complexity-theory  complexity-classes 

मैं डेविड एप्पस्टीन द्वारा पेश की गई एक खुली समस्या पर लड़खड़ा गया और मुझे इसकी जटिलता की स्थिति में दिलचस्पी है। उन्होंने अनुमान लगाया कि यह एनपी-पूर्ण है। इनपुट: द्वारा 0 के और 1 के, के अनुक्रम का मैट्रिक्स 0 और 1 केnnnnnnn2n2n^2 प्रश्न: क्या आसन्न मैट्रिक्स प्रविष्टियों के …

10 cc.complexity-theory  graph-theory 

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

10 cc.complexity-theory  type-theory  lambda-calculus 

एक निर्देशित ग्राफ को देखते हुए, हम यह तय करना चाहते हैं कि इसमें सम लंबाई का एक निर्देशित चक्र शामिल है या नहीं। YUSTER और ZWICK के 1997 के इस पेपर में कहा गया है कि समस्या का पता और न ही इसे -complete के लिए जाना जाता है …

10 cc.complexity-theory  reference-request  graph-theory 

अगर हम यह साबित कर सकते हैं कि , तो क्या इसका मतलब यह है कि ?एल = पीएल=पी\mathsf{L}=\mathsf{P}एन एल = एन पीएनएल=एनपी\mathsf{NL}=\mathsf{NP} मैंने सोचा था कि यह मामला है, लेकिन मैं इसे साबित नहीं कर सकता (ऐलान के लिए भी)।

10 cc.complexity-theory  complexity-classes  nondeterminism 

ग्राफ के एक फैले हुए वृक्ष को पूर्णता का पेड़ कहा जाता है यदि इसके पत्तों का सेट मेजबान ग्राफ में एक पूर्ण उपसमूह को प्रेरित करता है। एक ग्राफ को देखते हुए और एक पूर्णांक , निर्णय लेने से अगर की जटिलता क्या है अधिक से अधिक के साथ …

10 cc.complexity-theory  graph-theory  graph-algorithms 

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

10 cc.complexity-theory  cg.comp-geom 

मैं इन वर्गों को समझने की कोशिश कर रहा था, लेकिन हमेशा उलझन में था ... सवाल हैं: और बीच क्या संबंध है , विशेष रूप से यह एक खुला प्रश्न है?# पीएफएनपीएफएनपी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 

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

10 cc.complexity-theory  graph-isomorphism