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

विमान में विलंबित त्रिकोण एक त्रिकोण में न्यूनतम कोण को अधिकतम करते हैं। क्या गोला पर बिंदुओं के डिलायने त्रिकोणासन के लिए सही है? (यहां "कोण" शीर्ष पर शीर्ष के आसपास के पड़ोस में स्थानीय कोण है)। इस सवाल से प्रेरित लेकिन Math.SE पर असंबद्ध।

9 cg.comp-geom  delaunay-triangulation 

मैं ईपीटी (एक पेड़ में रास्तों के किनारे वाले चौराहे) के बारे में एमसी गोलुम्बिक का एक पुराना पेपर पढ़ रहा हूं। कागज में यह दिखाया गया है कि ईपीटी ग्राफ के उदाहरण के अधिकतम क्लोन बहुपद हैं। यह निष्कर्ष निकालता है कि यदि एक ओरेकल रिपोर्ट करता है कि …

9 ds.algorithms  graph-algorithms  clique 

दिए गए एक फ़ंक्शन पर जहां और असंतुष्ट हैं और । यहाँ और पर submodular हैं और क्रमशः।चffΩ =एक्स1∪एक्स2Ω=X1∪X2\Omega=X_1\cup X_2एक्स1X1X_1एक्स2X2X_2च( S)) =च1( S)∩एक्स1) +च2( S)∩एक्स2)f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f_1(S\cap X_1)+f_2(S\cap X_2)च1f1f_1च2f2f_2एक्स1X1X_1एक्स2X2X_2 यहां अज्ञात हैं और केवल लिए मान क्वेरी एक्सेस दी गई है। फिर एक पॉलीटाइम एल्गोरिथ्म है जो पाता है । यदि लिए …

9 ds.algorithms  submodularity 

मैं पूरे प्रोग्राम प्रकार की जाँच और टाइपिंग सिस्टम के बारे में और जानने की कोशिश कर रहा हूँ जो फ़ंक्शन कॉल साइट्स से जानकारी टाइप जानकारी की गणना करने के लिए (फ़ंक्शन बॉडी का उपयोग करने के मानक दृष्टिकोण के अलावा) का उपयोग करता है। उदाहरण के लिए, ऐसा …

9 pl.programming-languages  type-theory  type-inference  type-systems 

संचार जटिलता में एक फ्रेमवर्क मानें जहां हमारे पास दो खिलाड़ी A (जूँ) और B (ob) और एक R (eferee) हैं। A और B एक दूसरे से सीधे संवाद नहीं करते हैं। संचार के प्रत्येक दौर में, उनमें से प्रत्येक एक संदेश भेजता है (mAmAm_A, mBmबीm_B) को R. R दो …

9 cc.complexity-theory  reference-request  communication-complexity 

में अधिकतम कट की समस्या है, एक एक दिया सरल अनिर्दिष्ट ग्राफ के कोने के एक सबसेट एस संभव के रूप में बड़े रूप में है ऐसी है कि एस और एस के पूरक के बीच किनारों की संख्या का प्रयास है। मैक्स-कट बाउंड-डिग्री ग्राफ [PY91] पर APX-पूरा है, और …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

मैं पार्सिंग का बीजगणितीय सिद्धांत सीख रहा हूं। मेरी पहली समस्या संगोष्ठी के उदाहरणों की पहचान करना है जो औपचारिक भाषा सिद्धांत के लिए विशिष्ट हैं। यहां दो उदाहरणों के निर्माण का प्रयास किया गया है। 1 CNF व्याकरण को देखते हुए, संगोष्ठी के तत्व संचालन के साथ टर्मिनल और …

9 fl.formal-languages 

मशीन लर्निंग एप्लिकेशन के लिए, मेरे समूह को यूक्लिडियन दूरी की गणना करने की आवश्यकता है ककkएक सेट में निकटतम पड़ोसी एक्सएक्सX प्रत्येक के लिए एक्स ∈ ( एक्स∪ Y) ⊂आरघएक्स∈(एक्स∪Y)⊂आरघx \in (X \cup Y) \subset \mathbb R^d (के लिये घघd 5 और लगभग 100 के बीच, और | एक्स| …

9 reference-request  cg.comp-geom  near-neighbors 

विकिपीडिया - SHA-2 कहता है SHA-224 SHA-256 के समान है, सिवाय इसके कि: h7 के माध्यम से प्रारंभिक चर मान h0 अलग हैं, और आउटपुट h7 को छोड़ कर बनाया गया है। RFC3874 - एक 224-बिट वन-वे हैश फंक्शन: SHA-224 कहता है एक अलग प्रारंभिक मूल्य का उपयोग यह सुनिश्चित …

9 cr.crypto-security  hash-function 

(मेरे मूल प्रश्न का अभी भी उत्तर नहीं दिया गया है। मैंने और स्पष्टीकरण जोड़ दिए हैं।) मार्कोव श्रृंखला के रूप में रैंडम वॉक को देखते हुए रैंडम वॉक (अप्रत्यक्ष ग्राफ़ पर) का विश्लेषण करते समय, हमें ग्राफ को गैर-द्विपदी होना चाहिए ताकि मार्कोव चेन का मौलिक प्रमेय लागू हो। …

9 pr.probability  random-walks 

मैं सोच रहा था कि नियमित अभिव्यक्ति के प्रतिबंधों से भाषाओं के क्या सेट उत्पन्न होते हैं। यह मानते हुए कि सभी प्रतिबंधों के प्रत्येक तत्व के लिए एक निरंतर प्रतीक हैΣΣ\Sigmaऔर संघटन। फिर पूरक / निषेध, परिवर्तन / संघ, और क्लेयन स्टार की उपस्थिति या अनुपस्थिति से आठ कक्षाएं …

9 fl.formal-languages  regular-expressions 

हर जगह, जहां मैंने सबसे कम कटौती समस्या के बारे में पढ़ा, यह केवल कहता है कि समस्या को एनपी -हार्ड के रूप में जाना जाता है । मुझे इसका प्रमाण कहां मिल सकता है? कौन सा जाना जाता एनपी -हार्ड समस्या sparsest कटौती समस्या को कम कर देता है? …

9 cc.complexity-theory  reference-request  np-hardness 

मैं यह दिखाने की कोशिश कर रहा हूं कि सेट कवर से कमी से एक निश्चित समस्या अनुचित है। मेरी कमी एक उदाहरण को आकार के ग्राउंड सेट के साथ बदल देती हैnnnऔर मेरी समस्या के एक उदाहरण में सेट होता है जहाँ एक निश्चित पैरामीटर आकार । मैं फिर …

9 cc.complexity-theory  approximation-hardness  set-cover 

एक स्ट्रिंग की कोलमोगोरोव जटिलता कम्प्यूटेशनल नहीं है। हालांकि, लंबाई के बाइनरी स्ट्रिंग्स के आकार के एक यादृच्छिक उपसमूह में , कितने की उम्मीद है कि कुछ पूर्णांक से कम ( एक फ़ंक्शन के रूप में , और ) से कम जटिलता है ?मMMnnnn0n0n_{0}nnnमMMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

मेरे पास लीनियर प्रोग्रामिंग समस्याओं का एक परिवार है: अधिकतम विषय के लिए , x \ ge0 । ए , बी , और सी के तत्व गैर- सकारात्मक पूर्णांक हैं, सी सख्ती से सकारात्मक हैं। ( एक्स को भी अभिन्न होना चाहिए लेकिन मुझे बाद में इस बारे में चिंता …

9 ds.algorithms  reference-request  linear-programming  matrices