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

में टिनी एन्क्रिप्शन एल्गोरिथ्म : एक जादू स्थिरांक के विभिन्न गुणकों का उपयोग गोल के समरूपता के आधार पर सरल हमलों को रोकने के लिए किया जाता है। जादू स्थिरांक, 2654435769 या 9E3779B9 16 को , जहां। स्वर्णिम अनुपात है।232/ ϕ232/φ2^{32}/ \phi कौन से गुण है जो इसे इस संदर्भ …

12 cr.crypto-security 

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

12 ds.algorithms  reference-request  graph-algorithms 

निम्नलिखित समस्या पर विचार करें, पॉजिटिव संख्याओं के एक सेट को देखते हुए जिसमें एक स्थिरांक है, हम सेट को आकार सबसेट में विभाजित करना चाहते हैं ताकि प्रत्येक के योग का उत्पाद सबसेट अधिकतम है।n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk समस्या अच्छी तरह से ज्ञात …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

चलो विमान में अंक हो । बिन्दुओं के साथ और किनारे भार के साथ पूर्ण ग्राफ़ पर विचार करें । क्या आप हमेशा वजन में कटौती कर सकते हैं जो कुल वजन का कम से कम \ frac 2 3 है? यदि नहीं, तो किस स्थिरांक को \ frac 2 …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

निम्नलिखित समस्या के बारे में क्या जाना जाता है? फ़ंक्शंस के संग्रह को देखते हुए , वीसी-डायमेंशन लिए बाधा के अधीन सबसे बड़ा कुछ पूर्णांक ।f : { 0 , 1 } n → { 0 , 1 }CसीCf:{0,1}n→{0,1}च:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}( एस ) ≤ कश्मीर कश्मीरS⊆Cएस⊆सीS \subseteq C(S)≤k(एस)≤क(S) \leq kkकk क्या इस …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

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

12 big-picture  communication-complexity 

यह प्रश्न पेड़ों पर एनपी-कठिन समस्याओं के समान है : एनपी-पूर्ण समस्याओं की एक बड़ी संख्या है जो क्रोग्स पर ट्रैक्टेबल हैं । क्या कोई ज्ञात समस्या है जो एनपी-पूर्ण बनी रहती है जब क्रॉग्स तक सीमित रहती है? अधिक सटीक होने के लिए मुझे उन उदाहरणों में दिलचस्पी है …

12 cc.complexity-theory  np-hardness  graph-algorithms 

शीर्षक खुद ही बोलता है। यहाँ Akinator और 20Q । इन खेलों का सिद्धांत उपयोगकर्ता को उपयोगकर्ता द्वारा चुने गए कुछ इकाई से संबंधित कई प्रश्न पूछना है। और फिर पता करें कि यह इकाई क्या है। एल्गोरिथ्म का मूल प्रत्येक दौर में "सबसे उपयोगी प्रश्न" ढूंढना है, जबकि एक …

12 ds.algorithms 

मैं कुछ प्रमाण सहायक का उपयोग करके गणितीय प्रमाण लिखना चाहूंगा। सब कुछ पहले क्रम तर्क (समानता के साथ) और प्राकृतिक कटौती का उपयोग करके लिखा जाएगा। पृष्ठभूमि सेट सिद्धांत (ZF) है। उदाहरण के लिए, मैं निम्नलिखित प्रमाण कैसे लिख सकता हूं? Axiom:∀ x ∀ य( x = y↔ ∀ …

12 lo.logic  software  proof-assistants 

यह पॉलिनोमियल टाइम कठोरता के परिणामों पर रॉबिन कोठारी की पिछली पोस्ट के अनुवर्ती प्रश्न के रूप में है । विशेष रूप से, मैं उन समस्याओं के लिए कुछ कठोरता प्रमाणों को देखने में रुचि रखता हूं जिनके बारे में माना जाता है कि मोटे तौर पर निचली सीमा है, …

12 graph-theory  cg.comp-geom  lower-bounds 

यह व्यापक रूप से ज्ञात है कि CNF सूत्र को मोटे तौर पर 2 व्यापक वर्गों में विभाजित किया जा सकता है: यादृच्छिक बनाम संरचित। संरचित CNF फ़ार्मुलों, यादृच्छिक CNF फ़ार्मुलों के विरोध में, कुछ प्रकार के आदेश प्रदर्शित करते हैं, पैटर्न दिखाते हैं जो संयोग से होने की संभावना …

12 cc.complexity-theory  sat  randomness  symmetry 

रैंडम के-सैट को परिभाषित करते समय हमारे पास 4 अलग-अलग बाधाएं हो सकती हैं। 1) किसी दिए गए क्लॉज़ में कुल शाब्दिक संख्या K या AT सबसे अधिक K 2 है) दिए गए शाब्दिक का उपयोग उसी खंड (A या A या A) 3 में प्रतिस्थापन के साथ या बिना …

12 cc.complexity-theory  sat  randomness  phase-transition 

Razborov साबित कर दिया कि हर एक लय सर्किट द्विपक्षीय ग्राफ के लिए एकदम सही मिलान समारोह की गणना करता है कि कम से कम होनी चाहिए फाटकों (वह इसे "तार्किक स्थायी" कहा जाता है)। क्या तब से एक ही समस्या के लिए बेहतर निचली सीमा साबित हुई है? ( …

12 cc.complexity-theory  circuit-complexity  matching 

C # और .NET में जेनेरिक की नींव पर सबसे महत्वपूर्ण शोध पत्र क्या हैं?

12 pl.programming-languages 

सीएमएसओएल मोनाडिक सेकंड ऑर्डर लॉजिक की गिनती कर रहा है, यानी ग्राफ़ का एक तर्क जहां डोमेन वर्टीकल और किनारों का सेट है, वहाँ वर्टेक्स-वर्टेक्स आसन्नता और एज-वर्टेक्स घटना के लिए विधेय हैं, किनारों, वर्टीकल, एज सेट्स और वर्टेक्स की मात्रा का ठहराव है। सेट, और एक विधेय जो व्यक्त …

12 ds.algorithms  reference-request  graph-algorithms  descriptive-complexity  cliquewidth