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

(यह प्रश्न "सर्वेक्षण" का एक सा है।) मैं वर्तमान में एक ऐसी समस्या पर काम कर रहा हूं, जहां मैं एक टूर्नामेंट के किनारों को दो सेटों में विभाजित करने की कोशिश कर रहा हूं, दोनों को कुछ संरचनात्मक गुणों को पूरा करने की आवश्यकता है। समस्या "काफी कठिन" महसूस …

20 cc.complexity-theory  reference-request  np-hardness 

एक hypergraph की लाइन ग्राफ (सरल) ग्राफ है जी के किनारों होने एच के दो किनारों के साथ कोने के रूप में एच में निकट हैं जी अगर वे अरिक्त चौराहे की है। एक हाइपरग्राफ एक r -hypergraph है यदि इसके प्रत्येक किनारे पर अधिकांश आर कोने हैं।HHHGGGHHHHHHGGGrrrrrr निम्नलिखित समस्या …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

बंधे गहराई कंप्यूटिंग के बारे में दो संबंधित प्रश्न: 1) मान लीजिए कि आप n बिट्स से शुरू करते हैं, और बिट के साथ शुरू करने के लिए स्वतंत्र रूप से कुछ संभावना p (i) के साथ 0 या 1 हो सकता है। (यदि यह समस्या को सरल बनाता है …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

पीसीपी प्रमेय मैक्स 3SAT के लिए कोई बहुपद समय एल्गोरिथ्म है कि वहाँ एक काम संतोषजनक खोजने के लिए एक तृप्तियोग्य 3SAT सूत्र जब तक की धाराएं पी = एन पी ।7 / 8 + ε7/8+ϵ7/8+ \epsilonपी= एनपीP=NPP = NP वहाँ एक छोटी सी बहुपद समय एल्गोरिथ्म है कि संतुष्ट …

20 cc.complexity-theory  pcp 

जटिलता में, । यह अनुमान लगाया जाता है कि प्रत्येक सामग्री उचित है।FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] यदि तो ।FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] लेकिन क्या यह उसका पालन करता है अगर तो ? याFPT=W[1]FPT=W[1]\mathsf{FPT}=\mathsf{W}[1]FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P] यदि (कुछ t के लिए) तो ?W[t−1]=W[t]W[t−1]=W[t]\mathsf{W}[t-1]=\mathsf{W}[t]FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

निम्नलिखित दिलचस्प समस्या हाल ही में मेरे शोध में सामने आई: स्थापना: ग्राफ ।जी ( वी, ई)G(V,E)G(V, E) समाधान: एक chordless अजीब-चक्र पूरा होने के एक सुपरसेट के रूप में परिभाषित बढ़त सेट के ताकि पूरा ग्राफ की संपत्ति है कि में हर बढ़त है एक chordless अजीब चक्र में …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

में इस सवाल है, हम एक प्राकृतिक समस्या बेतरतीब कटौती के तहत एन पी-सम्पूर्ण, लेकिन नियतात्मक कटौती के तहत संभवतः नहीं है कि (हालांकि यह निर्भर करता है जिस पर संख्या सिद्धांत में अप्रमाणित मान्यताओं सत्य हैं) की पहचान की है दिखाई देते हैं। क्या ऐसी कोई अन्य समस्या ज्ञात …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

कार्प-लिप्टन Theoem कहा गया है कि अगर , तो यह संक्षिप्त हो । इसलिए, और बीच के अलगाव को मानते हुए , no समस्या से संबंधित होगी ।एन पी ⊂ पी / पी ओ एल वाईएनपी⊂पी/पीओएलy\mathsf{NP} \subset \mathsf{P/poly}पी एचपीएच\mathsf{PH}Σपी2Σ2पी\mathsf{\Sigma^P_2}Σपी2Σ2पी\mathsf{\Sigma^P_2}Σपी3Σ3पी\mathsf{\Sigma^P_3}एन पीएनपी\mathsf{NP}पी / पी ओ एल वाईपी/पीओएलy\mathsf{P/poly} मुझे निम्नलिखित प्रश्न में दिलचस्पी …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

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

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

चर्चा : मैं हाल ही में संचार जटिलता में विभिन्न चीजों को सीखने के लिए कुछ व्यक्तिगत समय बिता रहा हूं। उदाहरण के लिए, मैंने खुद को अरोरा / बराक में संबंधित अध्याय के साथ फिर से परिचित किया है, कुछ पत्र पढ़ना शुरू कर दिया है, और कुशिलेवित्ज / …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

पांच जुड़े हुए प्रश्न पूछे जाते हैं, और एक एकीकृत उत्तर के लिए आशा की जाती है: Q1: क्या वहाँ मौजूद भाषाओं कि मान्यता प्राप्त हैं पूरी तरह में उन लोगों के ट्यूरिंग मशीन द्वारा जिसका क्रम एक्स्पोनेंट्स अनिर्णनीय हैं ?LLLPPP Q2: क्या इन ट्यूरिंग मशीनों के उदाहरणों का निर्माण …

20 cc.complexity-theory 

पी = पी0p=p0p=p_0पी = पी1p=p1p=p_1पी0p0p_0पी1p1p_1 एक उदाहरण ग्राफ पर स्पिन कॉन्फ़िगरेशन की गणना कर रहा है। भारित उचित रंग, स्वतंत्र सेट की गणना करते हुए, यूलरियन सबग्राफ क्रमशः कट्टर, पॉट्स और इस्सिंग मॉडल के विभाजन कार्यों के अनुरूप हैं, जो "उच्च तापमान" के लिए अनुमानित और "कम तापमान" के लिए …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

जटिलता वर्ग , कुछ समस्याएं हैं जो वर्ग , अर्थात नियत समांतर एल्गोरिदम के साथ समस्याएं। अधिकतम प्रवाह समस्या एक उदाहरण है। और ऐसी समस्याएँ हैं जिनका में होना , लेकिन एक प्रमाण अभी तक नहीं मिला है।PP\mathsf{P}एन सीNCNC\mathsf{NC}NCNC\mathsf{NC} बिल्कुल सही मिलान समस्या सबसे मौलिक समस्या ग्राफ सिद्धांत में उठाया …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

ग्रीनलाव, हूवर और रुज़ो (पीएस) (पीडीएफ) द्वारा "ए कम्पलेनियम ऑफ प्रॉब्लम्स कम्प्लीट ऑफ़ पी" के पेपर में, पी में समस्याओं की एक सूची है जो कि एनसी में नहीं जानी जाती है और पी-पूरा होने के लिए ज्ञात नहीं है । (यह सूची करप और रामचंद्रन द्वारा उत्कृष्ट सर्वेक्षण में …

20 cc.complexity-theory  open-problem  circuit-complexity 

मैं रेखीय बीजगणित के एल्गोरिदम और जटिलता पर एक अच्छे सर्वेक्षण की तलाश कर रहा हूं (बूलियन, , और समानांतर / पदानुक्रम पर जोर देने के साथ पूर्णांक / परिमेय मैट्रिक्स) के लिए (रैंक, उलटा, eigenvalues ​​जैसे संचालन ... ) और बहुपत्नी एल्गोरिदम। मुझे हाल ही में एक नहीं मिला।एफपीएफपी\mathbb{F}_pएनसीएनसीNC …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra