कंप्यूटर विज्ञान

इस समस्या से निपटने के लिए मैंने पहली बार यह देखा ϕ (पीइ11 पीइ22⋯ पीइकक) = (इ1+ 1 ) (इ2+ 1 ) ⋯ (इक+ 1 )φ(पी1इ1 पी2इ2⋯ पीकइक)=(इ1+1)(इ2+1)⋯(इक+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) कहाँ पे ϕ(m)ϕ(m)\phi(m) (अनिवार्य रूप से अभाज्य) के विभाजकों की …

9 number-theory  primes 

मैंने इसे MathUnderflow पर पोस्ट किया, लेकिन कोई उत्तर नहीं मिला, इसलिए मैंने सोचा कि मैं इसे यहाँ आज़माऊंगा, मैं राबिन और फिशर के पुराने पेपर को पढ़ रहा हूं [संभव होने पर एक लिंक पोस्ट करेगा] जहां अन्य बातों के अलावा, प्रेस्बर्गर अंकगणित की दोहरी घातीय जटिलता साबित होती …

9 complexity-theory  reference-request  logic 

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

9 time-complexity  discrete-mathematics  cryptography 

आमतौर पर मैं देखता हूं कि लूप के लिए संरचनात्मक परिचालनात्मक शब्दार्थ निरूपण में, कार्यक्रम की स्थिति नहीं बदलती है: ( w h i l l eबीघओएस, σ) → ( i f)बीt h e nएस; ( w h i l l eबीघओएस)ई एल एस ईएसकमैंपी, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

एक द्विदलीय ग्राफ प्लानर है यदि इसमें कोई या नाबालिग नहीं हैं।क३ , ३K3,3K_{3, 3}क5K5K_5 मैं एक आवश्यक या / और पर्याप्त स्थिति की तलाश कर रहा हूं कि बिना किनारों के "किनारों पर" जा रहा है। ये चित्र संतोषजनक हैं: एक भाग के सभी कोने एक ही ऊर्ध्वाधर रेखा …

9 graph-theory  terminology  graph-drawing 

अधिकतम-प्रवाह समस्या से अधिकतम द्विदलीय मिलान समस्या से एक प्रसिद्ध और सुरुचिपूर्ण कमी है: हम एक स्रोत नोड , एक टर्मिनल नोड और प्रत्येक आइटम के लिए एक नोड से मेल खाते हैं, फिर उपयुक्त किनारों को जोड़ते हैं।sरोंstटीt वहाँ निश्चित रूप से बहुपद समय में अधिकतम द्विपदशोथ से अधिकतम …

9 reductions  network-flow  bipartite-matching 

मैं प्रोड्यूस करना चाहता हूं ककk सबसे छोटा रास्ता (ककkएक ग्राफ में सभी जोड़े के बीच 10 से कम) होगा। ग्राफ है (वास्तव में एक मेट्रो का नक्शा): सकारात्मक रूप से भारित अनिर्दिष्ट विरल लगभग 100 नोड्स के साथ मेरी वर्तमान योजना लागू करने की है ककkप्रत्येक जोड़ी के लिए …

9 algorithms  graphs  optimization  shortest-path 

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

9 reference-request  computational-geometry 

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

9 data-structures  programming-languages  continuations 

आज दोपहर के भोजन पर, मैंने अपने सहयोगियों के साथ इस मुद्दे को उठाया , और मेरे आश्चर्य के साथ, जेफ ई। का तर्क है कि समस्या का समाधान करने योग्य नहीं है, उन्हें मना नहीं किया ( यहां गणित पर एक निकट संबंधी पोस्ट)। एक समस्या कथन जो व्याख्या …

9 computability  undecidability 

रैंडमाइज़्ड मेल्डेबल हीप्स में एक ऑपरेशन " मेल्ड " होता है, जिसे हम फिर सम्मिलित करने सहित अन्य सभी ऑपरेशनों को परिभाषित करने के लिए उपयोग करते हैं। सवाल यह है कि उस पेड़ की अपेक्षित ऊंचाई कितनी है nnn नोड्स? गैम्बिन और मैलिंकोव्स्की के प्रमेय 1, रैंडमाइज़्ड मेल्डेबल प्रायोरिटी …

9 algorithm-analysis  data-structures  randomized-algorithms  heaps 

यह प्रश्न मेरे लिए समस्या को हल करने के बारे में हुआ और मैं ऑनलाइन एक अच्छा उत्तर नहीं पा सका, सोच रहा था कि कोई मदद कर सकता है। क्या यह संभव है कि किसी भी इनपुट पर किसी भी TM के लिए रुकने की समस्या इतनी कम हो …

9 computability  undecidability  halting-problem 

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

9 automata  finite-automata  education 

यह साबित करने के लिए कि 3-रंग निर्णायक है, क्या यह कहना पर्याप्त है: ग्राफ में प्रत्येक नोड में 3 संभावित रंग हैं इसलिए हम सभी संभावनाओं पर गणना कर सकते हैं और फिर जांच सकते हैं कि कोई भी दो किनारे नोड्स को एक ही रंग से नहीं जोड़ते …

9 computability  turing-machines  colorings 

मैं वैंटेज पॉइंट ट्री सीख रहा हूं, और पीटर यियानिलोस ( सोडा 1993 की कार्यवाही , SIAM, पृष्ठ 311-321; पीडीएफ ) द्वारा सामान्य मेट्रिक रिक्त स्थान में निकटतम पड़ोसी खोज के लिए पेपर डेटा संरचनाएं और एल्गोरिदम को पढ़ते हुए मुझे यह मिला । निम्न छद्मकोश एल्गोरिथ्म 1 में दिखाई …

9 notation