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

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

9 optimization  big-picture  linear-programming  linear-equations 

मान लीजिए कि एलिस का वितरण है μμ\mu एक परिमित (लेकिन संभवतः बहुत बड़ा) डोमेन, जैसे कि (शैनन) एन्ट्रापी μμ\mu ऊपरी तौर पर एक छोटे से स्थिरांक से घिरा होता है εε\varepsilon। ऐलिस एक मूल्य खींचता हैएक्सxx से μμ\mu, और फिर बॉब (जो जानता है) से पूछता है μμ\mu) अनुमान …

9 it.information-theory  pr.probability 

अरोड़ा और बराक की पुस्तक में पीसीपी पर अध्याय नोट शामिल हैं हम ध्यान देते हैं कि दिनूर की सामान्य रणनीति कुछ हद तक विस्तार ग्राफों के ज़िग-ज़ैग निर्माण की याद दिलाती है और अध्याय 20 में वर्णित अप्रत्यक्ष कनेक्टिविटी के लिए रींगोल्ड के नियतात्मक लॉगस्पेस एल्गोरिथ्म है, जो बताता …

9 cc.complexity-theory  pcp 

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

9 graph-theory  co.combinatorics  planar-graphs  hamiltonian-paths 

जहाँ तक मुझे पता है, प्रकार वर्ग की कमी के साथ एक हास्केल फ़ंक्शन आंतरिक रूप से अतिरिक्त तर्कों के साथ एक फ़ंक्शन के लिए संकलित किया जाता है जो प्रत्येक विशेष प्रकार के वर्ग के आवश्यक कार्यान्वयन के साथ शब्दकोशों प्राप्त करता है। क्या कोई अन्य संभावनाएं हैं कि …

9 pl.programming-languages  functional-programming  compilers  type-systems 

मान लें कि हमारे पास एक फ़ंक्शन ऐसा है कि और एक वितरण है, अर्थात, ।f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}∀x∈Zn2f(x)∈{12n,22n,…,2n2n},∀x∈Z2nf(x)∈{12n,22n,…,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x∈Zn2f(x)=1∑x∈Z2nf(x)=1\sum_{x\in \mathbb{Z}_2^n} f(x) = 1 की शैनन एंट्रोपी को इस प्रकार परिभाषित किया गया है: fffH(f)=−∑x∈Zn2f(x)log(f(x)).H(f)=−∑x∈Z2nf(x)log⁡(f(x)).H(f) = -\sum _{x \in \mathbb{Z}_2^n} f(x) \log …

9 it.information-theory  boolean-functions 

फ़िनाइट उत्पादों और रकमों से निर्मित फ़नकार के पास ऑर्डिनल , जो फ्रेंकोइस मेटायर द्वारा इस पांडुलिपि में अच्छी तरह से विस्तृत है । यानी हम आगमनात्मक प्रकार तक पहुँच सकते हैं functor पुनरावृत्ति द्वारा , जिसके बाद इसकी निश्चित बिंदु तक पहुँच जाता है पुनरावृत्तियों।ωω\omeganat:=μX.1+Xnat:=μX.1+Xnat := \mu X. 1 …

9 lo.logic  type-theory  ct.category-theory 

मुझे पता है कि उम्मीद की बुरी से बुरी हालत क्रम यादृच्छिक वृद्धिशील डेलॉनाय ट्राईऐन्ग्युलेशंस एल्गोरिथ्म (के रूप में दी कम्प्यूटेशनल ज्यामिति ) हैओ (एनलॉगn )O(nlog⁡n)\mathcal O(n \log n)। एक व्यायाम है जो सबसे खराब स्थिति हैΩ (n2)Ω(n2)\Omega(n^2)। मैंने एक उदाहरण का निर्माण करने की कोशिश की है, जहां वास्तव …

9 ds.algorithms  randomized-algorithms  delaunay-triangulation  worst-case 

चलो एक्सXX एक यादृच्छिक चर हो जिसमें मान हो ΣnΣn\Sigma^n (कुछ बड़े वर्णमाला के लिए ΣΣ\Sigma), जिसमें बहुत अधिक एन्ट्रापी हैं - कहते हैं, एच(एक्स)≥(n-δ)⋅लॉग|Σ|H(X)≥(n−δ)⋅log|Σ|H(X) \ge (n- \delta)\cdot\log|\Sigma| मनमाने ढंग से छोटे स्थिरांक के लिए δδ\delta। चलोइ⊆एसयूपीपी(एक्स)E⊆Supp(X)E \subseteq \rm{Supp}(X) के समर्थन में एक घटना हो एक्सXX ऐसा है कि Pr[X∈E]≥1−εPr[X∈E]≥1−ε\Pr[X …

9 it.information-theory  pr.probability 

चलो एक ग्राफ हो। चलोपूर्णांक बनें। बता दें कि के कोने और किनारों की एक विषम संख्या के किनारे प्रेरित सबग्राफ की संख्या है। चलो के किनारे प्रेरित subgraphs की संख्या हो होने कोने और किनारों की समान संख्या। Let । अजीब भी डेल्टा समस्या कंप्यूटिंग में होते हैं , …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

मैं स्ट्रक्चरल इंजीनियरिंग के क्षेत्र में काम कर रहा हूं और मैं उत्तल शरीर के एक सन्निकटन (हॉसडॉर्फ मैट्रिक में) के निर्माण के लिए एक कुशल एल्गोरिदम खोजना चाहूंगा। KKK के उत्तल पतवार द्वारा nnn कुछ निश्चित के लिए दीर्घवृत्त nnn। वर्तमान में मैं केवल 2 और 3 आयामों में …

9 cg.comp-geom  approximation  convex-geometry 

मेरा प्रश्न परिमित मॉडल सिद्धांत / वर्णनात्मक जटिलता के बारे में है, इसलिए का अर्थ होगा "परिमित द्विआधारी शब्दों पर पहला आदेश, रुपये का उपयोग करता है और एक शब्द में 1 की स्थिति पर एक सटीक विधेय पी सच है"।FO(R)FO(R)FO(R) मैं जानना चाहूंगा कि, क्या कुछ गणित के लिए, …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

यह एक नरम सवाल है जो यह स्थापित करने के उद्देश्य से है कि लोगों को क्या लगता है कि अर्क्सिव पर अपरंपरागत कार्य प्रस्तुत करने के लिए पेशेवर सर्वोत्तम अभ्यास है । शिकागो विश्वविद्यालय में उनके webspace पर रॉबर्ट सेज़लेसैनी द्वारा एक लेख [1] का एक मसौदा है, जाहिरा …

9 soft-question  research-practice 

Background––––––––––––––Background_\underline{\bf Background} 2005 में, रेगेव [1] ने एरर्स (एलडब्ल्यूई) समस्या के साथ लर्निंग को पेश किया, लर्निंग पेरिटी फॉर एरर प्रॉब्लम का सामान्यीकरण। कुछ पैरामीटर विकल्पों के लिए इस समस्या की कठोरता की धारणा अब जाली-आधारित क्रिप्टोग्राफी के क्षेत्र में पोस्ट-क्वांटम क्रिप्टोसिस्टम्स के एक मेजबान के लिए सुरक्षा प्रमाण को …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

मैं एक मिश्रित निर्वाचन क्षेत्र / निर्भरता ग्राफ (एक भाषाई अनुप्रयोग के लिए) आकर्षित करने के लिए एक एल्गोरिथ्म की तलाश कर रहा हूं। इस तरह के ग्राफ में दो अलग-अलग प्रकार के कोने (टोकन, नोड्स) और दो अलग-अलग प्रकार के किनारे (पदानुक्रमित, गैर-पदानुक्रमित) होंगे। मैं सामान्य रूप से ग्राफ …

9 ds.algorithms  graph-algorithms  cg.comp-geom  graph-drawing