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

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

23 soft-question  research-practice  writing 

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

23 cc.complexity-theory  sat 

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

23 graph-theory  co.combinatorics  cliquewidth 

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

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

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

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

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

23 co.combinatorics  integer-programming 

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

23 ds.algorithms  graph-theory  co.combinatorics 

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

23 cc.complexity-theory  graph-isomorphism  proofs 

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

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

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

23 cc.complexity-theory  graph-isomorphism 

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

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

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

23 ds.algorithms  nt.number-theory 

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

23 cc.complexity-theory  unique-games-conjecture 

के लिए निरूपित द्वारा की सबसे छोटी तत्व ।एक ⊂ [ एन ]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 एक कहा जाता है बदलाव श्रृंखला यदि …

23 co.combinatorics  graph-colouring  hypergraphs 

चर होने दें । दो चरों के बीच की दूरी को रूप में परिभाषित किया गया है । दो शाब्दिक के बीच की दूरी संगत दो चर के बीच की दूरी है।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