Көбейту алгоритмі - Википедия - Multiplication algorithm

A көбейту алгоритмі болып табылады алгоритм (немесе әдіс) көбейту екі сан Сандардың көлеміне байланысты әр түрлі алгоритмдер қолданылады. Көбейтудің тиімді алгоритмдері ондық жүйе пайда болғаннан бері бар.

Тор әдісі

The тор әдісі (немесе қорапты әдіс) - бұл оқушыларға көбінесе көбейтілетін, көбейтудің кіріспе әдісі бастауыш мектеп немесе бастауыш мектеп. Ол 1990 жылдардың соңынан бастап Англия мен Уэльстегі ұлттық бастауыш мектеп математикасы бағдарламасының стандартты бөлігі болды.[1]

Екі фактор да олардың жүздік, ондық және бірлік бөліктеріне бөлінеді («бөлінеді»), содан кейін бөлшектердің көбейтіндісі тек салыстырмалы түрде қарапайым көбейту кезеңінде айқын есептеледі, содан кейін осы үлес жинақталып, соңғы жауабын береді бөлек қосу кезеңі.

Мысалы, 34 × 13 есептеуді тордың көмегімен есептеуге болады:

  300   40   90 + 12 ————  442
×304
1030040
39012

содан кейін 442 алу үшін бір қосындыда (оң жаққа қараңыз) немесе жолдар бойынша жиынтықты қалыптастыру арқылы (300 + 40) + (90 + 12) = 340 + 102 = 442.

Бұл есептеу тәсілі (міндетті түрде тордың нақты орналасуымен емес) сонымен бірге ішінара өнім алгоритмі. Оның мәні қарапайым көбейтуді бөлек-бөлек есептеу болып табылады, барлық толықтырулар соңғы жинау кезеңіне қалдырылады.

Тор әдісі негізінен кез-келген өлшемдегі факторларға қолданылуы мүмкін, дегенмен цифрлардың саны артқан сайын қосалқы өнімдердің саны ауыр болады. Осыған қарамастан, бұл көп таңбалы көбейту идеясын енгізудің пайдалы әдісі ретінде қарастырылады; және көбейту есептеулері калькулятор немесе электрондық кесте көмегімен жүзеге асырылатын заманда бұл іс жүзінде кейбір студенттерге қажет көбейту алгоритмі болуы мүмкін.

Ұзын көбейту

Егер а позициялық сандық жүйе қолданылады, мектептерде сандарды көбейтудің табиғи тәсілі оқытылады ұзын көбейту, кейде деп аталады мектепті көбейту, кейде деп аталады Стандартты алгоритм: көбейтіңіз көбейту әрбір цифрымен мультипликатор содан кейін барлық дұрыс жылжытылған нәтижелерді қосыңыз. Бұл есте сақтауды қажет етеді көбейту кестесі бір сандар үшін.

Бұл 10-шы базада үлкен сандарды қолмен көбейтудің әдеттегі алгоритмі. Алғашында компьютерлер өте ұқсас қолданды жылжыту және қосу алгоритм 2 базасында, бірақ қазіргі заманғы процессорлар неғұрлым тиімді алгоритмдерді қолдана отырып, жылдам көбейтуге арналған схеманы оңтайландырды, бұл күрделі аппараттық құралдың бағасы. Ұзақ көбейтуді қағазға жүргізетін адам барлық өнімдерді жазып алады, содан кейін оларды бірге қосады; ан абакус -пайдаланушы әрқайсысы есептелген бойда өнімді қосады.

Мысал

Бұл мысал қолданады ұзын көбейту 23.958.233-ке (көбейту) 5.830-ға (көбейткішке) көбейту үшін және нәтижеге (өнімге) 139.676.498.390 жетеді.

        23958233  ×         5830  ———————————————        00000000 ( =      23,958,233 ×     0)       71874699  ( =      23,958,233 ×    30)     191665864   ( =      23,958,233 ×   800)  + 119791165    ( =      23,958,233 × 5,000)  ———————————————    139676498390 ( = 139,676,498,390        )

Псевдокодтың астында жоғарыда көрсетілген көбейту процесі сипатталған. Қосынды сақтау үшін ол тек бір жолды сақтайды, нәтижесінде ол нәтижеге айналады. '+ =' Операторы қосынды бар мәнге белгілеу және жинақтау үшін (Java және C сияқты тілдерге ұқсас) сақтау үшін пайдаланылатындығын ескеріңіз.

көбейту(а[1..б], б[1..q], негіз)                            // 1 индексіндегі оң жақ цифрлардан тұратын операндалар  өнім = [1..б+q]                                        // Нәтиже үшін орын бөліңіз  үшін b_i = 1 дейін q                                          // b-дегі барлық цифрлар үшін    тасу = 0    үшін a_i = 1 дейін б                                        // а-дағы барлық цифрлар үшін      өнім[a_i + b_i - 1] += тасу + а[a_i] * б[b_i]      тасу = өнім[a_i + b_i - 1] / негіз      өнім[a_i + b_i - 1] = өнім[a_i + b_i - 1] мод негіз    өнім[b_i + б] = тасу                               // соңғы цифр соңғы тасымалдаудан шығады  қайту өнім

Кеңістіктің күрделілігін оңтайландыру

