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

एक बार पढ़ने वाले निर्णय के पेड़ को इस प्रकार परिभाषित किया गया है: और एफ ए एल एस ई पढ़े-एक बार निर्णय लेने वाले पेड़ हैं।टीआर यू ईTrueTrueएफa l s eFalseFalse अगर और बी कर रहे हैं पढ़ने के लिए एक बार निर्णय वृक्ष और एक्स में होने वाली …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

क्या परिमित उलटा अर्धवृत्ताकार समतावाद समस्या जीआई-पूर्ण है ? यहाँ परिमित उलटा अर्धवृत्त उनके गुणन सारणी द्वारा दिए गए मान लिए गए हैं।

11 cc.complexity-theory  graph-isomorphism 

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

11 cc.complexity-theory  np  board-games  pspace 

मान लीजिए कि हमारा इनपुट एक बाइनरी और हमें , जहाँ कुछ निरंतर पूर्णांक है। यह सिर्फ एक बदलाव है अगर दो की शक्ति है, लेकिन अन्य संख्याओं का क्या? क्या हम इसे प्रत्येक लिए एक निरंतर गहराई सर्किट के साथ कर सकते हैं ? बारे में क्या ?⌊ एक्स …

11 cc.complexity-theory  circuit-complexity  ac0 

निम्नलिखित समस्या पर विचार करें: दो तार x, y को देखते हुए, यह तय करें कि क्या कोई स्ट्रिंग होमोमोर्फिज्म f मौजूद है जैसे कि f (x) = y। यह दिखाना आसान है कि यह समस्या । क्या इस समस्या के बारे में हम कुछ और बातें कह सकते हैं? …

11 cc.complexity-theory  reference-request  fl.formal-languages 

चलो कुछ क्षेत्र हो। हमेशा की तरह, के लिए एक हम परिभाषित का सरल-रेखा जटिलता होने के लिए से अधिक । चलो के एकपदीयों के सेट होना , अर्थात् एकपदीयों दिखाए गैर शून्य गुणांक के साथ।च ∈ कश्मीर [ एक्स 1 , x 2 , ... , x n ] …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

जैसा कि हम जानते हैं, एल्गोरिथ्म की कम्प्यूटेशनल जटिलता की परिभाषा लगभग विवाद के बिना है, लेकिन वास्तविक या कम्प्यूटेशनल मॉडल की वास्तविकताओं की कम्प्यूटेशनल जटिलता की परिभाषा ऐसे मामले में नहीं है। हम ब्लम और स्मेल्स के मॉडल और मॉडल को कम्प्यूटेशनल विश्लेषण में जानते हैं। और प्रतीत होता …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

यह मुझे भ्रमित करता है। मतगणना का एक आसान मामला तब है जब निर्णय की समस्या और कोई समाधान नहीं है।पीPP एक व्याख्यान से पता चलता है कि एक द्विपदीय ग्राफ में सही मिलान की संख्या की गणना करने की समस्या (समकक्ष में, एक निर्देशित ग्राफ में चक्र कवर की …

11 cc.complexity-theory  graph-theory 

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

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

संबंधित प्रश्न को पढ़ने के बाद , एल्गोरिदम के गैर-रचनात्मक अस्तित्व के प्रमाणों के बारे में, मैं सोच रहा था कि क्या वास्तव में इसका निर्माण किए बिना "छोटे" (कहते हैं, राज्य-वार) कम्प्यूटेशन मशीनों के अस्तित्व को दिखाने के तरीके हैं। औपचारिक रूप से: मान लें कि हमें कुछ भाषा …

11 cc.complexity-theory  automata-theory  turing-machines 

इम्पेग्लियाज़ो, पटुरी और कैलाब्रो, इम्पाग्लियाज़ो , पटुरी ने एक्सपोनेंशियल-टाइम हाइपोथीसिस (ETH) और स्ट्रॉन्गली एक्सपोनेंशियल-टाइम हाइपोथिसिस (SETH) की शुरुआत की। मोटे तौर पर, SETH का कहना है कि कोई भी एल्गोरिथ्म नहीं है जो समय में SAT को हल करता है । 1.99n1.99n1.99^n मैं सोच रहा था कि SETH को तोड़ने …

11 cc.complexity-theory  sat  exp-time-algorithms 

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

11 cc.complexity-theory  approximation-hardness 

"दूसरा " समस्या समस्या के उदाहरण के लिए दिए गए कुछ समाधान से अलग दूसरे समाधान के अस्तित्व को तय करने की समस्या है।एक्सXX कुछ अपूर्ण समस्याओं के लिए, दूसरा समाधान संस्करण N P -complete (आंशिक लैटिन वर्ग पूर्णता समस्या के लिए किसी अन्य समाधान के अस्तित्व का निर्णय लेना) …

11 cc.complexity-theory  unique-solution 

यूपी वर्ग को इस प्रकार परिभाषित किया गया है: निर्णय समस्याओं का वर्ग एक एनपी मशीन द्वारा हल करने योग्य है जैसे कि यदि उत्तर 'हाँ' है, तो ठीक एक गणना पथ स्वीकार करता है। यदि उत्तर 'नहीं' है, तो सभी गणना पथ अस्वीकार कर देते हैं। मैं इस परिभाषा …

11 cc.complexity-theory  complexity-classes 

मैं 1997 में इम्पेग्लियाज़ो और विगडरसन के प्रसिद्ध पेपर को पढ़ रहा हूं । चूंकि मैं इस क्षेत्र में नया हूं और पेपर एक संक्षिप्त सम्मेलन संस्करण है, इसलिए मुझे उनके प्रमाणों का पालन करने में कठिनाई होती है। विशेष रूप से, उनके कुछ नए प्रमेयों में प्रमाणों की कमी …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators