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

एक मिश्रित ग्राफ़ एक ऐसा ग्राफ़ है जिसमें निर्देशित और अप्रत्यक्ष दोनों किनारों हो सकते हैं। इसका अंतर्निहित अप्रत्यक्ष ग्राफ निर्देशित किनारों के झुकाव को भूलकर प्राप्त किया जाता है, और दूसरी दिशा में प्रत्येक अप्रत्यक्ष किनारे को एक दिशा प्रदान करके मिश्रित ग्राफ का एक ओरिएंटेशन प्राप्त किया जाता …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

और को सबसेट होने दें । हम मिन्कोवस्की राशि खोजने में रुचि रखते हैं ।A AAB BB{ 0 , … , n } {0,…,n}\{0,\ldots,n\}A + B = { a + b | एक ∈ ए , बी ∈ बी } A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χ X : { 0 …

16 convolution  fft 

0-1 सिद्धांत कहता है कि यदि कोई क्रमबद्ध नेटवर्क सभी 0-1 अनुक्रमों के लिए काम करता है, तो यह संख्याओं के किसी भी सेट के लिए काम करता है। वहाँ एक है S⊂{0,1}nS⊂{0,1}nS\subset \{0,1\}^n ऐसी है कि एक नेटवर्क एस से हर 0-1 अनुक्रम सॉर्ट करता है, तो यह सॉर्ट …

16 ds.algorithms  sorting  sorting-network 

मैं अपनी समस्या एक उदाहरण के साथ पेश करूंगा। आप की एक निश्चित सेट के होते हैं जो एक परीक्षा, रचना कर रहे हैं का कहना है कि स्वतंत्र सवाल (कि उम्मीदवारों या तो सही है या गलत हो सकता है)। आप प्रत्येक प्रश्न को देने के लिए एक अंक …

16 reference-request  boolean-functions 

सामान्य रेखांकन में त्रिभुजों की गणना समय में तुच्छ रूप से की जा सकती है और मुझे लगता है कि बहुत तेज करना कठिन है (संदर्भों का स्वागत)। प्लानर ग्राफ के बारे में क्या? निम्नलिखित सीधी प्रक्रिया से पता चलता है कि यह समय में किया जा सकता है । …

16 reference-request  graph-algorithms  planar-graphs 

मैंने पढ़ा है कि पूर्णांक प्रोग्रामिंग रैखिक polynominal समय में व्याख्या करने योग्य है अगर संख्या चर का तय हो गई है, यानी एन ∈ हे ( 1 ) । चर की संख्या लघुगणकीय बढ़ता है, यानी एन ∈ हे ( लॉग ऑन 2 ( एन ) ) आकार के …

16 cc.complexity-theory  np  open-problem 

होमटॉप्टी टाइप थ्योरी ब्लॉग को देखकर, आसानी से एजडा और कोक में अधिकांश होमोटोपी टाइप थ्योरी को औपचारिक रूप देने वाली बहुत सी लाइब्रेरी मिल सकती है। क्या किसी को पता है कि क्या इदरीस में HoTT को औपचारिक रूप देने की कोई समान कोशिश है ?

16 proof-assistants  homotopy-type-theory 

आज्ञा देना एक डिग्राफ (जरूरी नहीं कि एक डीएजी हो) और चलो । में सरल रास्तों की संख्या गिनने की जटिलता क्या है । जीजीGरों , टी ∈ वी( जी )रों,टी∈वी(जी)s,t \in V(G) एस - टीरों-टीs-tजीजीG मुझे उम्मीद है कि समस्या # लेकिन एक सटीक संदर्भ का पता लगाने में …

16 ds.algorithms  reference-request  counting-complexity 

मैं एक पास-एल्गोरिथ्म की तलाश कर रहा हूं जो क्रमचय की समता की गणना करता है। मुझे लगता है कि एक इनपुट क्रमचय धारा द्वारा दिया जाता है π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] । उत्पादन क्रमपरिवर्तन की समता होना चाहिए। सवाल यह है कि मैं एक निर्धारित एल्गोरिथ्म का उपयोग कितनी …

16 ds.algorithms  permutations  streaming-algorithms 

क्या एक सामान्य प्रमेय है, जो उचित स्वच्छता के साथ, वास्तविक संख्याओं के उपयोग के बारे में सबसे अधिक ज्ञात परिणाम वास्तव में इस्तेमाल किया जा सकता है, जब केवल कम्प्यूटेशनल रियल पर विचार किया जाता है? या क्या केवल कम्प्यूटेशनल रियल्स पर विचार करते हुए परिणामों की उचित विशेषता …

16 computability  computing-over-reals  topology  model-theory 

मुझे संपूर्ण भाषाओं की सूची की आवश्यकता है । इस तरह की दो समस्याएं कॉम्प्लेक्सिटी ज़ू में सूचीबद्ध हैं , जैसे:Σपी2Σ2पी\Sigma_2^p न्यूनतम समकक्ष डीएनएफ। DNF सूत्र F और पूर्णांक k को देखते हुए, क्या DNF सूत्र, शाब्दिक के k या कम घटनाओं के साथ F के बराबर है? सबसे छोटा …

16 complexity-classes  polynomial-hierarchy 

मैं हाल ही में एक मित्र के साथ चर्चा कर रहा था (जो दृढ़ता से टाइप की जाने वाली भाषाओं का एक वकील है)। उन्होंने टिप्पणी की: लैंबडा कैलकुलस के अन्वेषकों ने हमेशा इसे टाइप करने का इरादा किया। अब हम देख सकते हैं कि चर्च के साथ जुड़े थे …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

हम कहते हैं कि NFA है लगातार अस्पष्ट अगर वहाँ मौजूद ऐसी है कि किसी भी शब्द या तो द्वारा स्वीकार किया जाता या (वास्तव में) पथ।MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kकk यदि ऑटोमेटोन लगातार लिए अस्पष्ट है , तो को Unambiguous FA (UFA) कहा जाता है ।ममMके = १क=1k=1ममM को एक नियमित …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

क्षमा याचना अगर यह इस मंच के लिए एक प्रश्न है, लेकिन मैं विशिष्ट रणनीति और युक्तियों में दिलचस्पी रखता हूं जो शोधकर्ता (टीसीएस में) एक शोध पत्र की शुरूआत लिखने के लिए उपयोग करते हैं।

16 soft-question  advice-request  research-practice  writing 

मैं डेटा स्ट्रक्चर्स पर एक कोर्स पढ़ा रहा हूं और अगले हफ्ते की शुरुआत में स्प्ले ट्री को कवर किया जाएगा। मैंने कई बार आवारा पेड़ों पर पेपर पढ़ा है और डेटा संरचना के पीछे विश्लेषण और अंतर्ज्ञान से परिचित हूं। हालाँकि, मैं संभावित फ़ंक्शन के लिए एक ठोस अंतर्ज्ञान …

16 ds.data-structures  intuition  amortized-analysis