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

चूंकि दोनों प्रमाण विकर्ण तर्क का उपयोग करते हैं, इसलिए मैं सोच रहा हूं कि क्या बेशुमार अनंत सेटों के अस्तित्व और हॉल्टिंग समस्या की अनिच्छा के बीच एक अस्पष्ट लिंक है। यदि सभी सेट काउंटेबल थे, तो क्या हॉल्टिंग समस्या विकट होगी?

9 halting-problem 

क्या निम्न समस्या के लिए ज्ञात एल्गोरिदम हैं जो भोली एल्गोरिथ्म को हराते हैं? इनपुट: मैट्रिक्स और वैक्टर , जहां की सभी प्रविष्टियां nonnegative पूर्णांक हैं।AAAb,cb,cb,cA,b,cA,b,cA,b,c आउटपुट: एक इष्टतम समाधान to ।x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \} यह प्रश्न 0-1 प्रोग्रामिंग के लिए …

9 np-hardness  integer-programming  exp-time-algorithms 

मान लो मेरे पास है ककk में इंगित करता है आरघआरघ\mathbb{R}^d। ये एक वोरोनोई आरेख को प्रेरित करते हैं। अगर मैं प्रत्येक को असाइन करता हूंककk अंक ए ±±\pm लेबल, ये एक बाइनरी फ़ंक्शन को प्रेरित करते हैं आरघआरघ\mathbb{R}^d। प्रश्न: कुछ द्वारा प्रेरित ऐसे सभी संभावित बाइनरी फ़ंक्शन का कुलपति-आयाम …

9 cg.comp-geom  machine-learning  lg.learning  convex-geometry  high-dimensional-geometry 

मैं अतिव्यापी छवियों के "सम्मिश्रण" सेट की समस्या को हल कर रहा हूं। इन सेटों को इस तरह अप्रत्यक्ष भारित ग्राफ द्वारा दर्शाया जा सकता है: प्रत्येक नोड एक छवि का प्रतिनिधित्व करता है। ओवरलैपिंग छवियां एक किनारे से जुड़ी हुई हैं। बढ़त वजन ओवरलैप क्षेत्र के आकार का प्रतिनिधित्व …

9 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph  parallel 

मैं अपनी पढ़ाई के लिए उन गुणों के साथ एक ग्राफ खोजने की कोशिश कर रहा हूं, लेकिन दुर्भाग्य से मैं ऐसा ग्राफ नहीं पा सकता हूं। क्या किसी को पता है कि क्या वह ग्राफ है, या उसका अस्तित्व क्यों असंभव है?

9 graph-theory  graph-classes 

ऐसी समस्याएं हैं जो निर्णायक हैं, कुछ ऐसे हैं जो अनिर्दिष्ट हैं, जिनमें अर्धविक्षिप्तता है, आदि। इस मामले में मुझे आश्चर्य है कि क्या कोई समस्या मेटा-अनिर्दिष्ट हो सकती है। इसका मतलब है (कम से कम मेरे सिर में) हम यह नहीं बता सकते हैं कि यह निर्णायक है या …

9 computability  decidability  undecidability 

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

9 reference-request  shannon-entropy  succinct 

यह अच्छी तरह से ज्ञात है कि क्रिप्टोग्राफी (डिजिटल हस्ताक्षर, छद्म आयामी जनरेटर, निजी-कुंजी एन्क्रिप्शन, आदि) के लिए एक-तरफ़ा कार्यों का अस्तित्व आवश्यक और पर्याप्त है। मेरा प्रश्न है: एक तरफ़ा कार्यों के अस्तित्व की जटिलता-सिद्धांत संबंधी परिणाम क्या हैं ? उदाहरण के लिए, OWFs का मतलब है कि , …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

नैश इक्विलिब्रिया सामान्य रूप से अविश्वसनीय हैं। एकεϵ\epsilon-Nash संतुलन रणनीतियों का एक सेट है, जहां विरोधियों की रणनीतियों को देखते हुए, प्रत्येक खिलाड़ी अधिकतम संभावित अपेक्षित अदायगी के के भीतर प्राप्त करता है । एक ढूँढना -Nash संतुलन, यह देखते हुए और एक खेल है -Complete।εϵ\epsilonεϵ\epsilonεϵ\epsilonपी पी ए डीPPAD\mathsf{PPAD} परिभाषाओं …

9 reference-request  gt.game-theory  ppad 

Berkowitz एल्गोरिथ्म मैट्रिक्स शक्तियों का उपयोग करके एक वर्ग मैट्रिक्स के निर्धारक के लिए लॉगरिदमिक गहराई के साथ एक बहुपद आकार का सर्किट प्रदान करता है। एल्गोरिथ्म अंतर्निहित रूप से रद्दीकरण का उपयोग करता है। निर्धारक (और स्थायी के लिए किसी भी संभव सर्वश्रेष्ठ सर्किट) की गणना करने के लिए …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

मान लीजिए पी! = एनपी। हम जानते हैं कि हम किसी भी समय 3-SAT के आसान उदाहरण बना सकते हैं। हम यह भी उत्पन्न कर सकते हैं कि हम जो मानते हैं वह कठिन उदाहरण है (क्योंकि हमारे एल्गोरिदम उन्हें जल्दी से हल नहीं कर सकते हैं)। क्या सख्त उदाहरणों …

9 np-hardness  p-vs-np 

लाइन डायोफैंटाइन इक्विशंस (प्राकृतिक संख्या को देखते हुए) ए , बी , सीए,ख,सीa, b, c, वहाँ प्राकृतिक संख्या हैं एक्सएक्सx तथा yyy ऐसा है कि a x + b y+ सी = 0एएक्स+खy+सी=0ax + by + c = 0;) बहुपद समय में हल करने योग्य होते हैं। क्वाड्राटिक डायोफैंटीन इक्विपमेंट …

9 reference-request 

चलो एफFF का परिवार हो घddएक परिमित ब्रह्मांड के -Smentment सबसेट यूUUवस्तुओं की। एक परिवारएचHH का कkk-सीमेंट के सबसेट यूUU, साथ में 1 ≤ कश्मीर &lt; घ1≤k&lt;d1 \le k < d, एक है ( के , डी)(k,d)(k,d)- मार-सेट कीएफFF अगर प्रत्येक के लिए वी∈ एफV∈FV \in F कम से कम …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

मैं एक सूत्र की संतुष्टि की जटिलता की तलाश कर रहा हूं ∀y1, … ,yn, ∃एक्स1, … ,एक्सम, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi या एक सूत्र के ∃एक्स1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phiजहाँ फॉर्म का सूत्र है: जहाँ में स्थिर हैं , और चर का डोमेन भी ।ϕϕ\phiϕ:=ϕ∧ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

कृपया शीर्षक की थकाऊता का बहाना करें, हो सकता है कि मैंने सहमति की वेदी पर स्पष्टता का त्याग किया हो। एक सरणी के तत्वों को एक द्विआधारी खोज ट्री में डालने और उन्हें वापस पढ़ने के लिए (प्रविष्टि पर) उसी सरणी पर Quicksort चलाने के रूप में एक ही …

9 ds.algorithms  ds.data-structures  sorting