संगणना में छल्ले का औपचारिक प्रतिनिधित्व


17

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


क्षमा करें यदि प्रश्न बहुत प्राथमिक या व्यापक है ...
Hsien-Chih Chang 之

यह एक अच्छा सवाल है।
सुरेश वेंकट

4
जबकि मुझे खुद इस विषय के बारे में ज्यादा जानकारी नहीं है, मैं कायल और सक्सेना द्वारा रिंग इस्सोर्फिज्म और ऑटोमोर्फिज्म प्रॉब्लम की जाँच करने की सलाह देता हूँ । यह एक बहुत ही जटिल सिद्धांत पत्र है, इसलिए इसमें मदद करनी चाहिए। मेरा मानना ​​है कि वे एडिटिव ग्रुप (इसके जनरेटर द्वारा) को पहले निर्दिष्ट करके और फिर इन सभी जनरेटर के जोड़ीदार उत्पादों की एक सूची देकर परिमित वलयों का प्रतिनिधित्व करते हैं।
रॉबिन कोठारी

जवाबों:


14

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


कंप्यूटर "बीजगणित" नामक एक "फ़ील्ड" ... हम्म ... वैसे भी, पुस्तक और कीवर्ड के लिए धन्यवाद अब मैं कुछ और खोज कर सकता हूं !!
Hsien-Chih चांग 張顯

14

मेरे सर्वश्रेष्ठ ज्ञान के लिए:

  1. यदि आप कुछ बीजीय कम्प्यूटेशनल मॉडल में कम सीमा के बारे में पढ़ते हैं , तो सामान्य धारणा यह है कि अंगूठी या फ़ील्ड संचालन निरंतर लागत के होते हैं , अर्थात उन्हें प्राइमिटिव के रूप में दिया जाता है। यह इस विषय पर मुख्य स्रोतों में से एक में बनाई गई धारणा है: बर्गिसर, क्लॉज़ेन, शोकर्लाही- बीजीय जटिलता सिद्धांत (स्प्रिंगर, 1997)। (और यह वह है जो उदाहरण के लिए बीजगणितीय सर्किट द्वारा निर्मित है।)

  2. जब कोई ऊपरी सीमा के बारे में बोलता है , बीजीय जटिलता में मानक प्रश्नों के लिए, जैसे जब बहुपद पहचान परीक्षण प्रक्रियाओं का अध्ययन करते हैं, तो मानक धारणा यह है कि अंगूठी या फ़ील्ड संचालन को पॉलीटाइम में गणना की जा सकती है। इसका मतलब यह है कि कोई पूर्णांक या तर्कसंगत संख्याओं पर काम करता है, और एक एन्कोडिंग योजना ढूंढना आसान है जो मूल संचालन के ऐसे कुशल संगणनाओं को सक्षम बनाता है।

  3. अन्य उद्देश्यों के लिए, जो मुझे पता है, बीजीय मॉडलों के बारे में, रिंग या फ़ील्ड का प्रतिनिधित्व करने का तरीका एक वास्तविक प्रश्न है और कभी-कभी ऐसा करने का कोई कुशल तरीका नहीं है, और अनिर्वायता के प्रश्न भी हो सकते हैं। संदर्भ मुझे लगता है कि कवर सवाल इस तरह के बारे में पता पुस्तक शिव Kintali दी, और भी हैं: एल्गोरिथम बीजगणित , भुवनेश्वर मिश्र, स्प्रिंगर 1993: तरीके निश्चित छल्ले का प्रतिनिधित्व करने के साथ अध्याय 3 से संबंधित है।

रुचि की अन्य पुस्तकें हो सकती हैं: जूर गाथेन और जुर्गन गेरहार्ड, आधुनिक कंप्यूटर बीजगणित , कैम्ब्रिज, 1999। और संभवतः विक्टर शूप, संख्या सिद्धांत और बीजगणित के लिए एक कम्प्यूटेशनल परिचय , (ऑनलाइन उपलब्ध)।


एक किताब ऑनलाइन वास्तव में मदद करता है !!
ह्वेन-चिह चांग। '21

8

आपके पास 'कम्प्यूटेशनल कम्यूटेटिव बीजगणित' और 'कम्प्यूटेशनल बीजगणितीय ज्यामिति' कीवर्ड भी हो सकते हैं। CLO को एक शुरुआती बिंदु के रूप में आज़माएँ , और J. Symbolic Computation, और Macaulay2 और Singular जैसी प्रणालियों और उन्हें संदर्भित करने वाले पत्रों को देखें। बड़ा हथौड़ा जीआर है "मोटे ठिकानों, जिनमें से गणना कई बीजीय समस्याओं को हल करेगी, लेकिन सामान्य रूप से सबसे खराब रूप से दोगुना घातांक है।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.