Келіңіздер n екі кіріс сандарындағы цифрлардың жалпы саны болуы керек негіз Д.. Егер нәтиже жадыда сақталуы керек болса, онда кеңістіктің қиындығы t (n). Алайда, белгілі бір қосымшаларда нәтижені толығымен жадында сақтаудың қажеті жоқ, ал нәтиженің цифрларын олар есептелген кезде таратуға болады (мысалы, жүйелік консольға немесе файлға). Бұл сценарийлерде ұзын көбейтудің артықшылығы бар, оны оңай а ретінде тұжырымдауға болады журнал кеңістігі алгоритм; яғни алгоритм тек кірістегі цифрлар санының пропорционалды жұмыс кеңістігін қажет етеді (Θ (журналn)). Бұл екі есе көбейтілген сандардың логарифмі (журнал журналыN). Операндтардың өздерін әлі де есте сақтау керек екенін ескеріңіз және олардың their (n) бұл талдауда кеңістік қарастырылмайды.

Әдіс нәтиженің әрбір цифрын оңнан солға қарай есептеуге болатындығын, алдыңғы сатыдағы тасымалдауды біле отырып жүргізуге болатындығына негізделген. Келіңіздер амен және бмен болуы мен- операндтың үшінші цифры, с а және б ұзындығы бойынша нөлдермен толтырылған n, рмен болуы мен-нәтиженің үшінші цифры және cмен үшін жасалған тасымалдаушы болу рмен (i = 1 - ең дұрыс сан)

немесе

Қарапайым индуктивті аргумент тасымалдаудың ешқашан аспайтындығын көрсетеді n және жалпы сома рмен ешқашан асып кете алмайды Д. * n: бірінші бағанға тасымалдау нөлге тең, ал қалған бағандар үшін ең көбі болады n бағандағы цифрлар, ал ең көп дегенде тасымалдау n алдыңғы бағаннан (индукциялық гипотеза бойынша). Қосынды ең көп дегенде Д. * n, ал келесі бағанға апару ең көп дегенде болады Д. * n / Д., немесе n. Сонымен, бұл екі мәнді де О сақтауға болады (журнал n) цифрлар.

Псевдокодта лог-кеңістік алгоритмі:

көбейту(а[1..б], б[1..q], негіз)                  // 1 индексіндегі оң жақ цифрлардан тұратын операндалар    толық = 0    үшін ri = 1 дейін б + q - 1                       // Нәтиженің әрбір цифры үшін        үшін би = MAX(1, ri - б + 1) дейін МИН(ri, q) // Қарастыруды қажет ететін b сандары            ai = ri  би + 1                      // Келесі «симметриядан» цифрлар            толық = толық + (а[ai] * б[би])        өнім[ri] = толық мод негіз        толық = еден(толық / негіз)    өнім[б+q] = толық мод негіз                   // Нәтиженің соңғы цифры соңғы тасымалдаудан шығады    қайту өнім

Компьютерлерде қолдану

Кейбіреулер чиптер ұзын көбейтуді жүзеге асырады жабдық немесе in микрокод, әртүрлі бүтін және өзгермелі нүктелі сөз өлшемдері үшін. Жылы арифметика, негізі 2-ге тең ұзын көбейтуді қолдану әдеттегідейw, қайда w - бұл салыстырмалы түрде аз сандарды көбейту үшін сөздегі бит саны.

Екі санды көбейту үшін n осы әдісті пайдаланып, цифрлар қажет n2 операциялар. Ресми түрде: цифрлар санының табиғи өлшемі, екеуін көбейтудің уақыттық күрделілігі n-ұзын көбейтуді қолданатын цифрлар Θ (n2).

Бағдарламалық жасақтамада іске асырылған кезде, көбейтудің ұзақ алгоритмдері толықтырулар кезінде толып кетумен айналысуы керек, бұл қымбат болуы мүмкін. Әдеттегі шешім - бұл санды кішігірім негізде көрсету, б, мысалы, 8б ұсынылатын бүтін машина болып табылады. Толып кетуден бұрын бірнеше қосымшалар жасауға болады. Сан өте үлкен болған кезде, біз оның бір бөлігін нәтижеге қосамыз немесе қалған бөлігін кері саннан кем болатын санға алып барамыз. б. Бұл процесс деп аталады қалыпқа келтіру. Ричард Брент бұл тәсілді өзінің MP парламентіндегі Fortran пакетінде қолданды.[2]

Торды көбейту

Алдымен көбейту керек сандармен оның жолдары мен бағандарын белгілеу арқылы торды орнатыңыз. Содан кейін, жоғарғы үшбұрыштарда ондық цифрлармен, ал төменгі жақта бірліктермен өрістерді толтырыңыз.
Соңында, диагональды трактілерді қосыңыз және жауап алу үшін қажет болған жағдайда алып жүріңіз

Тор немесе елеуішпен көбейту алгоритмдік тұрғыдан ұзын көбейтуге тең. Ол есептеуді жүргізетін және барлық көбейтуді сандардан бөлетін торды (қағазға түсірілген тор) дайындауды қажет етеді. толықтырулар. Ол Еуропаға 1202 жылы енгізілген Фибоначчи Келіңіздер Liber Abaci. Фибоначчи бұл операцияны аралық есептеулерді жүргізу үшін оң және сол қолдарымен ақыл-ой деп сипаттады. Matrakçı Nasuh 16 ғасырдағы осы кітапта Умдет-ул Хисабта осы әдістің 6 түрлі нұсқаларын ұсынды. Ол кеңінен қолданылды Эндерун Осман империясы бойынша мектептер.[3] Напьердің сүйектері, немесе Напьер таяқшалары 1617 жылы, қайтыс болған жылы Напье жариялаған осы әдісті де қолданды.

