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

ट्रेविटिथ एफपीटी एल्गोरिदम में एक महत्वपूर्ण भूमिका निभाता है, क्योंकि कई समस्याएं एफपीटी को ट्रेविद द्वारा मानकीकृत किया जाता है। एक संबंधित, अधिक प्रतिबंधित, धारणा यह है कि पथ-प्रदर्शक है। यदि किसी ग्राफ़ में पाथवॉलेशन , तो इसमें अधिकांश k पर treewidth भी है , जबकि विपरीत दिशा में, treewidth …

18 parameterized-complexity  treewidth  graph-minor 

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

18 computability  oracles  random-oracles 

मैं जानना चाहता हूं कि क्या ऐसे अनुमान हैं जो लंबे समय से टीसीएस में अप्रमाणित हैं, जो बाद में एक अन्य प्रमेय से निहितार्थ द्वारा सिद्ध किए गए थे, जो कि साबित करना आसान हो सकता है।

18 reference-request  soft-question  big-list 

बाउंड्री ट्रेविदथ के ग्राफ पर बहुपद समय में हार्ड ग्राफ की कई समस्याएं हल करने योग्य हैं । दरअसल, पाठ्यपुस्तकें आमतौर पर उदाहरण के रूप में सेट इंडिपेंडेंट का उपयोग करती हैं, जो एक स्थानीय समस्या है । मोटे तौर पर, एक स्थानीय समस्या एक समस्या है जिसके समाधान को …

18 graph-theory  graph-algorithms  treewidth 

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

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Coq, Agda, और Idris में एक अनंत प्रकार की पदानुक्रम है (टाइप 1: टाइप 2: टाइप 3: ...)। लेकिन यह λC की तरह क्यों नहीं है, लैंबडा क्यूब में सिस्टम जो निर्माणों की गणना के सबसे करीब है, जिसमें केवल दो प्रकार हैं, ∗∗* और , और ये नियम?◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac …

18 coq  dependent-type  calculus-of-constructions 

ट्यूरिंग मशीनों के लिए रुकने की समस्या शायद विहित अविशिष्ट सेट है। फिर भी, हम साबित करते हैं कि एक एल्गोरिथ्म है जो इसके लगभग सभी उदाहरणों को तय करता है। इसलिए हॉल्टिंग समस्या जटिलता सिद्धांत के "ब्लैक होल" घटना का प्रदर्शन करने वालों के बढ़ते संग्रह के बीच है, …

18 cc.complexity-theory  reference-request  computability  undecidability 

बर्मन और हार्टमैनिस के प्रसिद्ध आइसोमोर्फिज्म अनुमान कहते हैं कि सभी अपूर्ण भाषाएं एक-दूसरे के लिए बहुपद समय आइसोमोर्फिक (पी-आइसोमॉर्फिक) हैं। अनुमान का मुख्य महत्व यह है कि इसका अर्थ P ≠ N P है । यह 1977 में प्रकाशित हुआ था, और सहायक सबूतों का एक टुकड़ा यह था …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

मैं यह जानना चाहूंगा कि क्या परीक्षण के लिए कोई मुफ्त ग्राफ़ लाइब्रेरी हैं या नहीं, किसी दिए गए ग्राफ़ में नाबालिगों का एक विशिष्ट सेट मौजूद है या नहीं?

18 graph-algorithms  implementation  graph-minor 

समस्या मैक्स-सत आपको एक CNF सूत्र के असाइनमेंट को खोजने के लिए कहती है जो यथासंभव अधिक क्लॉज को संतुष्ट करता है। सरल समस्या SAT के लिए कई ज्ञात विशेष मामले हैं जिन्हें बहुपद समय में हल किया जा सकता है, जैसे हम बहुपद में 2-SAT हल कर सकते हैं। …

18 sat  treewidth  max2sat 

यह समस्या मेरे हालिया ब्लॉग पोस्ट से सामने आई , मान लीजिए कि आपको टीएसपी टूर दिया गया है, क्या यह निर्धारित करने के लिए सह-एनपी-पूर्ण है कि यह न्यूनतम है? अधिक सटीक निम्न समस्या एनपी-पूर्ण है: उदाहरण: सकारात्मक पूर्णांक और एक सरल चक्र C के साथ भारित किनारों के …

18 np-hardness 

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

18 graph-theory  co.combinatorics  counting-complexity 

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

18 graph-isomorphism  fixed-parameter-tractable 

भाषा पर विचार करें एल कश्मीर - d मैं रों टी मैं n ग टीLk−distinctL_{k-distinct} सभी से मिलकर कश्मीरkk -letter तार से अधिक ΣΣ\Sigma ऐसी है कि कोई दो पत्र के बराबर हैं: एल कश्मीर - d मैं रों टी मैं n ग टी : = { w = σ …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

मैं एक ग्राफ के treewidth की गणना करना चाहूंगा । उदाहरण के लिए igraph में उपलब्ध कोड के साथ अन्य एनपी-हार्ड ग्राफ की समस्याओं के लिए वास्तव में अच्छे उप-लक्षण समरूपता के लिए VF2 जैसे हैं। मैंने उन्हें अपने ग्राफ़ पर आज़माया है और मुझे लगता है कि वे अपने …

18 ds.algorithms  graph-algorithms  treewidth  heuristics