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

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

15 graph-theory  cg.comp-geom  graph-drawing 

निम्नलिखित समस्या पर विचार करें: यह देखते हुए एक प्रश्न ग्राफ और एक संदर्भ ग्राफ जी ' = ( वी ' , ई ' ) , हम injective मानचित्रण लगाना चाहते हैं च : वी → वी ' जो किनारों की संख्या को कम ( v 1 , वी 2 …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

ब्लूम फ़िल्टर को लागू करने में, पारंपरिक दृष्टिकोण कई स्वतंत्र हैश कार्यों के लिए कहता है। किर्स्च और मिटज़ेनमाकर ने दिखाया कि आपको वास्तव में केवल दो की आवश्यकता है, और बाकी को रैखिक संयोजनों के रूप में उत्पन्न कर सकते हैं। मेरा सवाल है: क्या, वास्तव में, दो हैश …

15 ds.data-structures  it.information-theory  hash-function 

मैं हाल ही में बर्नार्डी और मौलिन के 2012 के LICS पेपर ( https://dl.acm.org/citation.cfm?id=2359499 ) को देखने के बाद पैरामीट्रिकिटी में काफी दिलचस्पी ले रहा हूं । इस पत्र में, वे निर्भर प्रकारों और संकेत के साथ एक शुद्ध प्रकार की प्रणाली में यूनिरी पैरामीट्रिकिटी को आंतरिक करते हैं कि …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

एक जुड़ा हुआ ग्राफ अपने द्विध्रुवीय घटकों में विघटित हो सकता है। यह ब्लॉक कटपॉइंट ट्री अद्वितीय है। इसी तरह, द्विविभाजित रेखांकन को तिकोने घटकों में विघटित किया जा सकता है। इसी SPQR ट्री ग्राफ में सभी 2-वर्टेक्स कट का वर्णन करता है और इसके ग्राफ से विशिष्ट रूप से …

15 graph-theory  co.combinatorics 

प्लेनर ग्राफ -फ्री हैं। इस तरह के रेखांकन को त्रि-जुड़े घटकों में विघटित किया जा सकता है, जिन्हें प्लानर या K 5 घटक के रूप में जाना जाता है ।K3,3K3,3K_{3,3}K5K5K_5 क्या जीनस के ग्राफ़ के ऐसे "अच्छा" अपघटन है? ग्राफ नाबालिगों पर अपने मौलिक काम में, रॉबर्टसन और सीमोर ने …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

1-मंद Weisfeiler-लीमैन एल्गोरिथ्म (WL) आमतौर पर विहित लेबलिंग या रंग शोधन एल्गोरिथ्म के रूप में जाना जाता है। यह निम्नानुसार काम करता है: प्रारंभिक रंग एक समान है, लिए सभी कोने ।C0C0C_0C0(v)=1C0(v)=1C_0(v) = 1v∈V(G)∪V(H)v∈V(G)∪V(H)v \in V (G) \cup V (H) में सेंट दौर, रंग पूर्ववर्ती रंग से मिलकर एक जोड़ी …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n में असतत लघुगणक गणना के लिए बेबी-स्टेप विशाल-चरण एल्गोरिथ्म ,O(n−−√)O(n)O(\sqrt n) समय और मेमोरी में स्थिर 2D ऑर्थोगोनल रेंज की गिनती ,O(n−−√)O(n)O(\sqrt n)O(n)O(n)O(n) EXTRACT-MIN के साथ प्राथमिकता कतार और , में DECREASE-KEYO(n−−√k)O(nk)O(\sqrt[k] n)O(1)O(1)O(1) बहुपद समय में रंगों के साथ एक 3-colourable ग्राफ को रंग देना,O(n−−√)O(n)O(\sqrt n) …

15 ds.algorithms  ds.data-structures  big-list  teaching 

प्रोग्रामिंग भाषा के परिप्रेक्ष्य में, सबटिप करने से क्या मतलब है? मैंने सुना है कि "वंशानुक्रम उपशीर्षक नहीं है"। फिर वंशानुक्रम और उपप्रकार के बीच अंतर क्या हैं?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

प्रस्तावना। जटिलता वर्ग एएम वे समस्याएं हैं जो एक "मर्लिन" और एक सत्यापनकर्ता "आर्थर" के बीच दो-गोल इंटरैक्टिव प्रूफ सिस्टम द्वारा हल की जा सकती हैं। एक समस्या - जो किसी वस्तु X की कुछ संपत्ति का परीक्षण करती है - AM में है यदि: के लिए हाँ उदाहरणों, एक …

15 cc.complexity-theory  interactive-proofs  unique-solution 

बूलियन बीजगणित को इस तरह से (उदाहरण के लिए) लाइप्डा कैलकुलस में व्यक्त किया जा सकता है । true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; इस तरह …

15 lo.logic  type-theory  lambda-calculus 

क्या कोई सॉफ्टवेयर पैकेज है जो से यूनिटों के अपघटन को पूर्वनिर्धारित सार्वभौमिक गेट सेट पर क्वांटम सर्किट में अनुमति देता है ?यू( २)n)यू(2n)U(2^n)

15 quantum-computing  software 

Q1। हम कब कह सकते हैं कि दो प्रोग्राम (कुछ प्रोग्रामिंग भाषा में जैसे C ++ में लिखे गए) अलग हैं? पहला चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान हैं। अन्य चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान फ़ंक्शन की …

15 pl.programming-languages  semantics  equivalence 

निम्नलिखित समस्या पर विचार करें: इनपुट : एक हाइपरप्लेन , एक वेक्टर के द्वारा दिया गया और मानक बाइनरी प्रतिनिधित्व में।एच = { y ∈ आर एन : एक टी y = b } H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}एक ∈ जेड एनa∈Zn\mathbf{a} \in \mathbb{Z}^n ख ∈ …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

यह प्रश्न कसकर किसी अन्य पोस्ट से संबंधित है: एनपी हार्ड समस्याओं में चरण संक्रमण लेकिन यह कुछ अलग है। जबकि यह प्रश्न एनपी की कठिन समस्याओं के विशेष उदाहरणों की कठोरता के बारे में है, यह उन्हीं उदाहरणों की कठिनाई को क्रमबद्ध करने के बारे में है। चरण संक्रमण …

15 cc.complexity-theory  np-hardness  sat