Мысалда көрсетілгендей, мультипликанд пен көбейткіш тордың немесе електің үстінде және оң жағында жазылған. Ол табылған Мұхаммед ибн Мұса әл-Хорезми «Арифметика», Леонардоның дереккөздерінің бірі Сиглер айтқан, «Фибоначчидің Либер Абаби» авторы, 2002 ж.[дәйексөз қажет ]

  • Көбейту кезеңінде тор әр жол мен бағанды ​​белгілейтін сәйкес цифрлардың екі таңбалы көбейтіндісімен толтырылады: ондықтар жоғарғы сол жақ бұрышта жүреді.
  • Қосылу кезеңінде тор диагональдарда жинақталады.
  • Сонымен, егер тасымалдау кезеңі қажет болса, тордың сол және төменгі жағында көрсетілгендей жауап ұзаққа көбейту немесе көбейту сияқты ондық цифрларды алып жүру арқылы қалыпты түрге ауысады.

Мысал

Оң жақтағы суреттерде торды көбейту арқылы 345 × 12 есептеу әдісі көрсетілген. Неғұрлым күрделі мысал ретінде 23,958,233 есептеуін 5,830-ға көбейтетін (көбейткіш) көрсетілген төмендегі суретті қарастырыңыз; нәтижесі - 139 676 498 390. 23.958.233 ескертуі тордың жоғарғы жағында, ал 5830 оң жағында орналасқан. Өнімдер торды толтырады және сол өнімдердің қосындысы (диагональ бойынша) сол және төменгі жағында орналасқан. Содан кейін көрсетілген сомалар жиынтықта көрсетілгендей болады.

     2   3   9   5   8   2   3   3   +---+---+---+---+---+---+---+---+-   |1 /|1 /|4 /|2 /|4 /|1 /|1 /|1 /|   | / | / | / | / | / | / | / | / | 5 01|/ 0|/ 5|/ 5|/ 5|/ 0|/ 0|/ 5|/ 5|   +---+---+---+---+---+---+---+---+-   |1 /|2 /|7 /|4 /|6 /|1 /|2 /|2 /|   | / | / | / | / | / | / | / | / | 8 02|/ 6|/ 4|/ 2|/ 0|/ 4|/ 6|/ 4|/ 4|   +---+---+---+---+---+---+---+---+-   |0 /|0 /|2 /|1 /|2 /|0 /|0 /|0 /|   | / | / | / | / | / | / | / | / | 3 17|/ 6|/ 9|/ 7|/ 5|/ 4|/ 6|/ 9|/ 9|   +---+---+---+---+---+---+---+---+-   |0 /|0 /|0 /|0 /|0 /|0 /|0 /|0 /|   | / | / | / | / | / | / | / | / | 0 24|/ 0|/ 0|/ 0|/ 0|/ 0|/ 0|/ 0|/ 0|   +---+---+---+---+---+---+---+---+-     26  15  13  18  17  13  09  00
 01 002 0017 00024 000026 0000015 00000013 000000018 0000000017 00000000013 000000000009 0000000000000 —————————————  139676498390
= 139,676,498,390

Екілік немесе шаруалық көбейту

Екілік әдісті шаруаларды көбейту деп те атайды, өйткені оны шаруалар санатына жатқызатын адамдар кеңінен қолданған, сондықтан көбейту кестелері ұзақ көбейту үшін қажет.[4][тексеру сәтсіз аяқталды ] Алгоритм ежелгі Египетте қолданылып келді.[5][6] Оның басты артықшылығы - оны тез үйретуге болады, есте сақтауды қажет етпейді және мысалы, жетондар көмегімен орындауға болады покер чиптері, егер қағаз бен қарындаш болмаса. Кемшілігі - ұзын көбейтуге қарағанда көбірек қадамдар жасайды, сондықтан үлкен сандар үшін ол қолайсыз болуы мүмкін.

Сипаттама

Қағазға, көбейтіндісін екі есеге азайта отырып, қалғанын ескермей алған сандарды бір бағанға жаз; оның жанындағы бағанда мультипликандты бірнеше рет көбейтеді. Бірінші санның соңғы цифры жұп болатын әр жолды сызып тастап, екінші бағанға қалған сандарды қосып, өнім ал.

Мысалдар

Бұл мысалда шаруалардың көбейтуі 33-ке жету үшін 11-ді 3-ке көбейту үшін қолданылады.

Ондық: Екілік: 11 3 1011 115 6 101 1102 12       10  11001   24       1  11000    ——         ——————    33         100001

Қадамдарды нақты сипаттау:

  • 11 және 3 жоғарғы жағында жазылған
  • 11 екіге бөлінеді (5.5), ал 3 еселенеді (6). Бөлшек бөлігі алынып тасталады (5.5 5 болады).
  • 5 екіге бөлінеді (2.5), ал 6 еселенеді (12). Бөлшек бөлігі алынып тасталады (2,5 2 болады). Сол жақ бағандағы сурет (2) тіпті, сондықтан оң жақ бағандағы сурет жойылады (12).
  • 2 екіге бөлінеді (1), ал 12 еселенеді (24).
  • Сызылмаған барлық мәндер жинақталады: 3 + 6 + 24 = 33.

Көбейту болып табылады, өйткені әдіс жұмыс істейді тарату, сондықтан:

