स्ट्रैसन एल्गोरिथ्म में मैट्रिसेस की पसंद के पीछे बड़ी तस्वीर


17

स्ट्रैसोन एल्गोरिथ्म में, दो मैट्रिक्स और बी के उत्पाद की गणना करने के लिए , मेट्रिसेस और बी को 2 × 2 ब्लॉक मैट्रिक्स में विभाजित किया जाता है और एल्गोरिदम 7 ब्लॉक मैट्रिक्स-मैट्रिक्स उत्पादों की पुनरावृत्ति कंप्यूटिंग के रूप में एक भोले 8 ब्लॉक मैट्रिक्स का विरोध करता है। मैट्रिक्स उत्पाद, अर्थात, यदि हम C = A B चाहते हैं , जहां A = [ A 1 , 1 A 1 , 2 A 2 , ]  ,  B = [बीबी2×278सी=बी फिर हमारे पास सी,१ है=,बी,+

=[1,11,22,12,2] , बी=[बी1,1बी1,2बी2,1बी2,2] , सी=[सी1,1सी1,2सी2,1सी2,2]
जिसमें8गुणा कीआवश्यकता होतीहै। स्ट्रैसन के बजाय, हम M 1 :=( A 1 , 1 + A 2 , 2 )( B 1 , 1 ) कीगणना करते हैं
सी1,1=1,1बी1,1+1,2बी2,1सी1,2=1,1बी1,2+1,2बी2,2सी2,1=2,1बी1,1+2,2बी2,1सी2,2=2,1बी1,2+2,2बी2,2
8 और प्राप्त सी मैं , जे के उपयोग करते हुए एम कश्मीर के रूप में सी 1 , 1 = एम 1 + एम 4 - एम 5 + एम 7
1: =(1,1+2,2)(बी1,1+बी2,2)2: =(2,1+2,2)बी1,13: =1,1(बी1,2-बी2,2)4: =2,2(बी2,1-बी1,1)5: =(1,1+1,2)बी2,26: =(2,1-1,1)(बी1,1+बी1,2)7: =(1,2-2,2)(बी2,1+बी2,2)
सीमैं,जे हालांकि, के चुनाव matrices एम कश्मीर के मेरे लिए मनमाने ढंग से लग रहे हैं। क्या और बी के उप-मेट्रिक्स के इन विशिष्ट उत्पादों को चुनने के लिए एक बड़ी तस्वीर है? इसके अलावा, मैं उम्मीद करेंगे एम कश्मीर के शामिल करने के लिए एक मैं , जे एस और ' बी मैं , जे (2 , 1 + एक 2 , 2 )
सी1,1=1+4-5+7सी1,2=3+5सी2,1=2+4सी2,2=1-2+3+6
बीमैं,जेबीमैं,जे ' एक सुडौल फैशन है, जो यहाँ मामला हो प्रतीत नहीं होता है में है। उदाहरण के लिए, हमारे पास । मैं उम्मीद करूंगा कि इसके समकक्ष का कहना है कि A 1 , 1 ( B 1 , 2 + B 2 , 2 ) कीभी गणना की जाएगी। हालांकि, यह बाद से यह अन्य से प्राप्त किया जा सकता है एम कश्मीर की।2: =(2,1+2,2)बी1,11,1(बी1,2+बी2,2)

अगर कोई इस पर कुछ प्रकाश डाल सकता है तो मैं सराहना करूंगा।

जवाबों:


15

2×22×2

यदि आप अब लिए निचले बाउंड को साबित करना शुरू करते हैं2×2

शॉनहेज ने एक बार मुझे बताया था कि स्ट्रैसन ने एक बार उन्हें बताया था कि उन्होंने अपने एल्गोरिथ्म को इस तरह से पाया, एक निचली सीमा को साबित करने की कोशिश करके।


11

बुर्जगेज़र, क्लॉज़ेन और शोकरोलही (पृष्ठ ११-१२) की पुस्तक बीजगणितीय जटिलता सिद्धांत में कुछ प्रकार की व्याख्या है। दो ठिकानों से शुरू करने का विचार है0,1,2,3 तथा बी0,बी1,बी2,बी3 के स्थान का 2×2 वास्तविक संपत्ति जो निम्नलिखित संपत्ति को संतुष्ट करती है: मैंबीजे{0,0,1,2,3,बी0,बी1,बी2,बी3}। इसके अलावा,0=बी0। दो मेट्रिसेस को गुणा करने के लिए तथा बी, उनमें से प्रत्येक का संगत आधार पर प्रतिनिधित्व करें, और उत्पाद का मूल्यांकन करें। चूंकि परिणाम में केवल सात अलग-अलग गैर-शून्य मैट्रिस दिखाई देते हैं (0=बी0,1,2,3,बी1,बी2,बी3), केवल सात उत्पादों की जरूरत है। मैट्रिस सिर्फ ये आधार हैं।

मुझे नहीं पता कि स्ट्रैसन इसे देखने के इस तरीके के साथ आया था या नहीं। तेज मैट्रिक्स गुणन एल्गोरिदम को अंतर्निहित अन्य पहचान को ध्यान में रखते हुए, यह स्पष्ट नहीं है कि क्या कुछ गहरा चल रहा है, कुछ फॉर्मूला काम करने की तुलना में। हम उस से पहले के माध्यम से कर रहे हैं - Lagrange चार वर्ग प्रमेय साबित करने के लिए चार वर्ग पहचान (जो पहले से जाना जाता था) का इस्तेमाल किया। पहले तो यह सिर्फ एक जिज्ञासु बीजगणितीय पहचान रही होगी, लेकिन अब हम जानते हैं कि यह चतुर्धातुक मानदंड के गुणन गुण को बताता है। ज्ञान की वर्तमान स्थिति को देखते हुए, यह बताना कठिन है कि क्या उपरोक्त व्याख्या उतनी ही उत्पादक है।


3
इस तरह के ठिकानों को एम-जोड़ी कहा जाता है, बुर्गीसेरर, क्लॉसेन, और शोकार्लोही द्वारा पुस्तक में न्यूनतम रैंक के बीजगणित पर अध्याय देखें। मुझे लगता है कि इस विचार के साथ आना काफी कठिन है कि एम-जोड़े बिना एल्डर-स्ट्रैसेन प्रमेय को जाने बिना (उपरोक्त पुस्तक को फिर से देखें) मौजूद हैं। विशेष रूप से,2×2-मैट्रिस एकमात्र मैट्रिक्स बीजगणित है जिसके लिए एक एम-जोड़ी मौजूद है।
मार्कस ब्लैसर
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.