cc.complexity-theory पर टैग किए गए जवाब

हमें ट्यूरिंग-मशीन और एक सार्वभौमिक ट्यूरिंग मशीन का एक उपसर्ग मुक्त एन्कोडिंग को ठीक करते हैं UUU कि इनपुट पर (T,x)(T,x)(T,x) (का उपसर्ग से मुक्त कोड के रूप में एन्कोड TTT के बाद xxx आउटपुट) जो कुछ भी TTT पर इनपुट आउटपुट xxx (संभवतः दोनों हमेशा के लिए चल रहे …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

अपनी पुस्तक में, बूलियन फंक्शन कॉम्प्लेक्सिटी, स्टाइस जुकना का उल्लेख है (पृष्ठ 564) जिसमें कोलमोगोरोव का मानना ​​था कि पी में हर भाषा में रैखिक आकार के सर्किट हैं। किसी संदर्भ का उल्लेख नहीं है और मुझे ऑनलाइन कुछ भी नहीं मिला। क्या कोई इसके बारे में और कुछ जानता …

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

क्या कोई खिलौना उदाहरण हैं जो P=NPP=NPP = NP समस्या के तीन ज्ञात अवरोधों को समझने में 'आवश्यक' अंतर्दृष्टि प्रदान करते हैं - सापेक्षता, प्राकृतिक प्रमाण और बीजगणित?

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

Cstheory पर सवाल " क्या एनपी रैखिक आकार के गवाहों के लिए प्रतिबंधित है? " वर्ग एनपी रैखिक आकार O(n)O(n)O(n) गवाहों के लिए प्रतिबंधित के बारे में पूछता है , लेकिन देखते हैं प्राकृतिक एन पी-सम्पूर्ण समस्याओं जिसमें (हाँ) आकार के उदाहरण nnn से आकार अधिक से अधिक के गवाह …

28 cc.complexity-theory  np  proof-complexity 

मैं अच्छे उदाहरणों की तलाश में हूं, जहां निम्नलिखित घटना घटित होती है: (1) एक एल्गोरिथम समस्या कठिन दिखती है, यदि आप इसे परिभाषाओं से काम करना और केवल मानक परिणामों का उपयोग करना चाहते हैं। (२) दूसरी ओर, यह आसान हो जाता है, यदि आप कुछ (इतने मानक नहीं) …

28 cc.complexity-theory  ds.algorithms  graph-algorithms 

स्कॉट आरोनसन के ब्लॉग पोस्ट ने आज जटिलता में दिलचस्प खुली समस्याओं / कार्यों की एक सूची दी। विशेष रूप से मेरा ध्यान आकर्षित किया: 3SAT उदाहरणों की एक सार्वजनिक लाइब्रेरी बनाएं, जिसमें कुछ चर और खंड यथासंभव संभव हैं, जिनके हल किए जाने के उल्लेखनीय परिणाम होंगे। (उदाहरण के …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

एक पूर्णांक nnn और वर्णमाला । परिभाषित करें पर सभी परिमित राज्य ऑटोमेटा का संग्रह होने की राज्य 1. हम विचार कर रहे हैं शुरू करने के साथ राज्यों सभी DFAs (बस जुड़ा हुआ नहीं, कम से कम, या गैर पतित वाले); इस प्रकार, ।Σ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)| डी एफ ए ( एन …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

चलो एक डिग्री हो में बहुपद से अधिक चर , जहां निरंतर (कहते हैं कि 2 या 3) है। मैं के लिए छोटी से छोटी सूत्र खोजने के लिए चाहते हैं , जहां "सूत्र" और "सूत्र आकार" स्पष्ट तरीके से परिभाषित कर रहे हैं (उदाहरण के लिए। बहुपद के लिए …

28 cc.complexity-theory  formulas 

क्या यह विभिन्न उदाहरणों के बीच पाली-समय में कटौती के रूप में सभी एनपी-पूर्ण समस्याओं की एक श्रेणी पर विचार करने के लिए समझ में आता है? क्या किसी ने कभी इस बारे में एक पेपर प्रकाशित किया है, और यदि हां, तो मुझे यह कहां मिल सकता है?

28 cc.complexity-theory  np-hardness  ct.category-theory 

बहुत सारे डोमेन में, कैनोनिकल तकनीकें हैं जो क्षेत्र में काम करने वाले प्रत्येक व्यक्ति को मास्टर करनी चाहिए। उदाहरण के लिए, लॉगस्पेस रिडक्शन के लिए, कंपोजिशन के लिए "बिट ट्रिक" जिसमें सम्‍मिलित फंक्शन का पूरा आउटपुट नहीं होता है, लेकिन हमेशा आउटपुट के हर बिट के लिए रिजल्ट रिक्‍वेस्‍ट …

28 cc.complexity-theory  oracles  relativization 

एन-चर पर 3-SAT समस्या पर विचार करें। संभावित अलग-अलग खंडों की संख्या है: सी= 2 एन × 2 ( एन - 1 ) × 2 ( एन - 2 ) / 3 ! = 4 एन ( एन - 1 ) ( एन - 2 ) / 3 ।C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = …

28 cc.complexity-theory  sat 

सबसे पहले, मैं किसी भी मूर्खता के लिए अग्रिम में माफी मांगता हूं। मैं किसी भी तरह से जटिलता सिद्धांत पर विशेषज्ञ नहीं हूँ (इससे बहुत दूर! मैं एक स्नातक हूँ जो जटिलता सिद्धांत में अपनी पहली कक्षा ले रहा है) यहाँ एक सवाल है। अब Savitch की प्रमेय कहा …

28 cc.complexity-theory  space-bounded 

मुझे केवल Schwartz-Zippel lemma के दो प्रमाणों की जानकारी है। पहला (अधिक सामान्य) प्रमाण विकिपीडिया प्रविष्टि में वर्णित है । दूसरा प्रमाण दाना मोशकोवित्ज़ द्वारा खोजा गया था। क्या कोई अन्य प्रमाण हैं जो काफी अलग विचारों का उपयोग करते हैं?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

संपादित करें : जैसा कि रवि बोपाना ने अपने उत्तर में सही ढंग से बताया और स्कॉट आरोनसन ने भी अपने उत्तर में एक और उदाहरण जोड़ा , इस प्रश्न का उत्तर इस तरह से "हाँ" निकला, जिसकी मुझे बिल्कुल भी उम्मीद नहीं थी। पहले मैंने सोचा कि वे उस …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

शास्त्रीय पूछता समस्याओं -queens, एक सकारात्मक पूर्णांक दी n , एक सरणी है या नहीं क्यू [ 1 .. n ] निम्न स्थितियों में संतोषजनक पूर्णांकों का:nnnnnnQ[1..n]Q[1..n]Q[1..n] सभी के लिए मैं1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii सभी के लिए मैं ≠ jQ[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j]i≠ji≠ji\ne j सब के लिए मैं ≠ jQ[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne …

27 cc.complexity-theory  board-games