Алдыңғы мысалдардың (23,958,233 және 5,830) сандарын қолданып неғұрлым күрделі мысал:

Ондық: екілік: 5830 23958233       1011011000110  10110110110010010110110012915  47916466       101101100011  101101101100100101101100101457  95832932       10110110001  101101101100100101101100100728  191665864       1011011000  1011011011001001011011001000364  383331728       101101100  10110110110010010110110010000182  766663456       10110110  10110110110010010110110010000091  1533326912       1011011  101101101100100101101100100000045  3066653824       101101  1011011011001001011011001000000022  6133307648       10110  10110110110010010110110010000000011 12266615296       1011  10110110110010010110110010000000005  24533230592       101  101101101100100101101100100000000002  49066461184       10  1011011011001001011011001000000000001  98132922368       1  1011011011001001011011001000000000000  ———————————— 1022143253354344244353353243222210110 (тасымалдауға дейін) 139676498390 10000010000101010111100011100111010110

Компьютерлерде екілік көбейту

Бұл шаруаларды көбейтудің вариациясы.

2-негізде ұзын көбейту тривиальды амалға дейін азаяды. Әр «1» бит үшін мультипликатор, ауыстыру көбейту сәйкес сомаға, содан кейін жылжытылған мәндерді қосыңыз. Кейбіреулерінде процессорлар, көбейту нұсқауларынан гөрі биттік жылжулар мен толықтыруларды қолдану жылдамырақ, әсіресе көбейткіш аз болса немесе әрқашан бірдей болса.

Ауыстырыңыз және қосыңыз

Тарихи тұрғыдан компьютерлер кіші бүтін сандарды көбейту үшін «жылжыту және қосу» алгоритмін қолданған. Екі негіз де ұзын көбейту және 2-негіз шаруаларды көбейту дәл сол алгоритмге келтіріңіз.2 негізде көбейткіштің бір цифрына көбейту қарапайым қатарға дейін азаяды логикалық ЖӘНЕ операциялар. Әрбір ішінара өнім әрбір қосалқы өнім есептелген бойда жұмыс істейтін сомаға қосылады. Қазіргі уақытта қол жетімді микропроцессорлардың көпшілігі осы немесе басқа ұқсас алгоритмдерді жүзеге асырады (мысалы Кабинаны кодтау ) in бүтін және өзгермелі нүкте өлшемдері үшін аппараттық мультипликаторлар немесе in микрокод.

Ағымдағы қол жетімді процессорларда ауысу командалары көбейту командаларына қарағанда жылдамырақ және оны көбейту (солға ығысу) және бөлу (оңға жылжыту) үшін екі дәрежеге пайдалануға болады. Тұрақтыға және көбейту тұрақтыға бөлу ауысымдардың және қосудың немесе азайтудың реттілігін қолдану арқылы жүзеге асырылуы мүмкін. Мысалы, тек биттік ығысу және қосу арқылы 10-ға көбейтудің бірнеше әдісі бар.

((x << 2) + x) << 1 # Мұнда 10 * x (x * 2 ^ 2 + x) * 2 (x << 3) + (x << 1) # болып есептеледі х * 2 ^ 3 + х * 2 түрінде есептеледі

Кейбір жағдайларда ауысымдардың және қосудың немесе азайтудың осындай реттілігі аппараттық көбейткіштерден және әсіресе бөлгіштерден асып түседі. Пішін саны бойынша бөлу немесе көбінесе осындай қысқа реттілікке ауыстыруға болады.

Бұл жүйеліліктің типтері әрқашан «көбейту» командасы жоқ компьютерлер үшін қолданылуы керек,[7] және жылжымалы нүктелерді сандарға дейін кеңейту арқылы қолдануға болады, егер біреу ауысымдарды есептеуге ауыстырса 2 * х сияқты x + x, өйткені бұл логикалық түрде баламалы.

Төрттік квадратты көбейту

Төрт квадраттың көмегімен екі шаманы көбейтуге болады: еден функциясы бұл кейбір дереккөздер[8][9] төлсипат Вавилондық математика (Б.з.д. 2000–1600).

Егер біреуі болса х+ж және хж тақ, екіншісі де тақ; бұл фракциялар, егер олар болса, күшін жояды дегенді білдіреді, ал қалдықтарды алып тастағанда ешқандай қателік болмайды. Төменде 0-ден 18-ге дейінгі цифрлар үшін қалған бөлігі алынып тасталған квадраттардың іздеу кестесі келтірілген; бұл сандарды көбейтуге мүмкіндік береді 9×9.

n    0  1  2  3  4  5  6789101112131415161718
n2/4⌋0012469121620253036424956647281

Егер сіз, мысалы, 9-ды 3-ке көбейтуді қаласаңыз, онда қосынды мен айырым сәйкесінше 12 және 6 болатынын байқайсыз. Екі мәнді де кестеге қараған кезде 36 мен 9 шығады, олардың айырымы 27-ге тең, бұл 9 мен 3-тің көбейтіндісі.

Антуан Вуазин көбейтуге көмек ретінде 1817 жылы 1-ден 1000-ға дейінгі квадраттар кестесін жариялады. 1-ден 100000-ге дейінгі квадрат квадраттарының үлкен кестесін 1856 жылы Самуэль Лаунди жариялады,[10] және Джозеф Блейтердің 1888 жылғы 1-ден 200000 жылға дейінгі кестесі.[11]

