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

क्वांटम कंप्यूटिंग में हम अक्सर ऐसे मामलों में रुचि रखते हैं जहां कुछ विशेष आयामी ऑपरेटरों के समूह, जी के लिए, कुछ डी-आयामी प्रणाली या तो पूरे समूह एसयू (डी) को ठीक से या यहां तक ​​कि एसयू (डी) के घने आवरण द्वारा प्रदान की गई एक सन्निकटन भी प्रदान …

23 quantum-computing 

यह ज्ञात है कि हैमिल्टनियन (हैम फॉर शॉर्ट) साइकिल एनपी-पूर्ण है और प्लेनर हैम साइकिल एनपी-पूर्ण है। प्लेनर हैम साइकिल का प्रमाण हैम साइकिल से नहीं है। क्या कोई अच्छा गैजेट है, जिसे ग्राफ G दिया गया है, सभी क्रॉसिंग को कुछ प्लानर गैजेट से बदल दें ताकि आपके पास …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

मान लीजिए कि हम गेंदों को डिब्बे में फेंक रहे हैं , जहाँ । चलो बिन में समाप्त गेंदों की संख्या हो , भारी बिन, हो X_ \ मिनट हल्का बिन हो, और एक्स _ {\ mathrm {सेकंड-अधिकतम}} दूसरा सबसे भारी बिन हो। मोटे तौर पर, X_i - X_j \ …

23 reference-request  pr.probability 

उत्तल शरीर को मूल और सममित पर केंद्रित मानें (अर्थात यदि तब )। मैं एक अलग उत्तल निकाय को खोजने की इच्छा जैसे कि और निम्नलिखित उपाय को कम से कम किया जाता है:कश्मीर एक्स ∈ कश्मीर - एक्स ∈ कश्मीर एल कश्मीर ⊆ एलKKx∈Kx\in K−x∈K-x\in KLLK⊆LK\subseteq L च ( …

23 cg.comp-geom  approximation  convex-geometry 

क्या कोई भी समस्याओं और / या समस्याओं की गिनती के बारे में एक अच्छा और हालिया सर्वेक्षण सुझा सकता है जो #P हैं।

23 cc.complexity-theory  reference-request  counting-complexity 

यह सवाल क्रॉस वैलिडेट से माइग्रेट किया गया था क्योंकि इसका उत्तर सैद्धांतिक कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 8 साल पहले पलायन कर गए । मुझे हल करने के लिए एक काफी अनोखी समस्या है और मैं उम्मीद कर रहा हूं कि यहां कोई मुझे कुछ …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

व्यावहारिक रूप से, एक भाषा के लिए जिसे अंततः सिस्टम स्तर के निर्देशों में संकलित / रूपांतरित किया जा सकता है, क्या यह आवश्यक है कि यह एक संदर्भ मुक्त व्याकरण हो? ex: क्या सभी प्रोग्रामिंग / स्क्रिप्टिंग भाषाएँ संदर्भ मुक्त व्याकरण हैं? जावा सीएफजी पर आधारित है, लेकिन क्या …

23 pl.programming-languages  context-free 

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

23 soft-question  big-list  paper-review 

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

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

क्वांटम कंप्यूटर नमूना वितरण के लिए बहुत अच्छे हैं जो हमें पता नहीं है कि शास्त्रीय कंप्यूटरों का उपयोग करके कैसे नमूना लिया जाए। उदाहरण के लिए यदि f एक बूलियन फंक्शन है ( से - 1 , 1 ) जो कि बहुपद समय में गणना की जा सकती है …

23 quantum-computing  cg.comp-geom  optimization 

मैं वास्तविक जीवन की समस्याओं के लिए प्रासंगिक ग्राफ़ कहां पा सकता हूं? दो रिपॉजिटरी जो मुझे पता हैं वे हैं: फ्लोरिडा विश्वविद्यालय के विरल मैट्रिक्स संग्रह Bodlaender's TreewidthLib

23 graph-theory  big-list  co.combinatorics  data-sets 

डी। बेरा, एफ। ग्रीन और एस। होमर (एसीएम सिगच न्यूज़ के पृष्ठ 36, जून 2007 वॉल्यूम 38, नंबर 2) द्वारा "स्मॉल डेप्थ क्वांटम सर्किट्स" के सर्वेक्षण में , मैंने निम्नलिखित वाक्य पढ़ा: का शास्त्रीय संस्करण (जिसमें ए एन डी और ओ आर गेट्स के पास सबसे अधिक निरंतर प्रशंसक हैं) …

23 cc.complexity-theory  circuit-complexity 

दिया एक डाग है। आप प्रत्येक नोड को लेबल करना चाहते हैं कि कितने नोड्स उससे पहुंच योग्य हैं। एक तुच्छ ऊपरी सीमा है; Ω ( वी + ई ) एक कम बाध्य है (मुझे लगता है कि)। क्या एक बेहतर एल्गोरिथ्म है? क्या यह मानने का कारण है कि …

23 ds.algorithms  graph-theory 

यह प्रश्न एक उत्तर से संबंधित है जिसे मैंने दूसरे प्रश्न के उत्तर में पोस्ट किया है। 3-विभाजन समस्या निम्न समस्या है: उदाहरण : सकारात्मक पूर्णांक 1 , ..., n , जहां n = 3m और n पूर्णांकों का योग mB के बराबर है, जैसे कि प्रत्येक i , B …

23 cc.complexity-theory  np-hardness 

मुझे ओवरलैप के बिना उत्तल (2 आयामी) बहुभुज में (2 आयामी) आयतों की समान प्रतियों को पैक करने की समस्या में दिलचस्पी है। मेरी समस्या में आपको आयतों को घुमाने की अनुमति नहीं है और यह मान सकते हैं कि वे कुल्हाड़ियों के साथ समानांतर रूप से उन्मुख हैं। आपको …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing