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

संकल्प CNFs की असंतोषजनकता साबित करने के लिए एक योजना है। रिज़ॉल्यूशन में एक प्रमाण CNF के प्रारंभिक क्लॉज के लिए खाली क्लॉज की तार्किक कटौती है। विशेष रूप से किसी भी प्रारंभिक खंड निष्कर्ष निकाला जा सकता है, और दो खंड से और बी ∨ ¬ एक्स खंड एक …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

हार्वे फ्राइडमैन ने दिखाया कि एक साफ-सुथरा निश्चित बिंदु परिणाम है जो ZFC (सामान्य ज़र्मेलो-फ़्रैंकेल सेट ऑफ़ थ्योरी ऑफ़ चॉइस) में साबित नहीं किया जा सकता है। कई आधुनिक लॉजिक्स को निर्धारित बिंदु ऑपरेटरों पर बनाया गया है, इसलिए मैं सोच रहा था: क्या सैद्धांतिक कंप्यूटर विज्ञान के लिए ऊपरी …

10 computability  lo.logic 

प्रश्न : क्या भविष्यवाणी करना (जैसा कि नीचे परिभाषित किया गया है) कम्प्यूटिंग अनुक्रमों को रोकने की समस्या जितनी कठिन है? विस्तार : "भविष्यवाणी" का अर्थ सफलतापूर्वक भविष्यवाणी करना है, जिसका अर्थ है कि पिछले n-1 बिट्स तक पहुंच दिए गए अनुक्रम के n-वें बिट की भविष्यवाणी करने की कोशिश …

10 computability 

जब डोमेन थ्योरिटिक श्रेणियों (सीपीओ और सीपीओ कहते हैं) के साथ काम करते हैं , तो मैं अक्सर डोमेन सिद्धांत में श्रेणी सिद्धांत की भाषा के लिए एक शब्दकोश की कामना करता हूं।ωω\omega अर्थात्, एक अवधारणा को देखते हुए, मोनिक एरो कहते हैं, मैं इसे शब्दकोश में देख सकता हूं …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

पृष्ठभूमि सर्किट जटिलता (यानी दृश्यों सर्किट के, प्रत्येक इनपुट आकार के लिए एक) के सर्किट परिवारों के सेट के रूप में परिभाषित किया गया है घिरे गहराई और बहुपद आकार बनाया का उपयोग कर असीम प्रशंसक में और, या, और नहीं।A सी0एसी0AC^0 -bit इनपुट के साथ समता फलन बिट्स के …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

सबसे पहले, मुझे अभी भी यकीन नहीं है कि क्या cstheory इस सवाल के लिए अच्छी तरह से अनुकूलित है, इसलिए मैं नाराज नहीं होगा अगर भीड़ को लगता है कि यह मामला नहीं है ... खोज इंजन विपणन में, कई समस्याएं दिलचस्प हैं। निष्पक्ष (और लाभदायक) नीलामी तंत्र का …

10 reference-request  lg.learning  gt.game-theory 

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

10 cc.complexity-theory  computability 

चलो एक क्रमचय हो। ध्यान दें कि जब inf एक अनंत डोमेन पर कार्य करता है, तो इसका विवरण परिमित हो सकता है। द्वारा वर्णन , मैं एक प्रोग्राम है जो वर्णन करता है मतलब π की कार्यक्षमता। (कोलमोगोरोव जटिलता के रूप में।) नीचे स्पष्टीकरण देखें।π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

में यूनिवर्सल ब्लाइंड क्वांटम संगणना autors एक माप आधारित प्रोटोकॉल जो लगभग एक शास्त्रीय उपयोगकर्ता गणना की सामग्री के बारे में लगभग कुछ भी खुलासा किए बिना एक लंबी सर्वर पर मनमाने ढंग से संगणना करने की अनुमति देता का वर्णन। प्रोटोकॉल विवरण में, लेखक प्रत्येक qubit से संबंधित "निर्भरता …

10 quantum-computing  cr.crypto-security 

मेरे पास एक व्यवहार्यता प्रश्न है जिसे निम्नानुसार फंसाया जा सकता है। मुझे एक d- आयामी आयामी अंतरिक्ष में एक बिंदु दिया गया है , और मैं निकटतम बिंदु q को पी के लिए खोजना चाहता हूं जो प्रपत्र के " const 0 बाधाओं" के एक सेट को संतुष्ट करता …

10 ds.algorithms  approximation-algorithms  linear-programming 

मेरे पास निम्न एलपी है: /* उद्देश्य समारोह */ मिनट: 1 w + 2 x + 0.5 y + z; / * चर सीमा * / w + x <= T1; w + y = U1; x + z = U2; टी 1 = 50; यू 1 = 70; यू …

10 linear-programming 

Hiroimono एक लोकप्रिय अपूर्ण पहेली है। मुझे संबंधित पहेली की कम्प्यूटेशनल जटिलता में दिलचस्पी है।एनपीNPNP यह समस्या है: इनपुट : x वर्ग ग्रिड और पूर्णांक पर बिंदुओं के एक सेट को देखते हुएn केnnnnnnकkk प्रश्न : क्या एक आयताकार बहुभुज ( या -axis के समानांतर इसके किनारे ) हैं जैसे …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

एक सरलीकृत शास्त्रीय डेटाबेस लेनदेन निम्नानुसार देखा जा सकता है: एम आइटम पढ़ना उन रीड्स के आधार पर कुछ गणना करना इन गणनाओं के आधार पर कुछ एन परिणाम लिखना, जिसमें मूल रूप से पढ़े गए तत्व शामिल हो सकते हैं। इन लेनदेनों (समवर्ती) का प्रदर्शन करते समय एसीआईडी संपत्तियों …

10 ds.algorithms  dc.distributed-comp 

भारित किनारों के साथ एक दृढ़ता से जुड़े डिग्राफ जी को देखते हुए, मैं उन किनारों की पहचान करना चाहता हूं जो कि जी के किसी भी न्यूनतम दृढ़ता से जुड़े सबग्राफ (एमएससीएस) का हिस्सा नहीं हैं। इस तरह के किनारों को खोजने के लिए एक विधि एक संशोधित फ़्लॉइड-वॉरसॉल …

10 ds.algorithms  graph-theory  graph-algorithms 

क्या कोई ऐसा उपकरण है, जहां कोई यह पता लगा सकता है कि दो लोगों के साथ सहवास किया गया है या नहीं? उस टूल की तरह जहां कोई किसी के Erdos _number_ का पता लगा सकता है ।

10 soft-question