Төрт квадрат көбейткіштер қолданылды аналогты компьютерлер қалыптастыру аналогтық сигнал бұл екі аналогтық кіріс сигналдарының өнімі болды. Бұл қосымшада екі кірістің қосындысы мен айырымы кернеулер қолдану арқылы қалыптасады жұмыс күшейткіштері. Олардың әрқайсысының квадратын қолдану арқылы жуықтайды сызықтық тізбектер. Соңында екі квадраттың айырмашылығы тағы бір операциялық күшейткіштің көмегімен төрттен бір рет құрылады және масштабталады.

1980 жылы Эверетт Л. Джонсон а-да квадрат квадрат әдісін қолдануды ұсынды сандық мультипликатор.[12] Екі разрядты бүтін сандардың көбейтіндісін құру үшін, мысалы, сандық құрылғы қосынды мен айырымды құрайды, екі шаманы да квадраттар кестесінде қарап, нәтижелердің айырымын қабылдайды және екі битті ығысу арқылы төртке бөледі. дұрыс. 8 биттік бүтін сандар үшін ширек квадраттарының кестесінде 2 болады9-1 = 511 жазба (0..510 мүмкін соманың толық диапазоны үшін бір жазба, 0..255 диапазонындағы тек алғашқы 256 жазбаны қолданатын айырмашылық) немесе 29-1 = 511 жазбалар (теріс айырмашылықтар үшін айырмашылықтар белгісін сынауға жол бермейтін 2-қосымша және 9-биттік маскировка техникасын қолдана отырып), әр жазба ені 16-битті құрайды (енгізу мәндері (0² / 4) = 0-ден (510² / 4) = 65025).

Тоқсандық квадрат мультипликаторы техникасы мультипликаторға қолдау көрсетпейтін 8 биттік жүйелерге де тиімді болды. Чарльз Путни мұны іске асырды 6502.[13]

Үлкен кірістерге жылдам көбейту алгоритмдері

Сұрақ, Web Fundamentals.svgИнформатикадағы шешілмеген мәселе:
Екіге көбейтудің ең жылдам алгоритмі қандай? -сан сандары?
(информатикадағы шешілмеген мәселелер)

Кешенді көбейту алгоритмі

Кешенді көбейту әдетте төрт көбейтуді және екі қосуды қамтиды.

Немесе

Бірақ көбейту санын үшке дейін азайтудың тәсілі бар.[14]

Өнім (а + би) · (c + ди) келесі әдіспен есептелуі мүмкін.

к1 = c · (а + б)
к2 = а · (г.c)
к3 = б · (c + г.)
Нақты бөлігі = к1к3
Қиялы бөлім = к1 + к2.

Бұл алгоритмде төрт емес, тек үш көбейту қолданылады, ал екеу емес, бес қосу немесе азайту қолданылады. Егер көбейту қолмен есептегендегідей үш қосу немесе азайтуға қарағанда қымбат болса, онда жылдамдықтың өсуі болады. Қазіргі заманғы компьютерлерде көбейту мен қосу шамамен бір уақытты алуы мүмкін, сондықтан жылдамдық күшейтілмейді. Қалқымалы нүктені пайдалану кезінде дәлдіктің жоғалуы мүмкін болатын ымыраға келу бар.

Үшін жылдам Фурье түрлендірулері (FFT) (немесе кез келген сызықтық түрлендіру ) комплексті көбейткіштер тұрақты коэффициенттермен c + ди (деп аталады твит факторлары бұл жағдайда қосымшалардың екеуі (г.c және c+г.) алдын-ала есептелуі мүмкін. Демек, тек үш көбейту және үш қосу қажет.[15] Алайда, осылайша көбейту үшін сауда жасау қазіргі заманға сәйкес келмейтін болуы мүмкін өзгермелі нүктелер.[16]

Карацубаны көбейту

Сияқты бірнеше мың цифр аралығында сандарды көбейту керек жүйелер үшін компьютерлік алгебра жүйелері және bignum кітапханалар, ұзақ көбейту өте баяу. Бұл жүйелер жұмыс істей алады Карацубаны көбейту, ол 1960 жылы ашылды (1962 жылы жарияланған). Жүрегі Карацуба әдісі екі таңбалы көбейтуді классикалық талап етілетін төрт көбейтудің орнына үшеуімен ғана жасауға болатындығын байқауға негізделген. Бұл мысал қазір а деп аталады алгоритмді бөлу және бағындыру. Екі таңбалы екі негізді көбейткіміз келеді делік -м сандар: х1 m + x2 және ж1 m + y2:

  1. есептеу х1 · ж1, нәтижеге қоңырау шалыңыз F
  2. есептеу х2 · ж2, нәтижеге қоңырау шалыңыз G
  3. есептеу (х1 + х2) · (ж1 + ж2), нәтижеге қоңырау шалыңыз H
  4. есептеу HFG, нәтижеге қоңырау шалыңыз Қ; бұл санға тең х1 · ж2 + х2 · ж1
  5. есептеу F · м2 + Қ · м + G.

Осы үш өнімді есептеу үшін м- цифрлы цифрлармен, біз сол трюканы тиімді қолдана отырып қайта жасай аламыз рекурсия. Сандарды есептеп болғаннан кейін, оларды қосу керек (4 және 5-қадамдар), бұл шамамен алады n операциялар.

Карацубаны көбейтудің уақыт күрделілігі бар O (nжурнал23) ≈ O (n1.585), бұл әдісті ұзақ көбейтуге қарағанда жылдамырақ етеді. Рекурсияның жоғары болуына байланысты, Қаратсубаның көбейтуі кіші мәндер үшін ұзын көбейтуге қарағанда баяу. n; типтік бағдарламалар кіші мәндер үшін ұзақ көбейтуге ауысады n.

Карацубаның алгоритмі көбейтудің алғашқы белгілі алгоритмі болды, ол ұзақ көбейтуге қарағанда асимптотикалық жылдам,[17] және осылайша жылдам көбейту теориясының бастапқы нүктесі ретінде қарастыруға болады.

1963 жылы Питер Унгар қондырғыны ұсынды м дейін мен көбейтудің күрделі алгоритмінде ұқсас төмендетуді алу.[14] Көбейту үшін (а + b i) · (c + d i), келесі қадамдарды орындаңыз:

  1. есептеу б · г., нәтижеге қоңырау шалыңыз F
  2. есептеу а · c, нәтижеге қоңырау шалыңыз G
  3. есептеу (а + б) · (c + г.), нәтижеге қоңырау шалыңыз H
  4. нәтиженің ойдан шығарылған бөлігі Қ = HFG = а · г. + б · c
  5. нәтиженің нақты бөлігі GF = а · cб · г.

Алдыңғы бөлімдегі алгоритм сияқты, бұл үшін үш көбейту және бес қосу немесе азайту қажет.

Toom – Cook

Көбейтудің тағы бір әдісі Toom – Cook немесе Toom-3 деп аталады. Toom-Cook әдісі әр санды бірнеше бөлікке көбейтуге бөледі. Toom-Cook әдісі - Қаратсуба әдісін жалпылаудың бірі. Үш бағыттағы Toom – аспаз өлшемін жасай алады -3N бес өлшемді көбейтуN көбейту. Бұл операцияны 9/5 есе жылдамдатады, ал Карацуба әдісі оны 4/3 жылдамдатады.

Бөлшектерді көбірек пайдалану рекурсивті көбейтуге кететін уақытты одан әрі қысқартуы мүмкін болғанымен, толықтырулар мен цифрларды басқарудың үстеме шығыстары да өседі. Осы себепті Фурье түрлендіру әдісі бірнеше мыңдық цифрлар үшін әдетте жылдам, ал одан да үлкен сандар үшін асимптотикалық жылдамырақ болады.

Фурье түрлендіру әдістері

1234 × 5678 = 7006652 көбейтудің Фурье түрлендірулерін (FFT) қолдану арқылы көрсету. Сандық-теориялық түрлендірулер бүтін сандарда бірліктің 8-ші тамыры ретінде 85 таңдап, 337 модулі қолданылады. 10-база 2-базаның орнына қолданыладыw иллюстрациялық мақсаттар үшін.

Байланысты негізгі идея Страссен (1968) жылдам бүтін көбейтуді орындау үшін жылдам көпмүшелік көбейтуді қолдану. Алгоритм практикалық және теориялық кепілдіктер жасалды, 1971 ж Schönhage нәтижесінде Страссен Schönhage – Strassen алгоритмі.[18] Толығырақ келесідей: Біз ең үлкен бүтін санды таңдаймыз w бұл себеп болмайды толып кету төменде көрсетілген процесс барысында. Содан кейін біз екі санды екіге бөлеміз м топтары w биттер келесідей

Біз бұл сандарды көпмүшелер ретінде қарастырамыз х, қайда х = 2w, алу,

Сонда біз мынаны айта аламыз:

Жоғарыда айтылған параметр екі көпмүшенің полиномын көбейту арқылы жүзеге асатыны анық а және б. Қазір шешуші қадам - ​​пайдалану Фурьені жылдам көбейту көбейтуді аңғалдыққа қарағанда тезірек орындау үшін көпмүшеліктер O(м2) уақыт.

Фурье түрлендірулерінің модульдік күйінде қалу үшін біз (2) сақинасын іздеймізм) бірліктің түбірі. Сондықтан көбейту модулін жасаймыз N (және осылайша З/NZ сақина ). Әрі қарай, N таңдалуы керек, бұл «айнала» болмауы керек, негізінен модуль азаяды N орын алады. Осылайша, таңдау N шешуші болып табылады. Мысалы, келесідей жасалуы мүмкін:

Сақина З/NZ осылайша (2м) бірліктің түбірі, атап айтқанда 8. Мұны да тексеруге болады cк < Nжәне, осылайша, ешқандай орам пайда болмайды.

