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

आपको n कोने के साथ ग्राफ दिया जाता है । यदि आप चाहें तो यह द्विदलीय हो सकता है। कर रहे हैं मीटर किनारों के सेट ई 1 , ... , ई मीटर ⊆ ई (माना संबंध तोड़ना)। मैं एक सबसेट खोजने की समस्या में दिलचस्पी एस ⊆ वी संभव …

19 ds.algorithms  graph-theory  optimization 

किसी को भी निम्नलिखित समस्या के साथ मेरी मदद कर सकते हैं? मैं कुछ मानों को खोजना चाहता हूं एमैं, बीजेai,bja_i,b_j (mod एनNN ) जहां i = 1 , 2 , … , के, जे = 1 , 2 , … , केi=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K (उदाहरण के लिए क= 6K=6K=6 ), …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

क्या ग्राफ़ के एक वर्ग का एक उदाहरण है जिसके लिए शीर्ष रंग समस्या पी में है, लेकिन स्वतंत्र सेट समस्या एनपी पूरी है?

19 cc.complexity-theory  graph-theory  complexity-classes 

यह सर्वविदित है कि एस और के कॉम्बिनेटर ट्यूरिंग कम्प्लीट हैं। क्या ऐसे कॉम्बिनेटर होते हैं जो आदिम पुनरावर्ती कार्यों के लिए (केवल) उपज देते हैं?

19 lo.logic  computability 

वेक्टर रिक्त स्थान का एक बुनियादी संपत्ति है कि एक वेक्टर अंतरिक्ष है आयाम के एन - डी की विशेषता किया जा सकता है घ रैखिक स्वतंत्र रैखिक कमी - यह है कि, वहाँ मौजूद d रैखिक स्वतंत्र वैक्टर डब्ल्यू 1 , ... , डब्ल्यू डी ∈ एफ एन 2 …

19 co.combinatorics  linear-algebra  boolean-functions  fourier-analysis 

निम्नलिखित मॉडल पर विचार करें: एक n- बिट स्ट्रिंग r = r 1 ... r n को समान रूप से यादृच्छिक पर चुना जाता है। अगला, प्रत्येक इंडेक्स i 1 {1, ..., n} को स्वतंत्र A के साथ एक सेट में रखा जाता है 1/2। अंत में, एक विरोधी की …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

एक मैट्रिक्स को पूरी तरह से नियमित कहा जाता है यदि उसके सभी वर्ग उपमहाद्वीपों में पूर्ण रैंक है। इस तरह के मैट्रिस का उपयोग सुपरकंस्ट्रेटर बनाने के लिए किया जाता था। यह तय करने की जटिलता क्या है कि किसी दिए गए मैट्रिक्स तर्कसंगत से अधिक पूरी तरह से …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

मैं रैखिक समीकरणों modulo k को हल करने की जटिलता में दिलचस्पी रखता हूं , मनमाने ढंग से k के लिए (और प्रमुख शक्तियों में विशेष रुचि के साथ): मुसीबत। अज्ञात मोडुलो में रैखिक समीकरणों की दी गई प्रणाली के लिए , क्या कोई समाधान मौजूद है?एन केmmmnnnkkk उनके कागज …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

मान लें कि हमारे पास अप्रत्यक्ष भारित ग्राफ जी = ( वी, ई, डब्ल्यू )G=(V,E,w)G = (V, E, w) (गैर-नकारात्मक भार के साथ) है। आइए मान लेते हैं कि सभी सबसे छोटे रास्ते जीGGअद्वितीय हैं। मान लीजिए कि हमारे पास ये पथ ( किनारों के अनुक्रम) हैं, लेकिन जी खुद …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

मैं अभी हाल ही में ट्यूरिंग मशीन के बारे में चर्चा कर रहा था, जब मुझसे पूछा गया, "क्या ट्यूरिंग मशीन ऑटोमेटा से निकली है, या यह दूसरी तरह है"? मुझे पाठ्यक्रम का उत्तर नहीं पता था, लेकिन मैं यह जानने के लिए उत्सुक हूं। ट्यूरिंग मशीन मूल रूप से …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

पृष्ठभूमि: चाओ जू ने कुछ समय पहले निम्नलिखित प्रश्न पोस्ट किए थे: " क्या कोई ज्ञात तुलना सॉर्टिंग एल्गोरिदम हैं जो सॉर्टिंग नेटवर्क को कम नहीं करते हैं, जैसे कि प्रत्येक तत्व की तुलना बार की जाती है?O(logn)O(log⁡n)O(\log n) "। ऐसा लगता है कि हम समस्या से थोड़े चिपके हुए …

19 ds.algorithms  sorting  sorting-network 

बता दें कि एक अनिर्दिष्ट अप्रत्यक्ष ग्राफ है जिसमें कोने और किनारों हैं। क्या को प्रीप्रोसेस करना और आकार एक डेटा संरचना का निर्माण करना संभव है ताकि यह समय O (n) में " और बीच की दूरी" फॉर्म के प्रश्नों का उत्तर दे सके ?एन एम जी एम ⋅ …

19 graph-theory  graph-algorithms  ds.data-structures 

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

19 ds.algorithms  reference-request  graph-algorithms 

मैं वर्तमान में 3-CNF फ़ार्मुलों को प्राप्त करने (या निर्माण) और अध्ययन करने में दिलचस्पी रखता हूं जो असंतोषजनक हैं, और न्यूनतम आकार के हैं। अर्थात्, उन्हें यथासंभव कुछ खंड (m = 8 अधिमानतः) और संभव के रूप में कुछ अलग चर (n = 4 या अधिक) से मिलकर होना …

19 cc.complexity-theory  sat 

प्रतिवर्ती कंप्यूटिंग एक कम्प्यूटेशनल मॉडल है जो केवल थर्मोडायनामिक रूप से प्रतिवर्ती संचालन की अनुमति देता है। Landauer के सिद्धांत के अनुसार, जो बताता है कि थोड़ी जानकारी मिटाने से ऊष्मा निकलती है, यह संक्रमण कार्यों को नियंत्रित करता है जो एक-से-एक (जैसे, बूलियन और OR ऑपरेटर) नहीं हैं। यह …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information