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

बहुत सारे डोमेन में, कैनोनिकल तकनीकें हैं जो क्षेत्र में काम करने वाले प्रत्येक व्यक्ति को मास्टर करनी चाहिए। उदाहरण के लिए, लॉगस्पेस रिडक्शन के लिए, कंपोजिशन के लिए "बिट ट्रिक" जिसमें सम्‍मिलित फंक्शन का पूरा आउटपुट नहीं होता है, लेकिन हमेशा आउटपुट के हर बिट के लिए रिजल्ट रिक्‍वेस्‍ट …

28 cc.complexity-theory  oracles  relativization 

एन-चर पर 3-SAT समस्या पर विचार करें। संभावित अलग-अलग खंडों की संख्या है: सी= 2 एन × 2 ( एन - 1 ) × 2 ( एन - 2 ) / 3 ! = 4 एन ( एन - 1 ) ( एन - 2 ) / 3 ।C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = …

28 cc.complexity-theory  sat 

एक nondeterministic परिमित ऑटोमेटा , और एक फ़ंक्शन । इसके अतिरिक्त हम को परिभाषित करते हैं ।A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i अब निम्नलिखित कथन का विश्लेषण करते हैं: यदि , तो ।Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* यह दिखाना आसान है, कि …

28 automata-theory  fl.formal-languages  nondeterminism 

कक्षा ए को आकार सभी ग्राफ़ को निरूपित करें जिसमें हैमिल्टनियन चक्र है। इस वर्ग से एक यादृच्छिक ग्राफ का उत्पादन करना आसान है - n पृथक नोड्स लें, एक यादृच्छिक हैमिल्टन चक्र जोड़ें और फिर किनारों को यादृच्छिक रूप से जोड़ें।nnnnnn कक्षा B को आकार सभी रेखांकन निरूपित करते …

28 ds.algorithms  graph-theory 

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

28 big-list  cg.comp-geom  big-picture 

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

28 puzzles  ct.category-theory  topology 

मुझे दिलचस्पी है कि प्रोग्रामिंग भाषाओं के सिद्धांत और प्रकार के सिद्धांत (जैसे जे। मिशेल, प्रोग्रामिंग भाषाओं के लिए नींव और बी। पियर्स, प्रकार और प्रोग्रामिंग भाषा) पर पुस्तकों के लेखकों द्वारा प्राकृतिक संख्या इतनी प्यारी क्यों है। बस टाइप किए गए लैम्ब्डा-कैलकुलस और विशेष रूप से पीसीएफ प्रोग्रामिंग भाषा …

28 pl.programming-languages  big-picture  type-theory 

सबसे पहले, मैं किसी भी मूर्खता के लिए अग्रिम में माफी मांगता हूं। मैं किसी भी तरह से जटिलता सिद्धांत पर विशेषज्ञ नहीं हूँ (इससे बहुत दूर! मैं एक स्नातक हूँ जो जटिलता सिद्धांत में अपनी पहली कक्षा ले रहा है) यहाँ एक सवाल है। अब Savitch की प्रमेय कहा …

28 cc.complexity-theory  space-bounded 

मुझे केवल Schwartz-Zippel lemma के दो प्रमाणों की जानकारी है। पहला (अधिक सामान्य) प्रमाण विकिपीडिया प्रविष्टि में वर्णित है । दूसरा प्रमाण दाना मोशकोवित्ज़ द्वारा खोजा गया था। क्या कोई अन्य प्रमाण हैं जो काफी अलग विचारों का उपयोग करते हैं?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

एक साइड-प्रोजेक्ट के रूप में, मैं पायथन का उपयोग करके एक भाषा लिख ​​रहा हूं। मैंने Ply नामक एक फ्लेक्स / बाइसन क्लोन का उपयोग करके शुरू किया था, लेकिन मैं व्याकरण की उस शैली के साथ जो कुछ भी व्यक्त कर सकता हूं उसकी शक्ति के किनारों के खिलाफ …

28 fl.formal-languages  pl.programming-languages  grammars 

ISGCI सूचियों रेखांकन के 1100 से अधिक वर्गों। इनमें से कई के लिए हमें पता है कि क्या बहुपत्नी काल में INDEPENDENT SET तय किया जा सकता है; इन्हें कभी - कभी आईएस-आसान कक्षाएं कहा जाता है । मैं अधिकतम आईएस-आसान कक्षाओं की एक सूची संकलित करना चाहूंगा । ये …

28 ds.algorithms  graph-theory  co.combinatorics  graph-classes 

संपादित करें : जैसा कि रवि बोपाना ने अपने उत्तर में सही ढंग से बताया और स्कॉट आरोनसन ने भी अपने उत्तर में एक और उदाहरण जोड़ा , इस प्रश्न का उत्तर इस तरह से "हाँ" निकला, जिसकी मुझे बिल्कुल भी उम्मीद नहीं थी। पहले मैंने सोचा कि वे उस …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

यदि हम पुस्तक (या यदि आप चाहें तो भाषा विनिर्देश के किसी अन्य संस्करण) पर जाते हैं, तो सी कार्यान्वयन के लिए कितनी कम्प्यूटेशनल शक्ति हो सकती है? ध्यान दें कि "C कार्यान्वयन" का एक तकनीकी अर्थ है: यह C प्रोग्रामिंग भाषा विनिर्देश का एक विशेष तात्कालिकता है जहां कार्यान्वयन-परिभाषित …

28 computability  turing-machines  pl.programming-languages  recreational 

"टोपोलॉजिकल सॉर्टिंग" को "टॉपोलॉजिकल" क्यों कहा जाता है? क्या यह सिर्फ इसलिए है क्योंकि यह किसी भी कोने या किनारों को बदलने के बिना एक आदेश को निर्धारित करता है - जैसे डोनट और कॉफी कप स्थैतिक रूप से समकक्ष हैं? इसे "निर्भरता प्रकार" या कुछ और क्यों नहीं कहा …

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

मान लीजिए कि मेरे पास एक पोसेट "एस" है और एस पर एक मोनोटोनिक "पी" समर्पित है। मैं एस संतोषजनक पी के एक या सभी अधिकतम तत्वों को खोजना चाहता हूं। संपादित करें : मैं पी के मूल्यांकन की संख्या को कम करने में रुचि रखता हूं । इस समस्या …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem