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

~ 1 has सदी से अधिक पुरानी रीमैन परिकल्पना का गणित में गहरा प्रभाव है और गणित सिद्धांत का एक बड़ा हिस्सा अब इस पर और कई प्रकारों पर सशर्त रूप से साबित हो गया है। मैं हाल ही में Riemann परिकल्पना के आधार पर TCS में एक सशर्त परिणाम …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

मेरा प्रश्न QED (क्वांटम इलेक्ट्रोडायनामिक्स) के लिए क्वांटम एल्गोरिदम के बारे में है जो ठीक संरचना स्थिरांक से संबंधित संगणना है। इस तरह की संगणना (जैसा कि मुझे समझाया गया है) टेलर-सीरीज़ सीरीज़ गणना करने के लिए जहाँ Alpha ठीक संरचना स्थिर (लगभग 1/137) है और -loops के लिए Feynman …

10 cc.complexity-theory  quantum-computing  physics 

क्या कोई समस्याएँ हैं जो बहुपद समय में हल करने योग्य हैं यदि केवल P! = NP, और अन्यथा सॉल्वेबल (कहते हैं) समय है?O(2n)O(2n)O(2^n) एक सरल उदाहरण होगा: यदि पी! = एनपी, एक यादृच्छिक n-बिट संख्या के लिए एक मौलिकता परीक्षण की गणना करता है, अन्यथा, प्रत्येक पक्ष पर 2n …

10 cc.complexity-theory  reference-request 

रियल-रैम / बीएसएस मॉडल का उपयोग करते हुए, हमारे पास कक्षा एनपी आर है , (जहां एक बीएसएस वास्तविक से अधिक संचालन वाले कंप्यूटर का ब्लम-शुब-स्मेल मॉडल है)। हमारे पास एनपी आर पूरी समस्याएं हैं। तो, सवाल यह है कि क्लास एनपी आर के लिए बर्मन हार्टमैनिस अनुमान का एक …

10 cc.complexity-theory  computing-over-reals 

मान लें कि हमारे पास से एक बूलियन फ़ंक्शन है : { 0 , 1 } n → { 0 , 1 } । यह स्पष्ट है कि कोई वास्तविक मल्टीवेरिएट बहुपद पी ( एक्स ) ऐसी है कि च ( एक्स ) = पी ( एक्स ) पर एक्स …

10 boolean-functions 

मुझे निम्नलिखित समस्या में दिलचस्पी है। हम एक "लक्ष्य क्रमपरिवर्तन" इनपुट के रूप में दिया जाता है , साथ ही सूचकांक के एक आदेश दिया सूची मैं 1 , ... , मैं हूँ ∈ [ n - 1 ] । फिर, सूची से आरंभ एल = ( 1 , 2 …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

मैं यादृच्छिक वैक्टर पर एक वितरण खोजने की कोशिश कर रहा हूं , -dimensional इकाई क्षेत्र (जहां ) पर ) को कम से कम बाधा \ mathbb {E} [x_i ^ Tx_j] = 0 के अधीन है ।nnnएक्स1, ... , एक्सnx1,…,xnx_1,\ldots, x_nकkkn > केn>kn > kअधिकतममैं ≠ जेV a r ( …

10 reference-request  randomized-algorithms 

प्लानर 3-सैट की मानक परिभाषा क्या है? मैंने कई तरह की परिभाषाएँ देखी हैं। मूल कागज क्या था जिसने इसे परिभाषित किया और इसे एनपी-पूर्ण साबित किया?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

क्रॉसपोस्ट से मो । (एज) रंगीन ग्राफ आइसोमॉर्फिज्म जीआई है जो रंगों को संरक्षित करता है (किनारों का अगर यह किनारे का रंग है)। जीआई से जीआई के लिए (एज) रंग के बदलाव / गैजेट्स का उपयोग करके कई कटौती की गई हैं। किनारे के रंग के लिए जीआई सबसे …

10 graph-theory  graph-isomorphism  automorphism 

आइए एक भाषा में NP को केवल और केवल अगर प्रमाणित करें तो:एल ∈L∈L \in एक बहुपद मौजूद ऐसी है कि हर निवेश के लिए एक्स ∈ Σ * आकार के n , अगर एक्स ∈ एल फिर सेट यू x प्रमाण पत्र की यू जो सत्यापित करें कि एक्स …

10 cc.complexity-theory  complexity-classes 

मैं डेविड एप्पस्टीन द्वारा पेश की गई एक खुली समस्या पर लड़खड़ा गया और मुझे इसकी जटिलता की स्थिति में दिलचस्पी है। उन्होंने अनुमान लगाया कि यह एनपी-पूर्ण है। इनपुट: द्वारा 0 के और 1 के, के अनुक्रम का मैट्रिक्स 0 और 1 केnnnnnnn2n2n^2 प्रश्न: क्या आसन्न मैट्रिक्स प्रविष्टियों के …

10 cc.complexity-theory  graph-theory 

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

10 cc.complexity-theory  type-theory  lambda-calculus 

यह देखते हुए दो बहुकोणीय आकृति और क्यू , पी और क्यू हैं अगर वहाँ बहुकोणीय आकृति की परिमित सेट कर रहे हैं equidecomposable हैं पी 1 , ... , पी एन और क्यू 1 , ... , क्यू एन ऐसी है कि पी मैं और क्यू मैं सभी के …

10 ds.algorithms  computational-geometry  polygon 

मैं GAP पैकेज में लागू किए गए परिमित समूहों के लिए एल्गोरिदम में दिलचस्पी रखता हूं। ऐसा लगता है कि इस क्षेत्र में सभी ज्ञात एल्गोरिदम क्रमपरिवर्तन समूहों / मैट्रिक्स समूहों के साथ सौदा करते हैं; दो मौलिक व्यक्ति श्रेयर-सिम्स [1970] और बटलर [1979] हैं, उदाहरण के लिए ऐलिस नीमेयेर …

10 permutations  gr.group-theory 

Fano की असमानता कई रूपों में कहा जा सकता है, और एक विशेष रूप से उपयोगी एक की वजह से है (एक मामूली संशोधन के साथ) Oded Regev : चलो एक यादृच्छिक चर है, और जहां एक यादृच्छिक प्रक्रिया है। एक प्रक्रिया के अस्तित्व को मान लें कि दिए गए …

10 it.information-theory  randomized-algorithms