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

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

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

मान लें कि हम वास्तविक संख्याओं की सूची सॉर्ट करना चाहते हैं । मान लें कि हमें एक ब्लैक बॉक्स दिया गया है जो तुरंत वास्तविक संख्याओं को सॉर्ट कर सकता है। इस ब्लैक बॉक्स के इस्तेमाल से हमें कितना फायदा हो सकता है?एन √SSSnnnn−−√n\sqrt n उदाहरण के लिए, क्या …

20 ds.algorithms  sorting  decision-trees 

एक ब्रह्मांड के सबसेट के सेट परिवार को देखते हुए । चलो और हम चाहते हैं जवाब है करने के लिए ।FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 मैं एक डेटा-संरचना की तलाश कर रहा हूं जो मुझे इसका उत्तर जल्दी से देने की अनुमति देगा। मेरा आवेदन ग्राफ सिद्धांत से …

20 graph-algorithms  ds.data-structures  partial-order 

एन-आयामी सरणी के अंदर एक सटीक एन-आयामी सबरे को खोजने के लिए कुछ ज्ञात परिणाम क्या हैं? 1 डी में, यह सिर्फ एक स्ट्रिंग मिलान समस्या है, केएमपी इसे रैखिक समय में करता है। 2 डी में, इस पेपर ने दिखाया कि यह थोड़ा अतिरिक्त स्थान के साथ रैखिक समय …

20 ds.algorithms  reference-request  string-matching 

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

20 cc.complexity-theory  pcp 

मैंने अभी जर्मन विकिपीडिया पर पढ़ा है कि अनंत ग्राफ एक नोड की अनंत संख्या या किनारों की अनंत संख्या वाला ग्राफ है। मैं केवल परिमित रेखांकन के लिए एप्लिकेशन और एल्गोरिदम जानता हूं। अनंत रेखांकन किसके लिए अच्छे हैं? उन लोगों के आवेदन क्या हैं? मैं ऐसे एल्गोरिदम की …

20 graph-theory  co.combinatorics 

अस्वीकरण: मैं सीएस सिद्धांतकार नहीं हूं। अमूर्त बीजगणित से आ रहा है, मैं उन चीजों से निपटने के लिए उपयोग किया जाता हूं जो एक समरूपता तक समान हैं - लेकिन मुझे इस अवधारणा को डेटा संरचनाओं में अनुवाद करने में परेशानी हो रही है। मैंने पहले सोचा था कि …

20 ds.data-structures  algebra  ct.category-theory 

मैं ट्यूटोरियल सामग्री की तलाश कर रहा हूं जो कंपाइलर शुद्धता प्रमाण को कवर करता है, अधिमानतः एक प्रारंभिक ग्रेड छात्र के स्तर पर, डिपोटेशनल तरीकों का उपयोग करते हुए। वैकल्पिक रूप से, क्या आप कुछ सरल संकलक उदाहरणों के बारे में जानते हैं जिनका उपयोग मैं मुद्दों को चित्रित …

20 reference-request  pl.programming-languages  semantics  compilers 

मैंने हाल ही में पेड़ों के बीच अंतर करने से जुड़े मुद्दों के इस सारांश को पढ़ा है और मुझे यह सीखने में दिलचस्पी है कि इस समस्या के लिए कला की स्थिति क्या है। इसके अलावा, मान लें कि आपके अनुमत संपादित ऑपरेशनों के बीच पारंपरिक ऐड / डिलीट …

20 ds.algorithms  tree  edit-distance 

जटिलता में, । यह अनुमान लगाया जाता है कि प्रत्येक सामग्री उचित है।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 computability  automata-theory  turing-machines 

मान लीजिए कि एक ग्राफ के साथ कोने की एक धारा के रूप में प्रस्तुत किया जाता है किनारों, लेकिन कई गुजरता स्ट्रीम पर अनुमति दी जाती है।GGGnnnmmm मोनिका Rauch Henzinger, प्रभाकर राघवन, और Sridar राजगोपालन ने कहा कि स्थान का निर्धारण करने के लिए वहाँ में दिए गए दो …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

यह पहले वाले प्रश्न का विवरण है । दो खिलाड़ियों, ऐलिस और बॉब के बीच निम्नलिखित निष्पक्ष जानकारी गेम पर विचार करें । खिलाड़ियों को एन के माध्यम से पूर्णांक 1 का क्रमचय दिया जाता है। प्रत्येक मोड़ पर, यदि वर्तमान क्रमांकन बढ़ रहा है, तो वर्तमान खिलाड़ी हार जाता …

20 gt.game-theory  combinatorial-game-theory 

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

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