Алгоритмнің уақыт күрделілігі бар Θ (n журнал (nжурнал (журнал (n))) және ондық таңбадан 10000-ден 40000-ға дейінгі сандар үшін іс жүзінде қолданылады. 2007 жылы оны Мартин Фюрер жетілдірді (Фюрер алгоритмі )[19] уақыттың күрделілігін беру n журнал (n) 2Θ (журнал* (n)) күрделі сандар бойынша Фурье түрлендірулерін қолдану. Аниндя Де, Чандан Саха, Пиюш Курур және Рампрасад Саптариши[20] пайдаланып ұқсас алгоритм берді модульдік арифметика 2008 жылы бірдей жұмыс уақытына қол жеткізді. Жоғарыда келтірілген материал аясында осы соңғы авторлардың қол жеткізгендері - іздеу N 2-ден әлдеқайда аз3к + 1, солай З/NZ бар (2м) бірліктің түбірі. Бұл есептеуді жылдамдатады және уақыттың күрделілігін азайтады. Алайда, бұл соңғы алгоритмдер Schönhage-Strassen-ге қарағанда үлкен жылдамдыққа ие.

2019 жылдың наурызында, Дэвид Харви және Джорис ван дер Ховен (де ) сипаттайтын қағаз шығарды O(n журнал n) көбейту алгоритмі.[21][22][23][24]

Қолдану сандық-теориялық түрлендірулер орнына дискретті Фурье түрлендірулері болдырмайды дөңгелектеу қателігі орнына модульдік арифметиканы қолдану арқылы есептер шығарады өзгермелі нүкте арифметикалық. FFT-ге жұмыс істеуге мүмкіндік беретін факторингті қолдану үшін түрлендіру ұзындығы кішігірім жай бөлшектерге көбейтілуі керек және фактор болуы керек N − 1, қайда N өріс өлшемі. Атап айтқанда, GF Galois өрісін қолдану арқылы есептеу (к2), қайда к Бұл Mersenne прайм, 2-ге тең трансформаторды пайдалануға мүмкіндік береді; мысалы к = 231 − 1 2-ге дейінгі түрлендірулерді қолдайды32.

Төменгі шекаралар

Шамалы төменгі шегі бар Ω (n) екіге көбейту үшін n-бір реттік процессордағы разрядтық сандар; сәйкес келетін алгоритм жоқ (әдеттегі машиналарда, яғни Тьюрингтің эквивалентті машиналарында) және өткір төменгі шекара да белгілі емес. Көбейту сыртында жатыр Айнымалы0[б] кез-келген премьер үшін б, ЖӘНЕ, НЕМЕСЕ, ЕМЕС, және MOD-ны қолданатын тұрақты тереңдіктегі, полиномдық (немесе тіпті субэкспоненциалдық) тізбектер отбасы жоқ екенін білдіреді.б өнімді есептей алатын қақпалар. Бұл MOD тереңдігінің төмендеуінен туындайдыq көбейтуге.[25] Көбейтудің төменгі шектері кейбір кластары үшін де белгілі тармақталған бағдарламалар.[26]

Көпмүшелік көбейту

Жоғарыда аталған барлық көбейту алгоритмдерін көбейту үшін кеңейтуге болады көпмүшелер. Мысалы, Страссен алгоритмін көпмүшелік көбейту үшін пайдалануға болады[27]Балама ретінде Kronecker ауыстыру әдістемесі көпмүшелерді көбейту есебін жалғыз екілік көбейтуге айналдыру үшін қолданылуы мүмкін.[28]

Алгебралық формулаларды көбейтуге мүмкіндік беру үшін ұзын көбейту әдістерін жалпылауға болады:

 14ac - 3ab + 2 ac - ab + 1 көбейтілген
 14ac -3ab 2 ac -ab 1 ———————————————————— 14а2c2  -3а2BC 2ac -14a2BC 3 a2б2  -2ab 14ac -3ab 2 ——————————————————————————————————————— 14а2c2 -17а2BC 16ac 3a2б2    -5ab +2 =========================================[29]

Бағанға негізделген көбейтудің келесі мысалы ретінде 23 тонна (t), 12 жүз салмақты (cwt) және 2 тоқсанды (qtr) 47-ге көбейтуді қарастырыңыз. авоирдупойлар өлшемдер: 1 t = 20 cwt, 1 cwt = 4 qtr.

    t cwt qtr 23 12 2 47 x ————————————————— 161 84 94 920 480 29 23 ————————————————— 1110 587 94 ———————————————— 1110 7 2 ================== Жауабы: 1110 тонна 7 cwt 2 qtr

Алдымен ширектерді 2-ге көбейтіңіз, нәтиже 94 бірінші жұмыс кеңістігіне жазылады. Келесіде 12 x 47 көбейтіңіз, бірақ ішінара нәтижелерді қоспаңыз (84, 480). 23-ті 47-ге көбейтіңіз. Төртінші баған жинақталып, нәтиже екінші жұмыс кеңістігіне орналастырылады (бұл жағдайда маңызды емес қадам). 94 квартал 23 cwt және 2 qtr құрайды, сондықтан 2-ді жауапқа қойып, 23-ті келесі бағанға қойыңыз. Енді cwt бағанына 587 беретін үш жазбаны қосыңыз. Бұл 29 t 7 cwt, сондықтан 7-ді жауапқа, ал 29-бағанға сол жаққа жазыңыз. Енді тонна бағанын қосыңыз. Орындауға ешқандай түзету жоқ, сондықтан нәтиже жай көшіріледі.

Дәл осындай орналасу мен әдістер кез-келген дәстүрлі өлшемдер мен ескі британдықтар сияқты ондық емес валюталар үшін қолданыла алады £ SD жүйе.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Гари Эзон, Ата-аналарға арналған мектепке оралу, BBC News, 13 ақпан 2000 ж
    Роб Иставей, Неліктен бүгінгі күні ата-аналар математика жасай алмайды?, BBC News, 10 қыркүйек 2010 ж
  2. ^ Брент, Ричард П (наурыз 1978). «Fortran көп дәлдіктегі арифметикалық топтама». Математикалық бағдарламалық жасақтамадағы ACM транзакциялары. 4: 57–70. CiteSeerX  10.1.1.117.8425. дои:10.1145/355769.355775. S2CID  8875817.
  3. ^ Corlu, M. S., Burlbaw, L. M., Capraro, R. M., Corlu, M. A., & Han, S. (2010). Османлы сарайы мектебі Эндерун және бірнеше талантты адам, Матракчы Насух. Математикалық білім беру бойынша Корея қоғамының журналы D: Математикалық білім беру саласындағы зерттеулер. 14 (1), 19-31 б.
  4. ^ Богомольный, Александр. «Шаруаларды көбейту». www.cut-the-knot.org. Алынған 2017-11-04.
  5. ^ Д.Уэллс (1987). Қызықты және қызықты сандардың пингвин сөздігі. Пингвиндер туралы кітаптар. б. 44.
  6. ^ Көбейтудің керемет салдары, алынды 2020-03-14
  7. ^ «Бүтін санды көбейтудің және бөлудің жаңа әдістері» Г.Рейхборн-Кеннерудтің авторы
  8. ^ МакФарланд, Дэвид (2007), Тоқсандық кестелер қайта қаралды: алдыңғы кестелер, кесте құрылысында еңбек бөлінісі және аналогтық компьютерлерде кейінірек енгізу, б. 1
  9. ^ Робсон, Элеонора (2008). Ежелгі Ирактағы математика: әлеуметтік тарих. б. 227. ISBN  978-0691091822.
  10. ^ «Пікірлер», Құрылыс инженері және сәулетші журналы: 54–55, 1857.
  11. ^ Холмс, Невилл (2003), «Төрттік квадраттармен көбейту», Математикалық газет, 87 (509): 296–299, дои:10.1017 / S0025557200172778, JSTOR  3621048.
  12. ^ Эверетт Л., Джонсон (1980 ж. Наурыз), «Сандық квартал көбейткіші», Компьютерлердегі IEEE транзакциялары, Вашингтон, АҚШ, АҚШ: IEEE Computer Society, C-29 (3), 258-261 б., дои:10.1109 / TC.1980.1675558, ISSN  0018-9340, S2CID  24813486
  13. ^ Путни, Чарльз (1986 ж. Наурыз), «Ең жылдам көбейту 6502», Apple құрастыру желісі, 6 (6)
  14. ^ а б Кнут, Дональд Э. (1988), Компьютерлік бағдарламалау өнері 2 том: Жартылай алгоритмдер, Аддисон-Уэсли, 519, 706 б
  15. ^ П.Дюамель және М.Веттерли, Жылдам Фурье түрлендіреді: оқулыққа шолу және қазіргі заманғы жағдай » Мұрағатталды 2014-05-29 сағ Wayback Machine, Сигналды өңдеу т. 19, 259-299 бб (1990), 4.1 бөлім.
  16. ^ С.Г.Джонсон және М.Фриго »Арифметикалық амалдары аз модификацияланған сплит-радикс FFT," IEEE Транс. Сигнал процесі. т. 55, 111–119 бб (2007), IV бөлім.
  17. ^ Д.Нут, Компьютерлік бағдарламалау өнері, т. 2, сек. 4.3.3 (1998)
  18. ^ А.Шенхаге және В.Страссен, «Schnelle Multiplikation großer Zahlen», Есептеу 7 (1971), 281–292 б.
  19. ^ Фюрер, М. (2007). «Бүтін санды көбейту «Есеп айырысу теориясы бойынша ACM отыз тоғызыншы жыл сайынғы симпозиумының материалдарында, 11-13 маусым, 2007 ж., Сан-Диего, Калифорния, АҚШ
  20. ^ Аниндя Де, Пиюш П Курур, Чандан Саха, Рампрасад Саптариши. Модульдік арифметиканың көмегімен бүтін жылдам көбейту. Есептеу теориясының симпозиумы (STOC) 2008 ж.
  21. ^ Дэвид Харви, Джорис Ван Дер Ховен. Уақыт бойынша бүтін көбейту O(n журнал n). 2019. ffhal-02070778
  22. ^ KWRegan (2019-03-29). «NlogN уақытында бүтін көбейту». Годельдің жоғалған хаты және P = NP. Алынған 2019-05-03.
  23. ^ Хартнетт, Кевин. «Математиктер көбейтудің тамаша әдісін ашады». Quanta журналы. Алынған 2019-05-03.
  24. ^ Харви, Дэвид. «Уақыт бойынша бүтін көбейту O(n журнал n)".
  25. ^ Санжеев Арора және Боаз Барак, Есептеудің күрделілігі: қазіргі заманғы тәсіл, Кембридж университетінің баспасы, 2009 ж.
  26. ^ Фарид Аблаев және Марек Карпинский, Рандомизирленген реттелген, бір рет оқылатын тармақталған бағдарламалардағы бүтін көбейтудің төменгі шегі, Ақпарат және есептеу 186 (2003), 78–89.
  27. ^ «Полиномды көбейтудің Страссен алгоритмі». Барлығы2.
  28. ^ фон зур Гатен, Йоахим; Герхард, Юрген (1999), Қазіргі компьютерлік алгебра, Кембридж университетінің баспасы, 243–244 бет, ISBN  978-0-521-64176-0.
  29. ^ Castle, Frank (1900). Математика практикумы. Лондон: MacMillan and Co. б.74.CS1 maint: ref = harv (сілтеме)

Әрі қарай оқу

Сыртқы сілтемелер

Негізгі арифметика

Жетілдірілген алгоритмдер