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

बानाच के निश्चित बिंदु प्रमेय में कहा गया है कि यदि हमारे पास एक गैर-रिक्त पूर्ण मीट्रिक स्थान AAA , तो कोई समान रूप से संकुचनशील कार्य f:A→Af:A→Af : A \to A में एक विशिष्ट निश्चित बिंदु μ(f)μ(f)\mu(f) । हालांकि, इस प्रमेय का सबूत पसंद का स्वयंसिद्ध की आवश्यकता है …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

मैं मोडल सबस्ट्रक्चरल लॉजिक्स पर कागजात और लेखों की तलाश कर रहा हूं- लीनियर लॉजिक मोडैलिटीज के शब्दार्थों पर नहीं, बल्कि स्टैंडर्ड मोडल ऑपरेटर्स के साथ संवर्धित सबस्ट्रक्चरल लॉजिक्स पर, जैसे सबस्ट्रक्चरल के (बॉक्स ऑपरेटर, आवश्यकता और के नियमों के साथ MALL जैसा कुछ)।

15 reference-request  lo.logic  proof-theory 

मैंने कुछ समय पहले स्टैक ओवरफ्लो पर यह सवाल पूछा है: समस्या: बॉब की बिक्री । किसी ने यहाँ भी प्रश्न पोस्ट करने का सुझाव दिया। किसी ने पहले से ही इस समस्या से संबंधित एक सवाल पूछा है - दिए गए कार्डिनैलिटी का न्यूनतम वजन - लेकिन जहां तक …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

जैसा कि सभी जानते हैं, गैरी और जॉनसन की प्रसिद्ध पुस्तक (और कई अन्य) शास्त्रीय सेटिंग में कमी तकनीक के लिए एक उत्कृष्ट संदर्भ प्रदान करती है। क्या पैरामीटर एल्गोरिथम में कमी तकनीक के विषय पर कोई सर्वेक्षण या किताबें हैं, जो एफटीपी में कमी कहती हैं?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

मान लें कि हम एक प्रोग्रामिंग भाषा के साथ काम कर रहे हैं जिसमें रैखिक प्रकारों के लिए समर्थन है (रैखिक प्रकार की शर्तों का उपयोग सबसे अधिक बार किया जा सकता है, इसलिए कहने के लिए)। यह कुछ कम्प्यूटेशनल प्रभावों (जैसे कि उत्परिवर्तन, यहां तक ​​कि ऑपरेंड के प्रकार …

15 pl.programming-languages  type-theory  linear-logic 

जब पेपर " एफपीएच के लिए एक आवेदन सिद्धांत " आप निम्नलिखित मार्ग का सामना कर सकते हैं: कम्प्यूटेशनल जटिलता के वर्गों को चिह्नित करने वाले सिद्धांतों को ध्यान में रखते हुए, तीन अलग-अलग दृष्टिकोण हैं: एक में, जिन कार्यों को सिद्धांत के भीतर परिभाषित किया जा सकता है, वे …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

मैंने हाल ही में निर्णय ट्री मॉडल में एक समस्या की जटिलता पर बाध्य एक द्विघात कम की खोज की, और मुझे आश्चर्य है कि क्या यह परिणाम यादृच्छिक रूप से एक्सेस मशीन मॉडल में आंशिक रूप से सामान्यीकृत हो सकता है । द्वारा आंशिक रूप से , मैं एक …

15 cc.complexity-theory  lower-bounds 

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

15 ds.algorithms  co.combinatorics  sorting 

मेरा प्रश्न एक सामान्य है: मैं अल्गोरिदम डिजाइन और जटिलता के संदर्भ में कैसे सोचना शुरू करूं? मैं एलगोरिदम डिजाइन में ग्रेजुएट कोर्स करने जा रहा हूं। मैंने पहले इसमें दाखिला लिया था लेकिन बाद में इसे छोड़ दिया क्योंकि मैं इसके साथ नहीं रह सकता था। मुझे इस कोर्स …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

अधिकतम-प्रवाह समस्या का एक शास्त्रीय विस्तार "अधिकतम-प्रवाह समय के साथ" समस्या है: आपको डिग्राफ दिया जाता है, जिसमें से दो नोड्स स्रोत और सिंक के रूप में प्रतिष्ठित होते हैं, जहां प्रत्येक चाप के दो पैरामीटर होते हैं, एक क्षमता-प्रति -सुनाई-समय और देरी। आपको एक समय क्षितिज भी दिया जाता …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

मुझे क्रिप्टोग्राफी के लिए छद्म यादृच्छिक संख्या की पीढ़ी में दिलचस्पी है। मेनेजेस / ओर्सचॉट / वनस्टोन के अध्याय 5 के अलावा ; स्टिन्सन का अध्याय 8 ; और गोदरेज का अध्याय 3 , मुझे और कहां मिल सकता है? मैं PRNGs (वांछनीय गुण, परीक्षण, आदि) के डिजाइन के लिए …

15 cc.complexity-theory  reference-request  pseudorandomness 

चलो और के साथ दो द्विआधारी संख्या बिट और द्विआधारी संख्या (लंबाई ) के उत्पाद के और । हम प्रोडक्ट के सबसे siginifcant बिट की गणना करना चाहते हैं ।एक्सएक्सxyyynnnz=x⋅y z=x⋅y z = x \cdot y\ 2n2n2nxxxyyyz2n−1z2n−1z_{2n-1}z=z2n−1…z0z=z2n−1…z0z = z_{2n-1} \ldots z_0 इस निर्णय की जटिलता का विश्लेषण करने के लिए …

15 cc.complexity-theory  binary-decision-diagrams 

घन रेखांकन का 3-किनारे का रंग -complete है। फोर कलर प्रमेय "हर घन बोने वाला ब्रिजगाइड ग्राफ 3-एज रंगीन है" के बराबर है।NPNPNP क्यूबिक प्लानर ग्राफ़ के 3-किनारे रंग की जटिलता क्या है? इसके अलावा, यह अनुमान लगाया जाता है कि -edge रंग है एन पी अधिकतम डिग्री के साथ …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

रज़बोरोव-रूडीच के प्राकृतिक सबूत के पेपर, पृष्ठ 6 में, भाग में वे चर्चा करते हैं कि " मोनोटोन सर्किट मॉडल के खिलाफ मजबूत लोअरबाउंड सबूत हैं" और वे चित्र में कैसे फिट होते हैं, निम्नलिखित वाक्य हैं: यहाँ यह मुद्दा रचनात्मक नहीं है - इन साक्ष्यों में प्रयुक्त गुण सभी …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

मान लें कि हम या अधिकतम एक्स Π मैं j ∈ ई च(एक्समैं,एक्सजे)Σएक्सΠमैं जे ∈ ईच( x)मैं, एक्सजे)Σएक्सΠमैंजे∈इच(एक्समैं,एक्सजे)\sum_x \prod_{ij \in E} f(x_i,x_j)अधिकतमएक्सΠमैं जे ∈ ईच( x)मैं, एक्सजे)अधिकतमएक्सΠमैंजे∈इच(एक्समैं,एक्सजे)\max_x \prod_{ij \in E} f(x_i,x_j) जहां V के सभी लेबलिंग पर अधिकतम या योग लिया जाता है वीवीV, उत्पाद को G = \ {V, …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity