Բեռլեկեմպի ալգորիթմ

Բեռլեկեմպի ալգորիթմ, ալգորիթմ՝ նախատեսված վերջավոր սեռով ունիտար բազմանդամների ֆակտորիզացիայի համար։ Մշակվել է Էլվին Բեռլեկեմպի կողմից 1967 թվականին։ Կարող է օգտագործվել նաև վերջավոր դաշտերի վրա չվերլուծվող բազմանդամների համար։ Ալգորիթմի հիմնական գաղափարը տրված բազմանդամի ներկայացումն է՝ նույն բազմանդամի և որոշ այլ բազմանդամների ընդհանուր բաժանարարի տեսքով, որոնք մինչև ազատ անդամի ճշտությամբ հանդիսանում են -բաժանարարներ։ Բեռլեկեմպի ալգորիթմը ունի դուրսբերման մեծ դժվարություն, այդ պատճառով մշակվել են մի շարք լրացուցիչ մեթոդներ, որոնք թույլատրում են կրճատել անհրաժեշտ մաթեմատիկակն գործողությունների քանակը։ Այնուամենայնիվ, չնայած իր դժվարության, Բեռլեկեմպի ալգորիթմը իրականացվել է համակարգչային հանրահաշվի համակարգում։ Ալգորիթմը մեծ կիրառում է գտել կոդավորման տեսությունում և վերջավոր դաշտերում գծային ռեկուրենտ հարաբերությունների ուսումնասիրություններում։ Հանրահաշվում և թվերի տեսությունում կան բազմաթիվ հաշվողական առաջադրանքներ, որոնք այսպես թե այնպես կապված են վերջավոր դաշտերում բազմանդամների տրոհման հետ, օրինակ, բազմանդամների բազմության տրոհումը ամբողջ թվերի օղակի վրա, հանրահաշվական թվերի դաշտում պարզ ռացիոնալ թվի տրոհման որոնումը, ինչ֊որ հավասարության Գալուայի խմբի որոշումը ռացիոնալ թվերի դաշտի և ընդլայված դաշտերի վրա։

Ստեղծման պատմություն 
Ամերիկացի մաթեմատիկոս, Կալիֆոռնիայի համալսարանի պրոֆեսոր Բեռլեկեմպը զբաղվել է սխալների հայտնաբերման և ճշգրտման ցիկլիկ կոդի, այդ թվում նաև Չոուդխուր֊Խոկվինգեմի կոդի ուսումնասիրությամբ, որոնց հատկությունները կախված են վերածնող բազմանդամի բաժանարարներից։ Այդ կոդերի ապակոդավորման շրջանում Բեռլեկեմպի տեխնիկական հաջողությունները պրակտիկայի տեսանկյունից իրենց դարձրեցին առավել կարևոր։ Ալգորիթմը առաջին անգամ շարադրվել է «Factoring Polynomials Over Finite Fields» հոդվածում և ավելի ուշ հրատարակվել է «Algebraic Coding Theory» գրքում։ 1967 թվականի այդ աշխատության մեջ  Բեռլեկեմպը գրում է, որ ֆակտորիզացիայի խնդիրը առաջանում է Գոլոմբի աշխատություններում։ Այնուամենայնիվ,  բազմանդամի նորմավորված բազմապատկիչների թվի որոշման  մատրիցի օգտագործումը առաջին անգամ նշվել. Բաթլերի հոդվածում  որոշվել է, որ  մատրիցայի ռանգը հավասար է , այդ փաստի մեկ այլ ապացույց տրվել է Շվարցի կողմից։
Բեռլեկեմպի ալգորիթմը հիշատակվել է մի շարք աշխատություններում և մինչև 1981 թվականին.հայտնվելը հանդիսանում է ֆակտորիզացիայի խնդրի լուծման հիմնական ալգորիթմ։ Մշակվել էր տեխնիկա, որը հնարավորություն էր տալիս բազմանդամը տրոհել բազմապատկիչների, որտեղ  ֊ն՝ քառակուսի մատրիցի վերաբազմապատկման բարդության գործակիցն է։

Տրում և որոշում 
Ուսումնասիրվում է վերջավոր դաշտի վրա տրված  կարգի բազմանդամի ֆակտորիզացիայի խնդիրը  ()  (,  պարզ թիվ է) տարբեր ունիտար բազմանդամների ։
Ալգորիթմում օգտագործման համար  մատրիցան կառուցվում է համաձայն հետևյալ պայմանների. ։
 բազմանդամն այնպիսին է, որ ,կոչվում է -տրոհվող բազմանդամ։

Մասնավոր դեպք 

 վերջավոր դաշտի վրա
  տեսքի բազմանդամի ֆակտորիզացիայի ալգորիթմը կազմված է հետևյալ քայլերից.
  մատրիցի հաշվում .
  գծային հավասարումների համակարգի լուծումների ենթատարարածության  բազիսի որոնում, դրա հետ մեկտեղ հաջողվում է ընտրել  վեկտորը, քանի որայն միշտ ներկա կլինի լուծումների տարածության բազիսում նկատի ունենալով, որ ,  դեպքում։
 Գտնված  թիվը հանդիսանում է   դուրս չբերվող բաժանարարների թիվը։
 Եթե , ապա բազմանդամը հանդիսանում է դուրս չբերվող։
 Եթե , ապա  վեկտորները ունեն  տեսքը։ Այդ թվերով կառուցում են -տրոհվող բազմանդամները։
 ։
 Տրոհման որոնում։
 
  տեսքով,
 որտեղ  ընդհանուր դեպքում չեն հանդիսանում դուրս չբերվող։ ֆունկցիաները ֆակտորիզացվում են նույն կերպով , այսինքն,
 .

Ընդհանուր դեպք 

Կամայական ունիտար բազմանդամի ֆակտորիզացման խնդիրը բերում է մասնավոր դեպքի քննարկման։ Դրա համար որոշվում է
  բազմանդամը,
Էվկլիդեսի ալգորիթմի օգտագործմամբ.
 Եթե  ապա բազմանդամը չի պարունակում կրկնվող արմատներ,քանի որ կրկնվող արմատը միաժամանակ հանդիասանում է ածանցյալի արմատը.
 Եթե  ապա , և նշանակում է, որ  Եթե  ապա  համար անհրաժեշտ է նշված գործընթացը կրկնել այքան ժամանակ, մինչև չենք ստանա  տրոհումը։ բազմանդամը բավարարում է մասնավոր դեպքի պայմաններին .
 Այլապես,  բազմանդամը հանդիսանում է  բազմանդամի ոչ տրիվյալ բաժանարար.Իր հերթին,  բազմանդամը չունի կրճատ չտրոհվող բազմապատիկներ. Եթե  ներառում է կրճատ բազմապատիկներ, ապա նրա համար նույնպես կիրառվում է նկարագրված պրոցեդուրան։ Իմանալով այդ տրոհումները, հեշտ է ստանալ  տրոհումը։
Այդ ձևով,  վերջավոր դաշտի վրա կամայական ունիտար բազմանդամի տրոհման խնդիրը տարվում է բազմանդամների վերջավոր թվով բազմապատիկների տրոհման, որոնք չունեն կրճատ չբերվող ժազմապատիկներ, այսինքն մասնավոր դեպքի։

Հիմնավորում 
Թող։
 , որտեղ .
Համաձայն մնացորդների մասին չինական թեորեմի  դաշտի էլեմենտների ցանկացած  հավաքածուի համար գոյություն ունի միակ բազմանդամ։
 
այնպիսին է, որ։
 .
 բազմանդամը բավարարում է պայմանը ։
 ,
և այդ պատճառով ։
 .
  պայմանից,
և աջ մասի բազմապատիկների փոխադարձ պարզկությունից հետևում է, որ  բազմանդամի յուրաքանչյուր չտրոհվող բաժանարար բաժանում է  բազմանդամներից միայն ու միայն մեկը. Այսպիսով,ապացուցվեց  տրոհման ճշմարտությունն ու միակությունը։
 
  բազմանդամիը գտնելու համար դիտարկենք
  համեմատությունը,
որը հավասարազոր է  պայմանին։
 .
 մատրիցի որոշման համար ստանում ենք։
 , դրա համար։
 .
Ստացված հավասարությունների համակարգը որոշում է -տրոհվող բազմանդամների գործակիցները և կարող է գրի առնվել

 
կամ։
  տեսքերով։

Ալգորիթմի բարդություն 
Ալգորիթմի բարդությունը կազմում է  մաթեմատիկական գործողություն. Ալգորիթմը էֆեկտիվ կլինի միայն ոչ մեծ դաշտերի համար։ Դա կախված է բոլոր  շատության անհրաժեշտության հետ։

Կատարելագործում 
 Պարզ դաշտի դեպքում, եթե  արժեքը մեծ է, ապա  արժեքների շատությունը շատ ժամանակ կկազմի։ Սակայն,հնարավոր է որոշել  բազմությունը,կազմված  ֊ից, որոնց համար  ոչ տրիվյալ են. Դրա համար անհրաժեշտ է գտնել   ռեզուլտանտնի արմատները, որոնք և կկազմեն  բազմությունը։
  ունիտար բազմանդամի տրոհման ևս մեկ մեթոդ,կրճատ չտրոհվող բազմապատիկներ չունեցող, հիմնված է Բեռլեկեմպի ալգորիթմով անկյունագծային տեսքի A մատրիցի որոշակի էֆեկտիվ հաշվարկների բերմանը։. Այնուամենայնիվ, անկյունագծայնացման պրոցեսը բականին դժվար է։
 Կալտոֆենի և Լոբոյի աշխատության մեջ առաջարկվել էր Բեռլեկեմպի ալգորիթմի հավանական տարբերակ, որը թույլ է տալիս  կարգի  բազմանդամը տրոհել բազմապատիկների  թվաբանական գործողություններով։ Կալտոֆեն֊Լոբոյի ալգորիթմը ռեալիզացվել է համակարգչով, և բարձր կարգի բազմանդամի համար դարձավ էֆեկտիվ , օրինակ,  դաշտի վրա 10001 կարգի բազմանդամի համար այն համակարգչով աշխատում է մոտավորապես 102.5 ժամ Sun-4։

Համակարգչային հանրահաշվի համակարգում ռեալիզացում 
Համակարգչային հանրահաշվի համակարգում PARI/GP Բեռլեկեմպի ալգորիթմը կարող է կիրառվել factormod անմիջական հրամանով։

Գրականություն 
  BSTJ Later republished in:

Ծանոթագրություններ 

Ալգորիթմներ