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

संबंधित क्षेत्रों में सैद्धांतिक कंप्यूटर वैज्ञानिकों और शोधकर्ताओं के लिए प्रश्नोत्तर

16
प्रस्तुतियाँ देने के लिए आप किन उपकरणों का उपयोग करते हैं?
मैं सोच रहा था कि इस क्षेत्र (सैद्धांतिक कंप्यूटर विज्ञान) में कौन से उपकरण प्रस्तुतियों का उपयोग करते हैं। चूंकि कंप्यूटर विज्ञान का एक बड़ा सौदा सिर्फ कागजात नहीं लिख रहा है, बल्कि प्रस्तुतियां भी दे रहा हूं, मुझे लगा कि यह एक महत्वपूर्ण नरम प्रश्न होगा। यह पिछले प्रश्न …

1
SAT के लिए न्यूनतम सर्किट खोजने की जटिलता के बारे में क्या जाना जाता है?
न्यूनतम सर्किट को खोजने की जटिलता के बारे में क्या जाना जाता है जो सैट की लंबाई तक गणना करता है ? nnn औपचारिक रूप से: एक फ़ंक्शन की जटिलता क्या है, जिसे इनपुट के रूप में दिया गया है, न्यूनतम सर्किट सी को ऐसे किसी भी सूत्र के लिए …

1
लगभग Cographs के Cliquewidth
(मैंने यह प्रश्न दो सप्ताह पहले MathOverflow में पोस्ट किया था, लेकिन अब तक बिना कठोर उत्तर के) मेरा अप्रत्यक्ष सरल रेखांकन के ग्राफ चौड़ाई उपायों के बारे में एक प्रश्न है। यह सर्वविदित है कि क्रोग्स (रेखांकन, जो असंतुष्ट संघ और पूरकता के संचालन द्वारा निर्मित किया जा सकता …

3
ग्राफ आइसोमॉर्फिज्म और छिपे हुए उपसमूह
मैं ग्राफ आइसोमॉर्फिज्म और छिपे हुए उपसमूह समस्या के बीच संबंधों को समझने की कोशिश कर रहा हूं। क्या इसके लिए कोई अच्छा संदर्भ है?

1
बाउंड ट्री की चौड़ाई के साथ रेखांकन पर लॉगस्पेस एल्गोरिदम
पेड़ की चौड़ाई मापती है कि एक पेड़ के लिए ग्राफ कितना करीब है। पेड़ की चौड़ाई की गणना करना एनपी-कठिन है। सर्वश्रेष्ठ ज्ञात सन्निकटन एल्गोरिथ्म कारक प्राप्त करता है।ओ ( लॉग एन----√)हे(लॉगn)O(\sqrt{{\log}n}) कौरसल की प्रमेय में कहा गया है कि मोनैडिक सेकंड-ऑर्डर लॉजिक (MSO2) में निश्चित रूप से रेखांकन …

3
पूर्णांक रैखिक प्रोग्रामिंग समस्याओं के विरल समाधान के बारे में क्या जाना जाता है?
अगर मेरे पास रैखिक बाधाओं का एक सेट है, जिसमें प्रत्येक बाधा के पास अधिकतम (कहना) 4 चर (सभी nonnegative और {0,1} गुणांक के अलावा एक चर के अलावा -1 गुणांक हो सकता है), तो समाधान के बारे में क्या जाना जाता है अंतरिक्ष? मैं एक कुशल समाधान के साथ …

6
ग्राफ़ परिवार जिनके पास रंगीन संख्या की गणना के लिए बहुपद समय एल्गोरिदम हैं
31 अगस्त को पोस्ट अपडेट किया गया : मैंने मूल प्रश्न के नीचे मौजूदा उत्तरों का सारांश जोड़ा। सभी दिलचस्प जवाब के लिए धन्यवाद! बेशक, हर कोई किसी भी नए निष्कर्ष को पोस्ट करना जारी रख सकता है। किस ग्राफ के परिवारों के लिए वर्णक्रमीय संख्या गणना के लिए एक …

1
बाबई के ग्राफ आइसोमोर्फिज्म परिणाम की स्थिति क्या है?
जनवरी 2017 के बाद से एक साल से अधिक समय हो गया है। खबर है? यदि यह लंबे समय तक वैधता के लिए सामान्य नहीं है? मुझे उम्मीद है कि इसे बहुत ध्यान मिलेगा। नोट के किसी भी व्यक्ति ने अर्ध-बहुपद परिणाम का समर्थन / संदेह करने के लिए बोला …

2
नियमित भाषा में एक शब्द को प्राप्त करने के लिए अक्षरों का निर्धारण किया जा सकता है या नहीं, इसका परीक्षण
मैं एक वर्णमाला पर एक नियमित भाषा को ठीक करता हूं , और मैं निम्नलिखित समस्या पर विचार करता हूं जिसे मैं लिए समयबद्धन पत्र कहता हूं । अनौपचारिक रूप से, इनपुट मुझे अक्षर और प्रत्येक अक्षर के लिए एक अंतराल (यानी, एक न्यूनतम और अधिकतम स्थिति) देता है, और …

4
क्या सबूत है कि ग्राफ आइसोमॉर्फिज़्म
मेरी पोस्ट पर Fortnow की टिप्पणी, से प्रेरित प्रमाणित करती है कि ग्राफ समाकृतिकता समस्या नहीं है NPNPNP -Complete , और तथ्य यह है कि द्वारा GIGIGI के लिए एक प्रमुख उम्मीदवार हैं NPNPNP -intermediate समस्या (नहीं NPNPNP -Complete है और न ही में PPP ), मैं जाना जाता सबूतों …

1
P में PLANAR NAE k-SAT किस के लिए है?
नहीं सभी समान -SAT समस्या (NAE -SAT), एक सेट दिया एक सेट से अधिक खंड की बूलियन चर की ऐसी है कि प्रत्येक खंड पर नहीं है शाब्दिक, पूछता है ऐसी है कि चर का एक सच काम वहाँ मौजूद है या नहीं प्रत्येक क्लॉज में कम से कम एक …

4
यह कैसे जांचें कि एक संख्या बहुपद समय में एक आदर्श शक्ति है या नहीं
AKS primality परीक्षण एल्गोरिथ्म का पहला चरण यह जांचना है कि इनपुट नंबर एक सही शक्ति है या नहीं। ऐसा लगता है कि यह संख्या सिद्धांत में एक प्रसिद्ध तथ्य है क्योंकि कागज ने इसे विवरण में नहीं समझाया था। क्या कोई मुझे बता सकता है कि बहुपद समय में …

2
अनूठे खेलों के अनुमान के लिए हमारे पास (और खिलाफ) क्या सबूत हैं?
सुभाष खोत का अनूठा खेल अनुमान जटिलता सिद्धांत में सक्रिय अनुसंधान क्षेत्रों में से एक है। हमारे पास इसके लिए क्या सबूत हैं? हमारे पास इसके खिलाफ क्या सबूत हैं?

2
क्या शिफ्ट-चेन दो-रंगीन हैं?
के लिए निरूपित द्वारा की सबसे छोटी तत्व ।एक ⊂ [ एन ]A⊂[n]A\subset [n]एमैंaia_iमैंटी एचithi^{th}एAA दो -element सेट के लिए, , हम कहते हैं कि अगर हर ।कश्मीरkkए , बी ⊂ [ एन ]A,B⊂[n]A,B\subset [n]A ≤ बीA≤BA\le Bएमैं≤ बीमैंai≤bia_i\le b_iमैंii एक -uniform hypergraph एक कहा जाता है बदलाव श्रृंखला यदि …

2
क्या 3-सैट के कोई कठिन उदाहरण हैं जब खंड केवल उन शाब्दिक का उपयोग कर सकते हैं जो एक दूसरे के "पास" हैं?
चर होने दें । दो चरों के बीच की दूरी को रूप में परिभाषित किया गया है । दो शाब्दिक के बीच की दूरी संगत दो चर के बीच की दूरी है।x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| मान लीजिए कि मेरे पास 3-सैट का उदाहरण …
22 np-hardness  sat 

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.