
Artikli eesmĂ€rk on toetada algajaid andmete teadlasi. Me selgitasime kolmes lihtsas meetodis lineaarse regressiooni vĂ”rrandi lahendamise viise: analĂŒĂŒtiline lahendus, gradientide allakĂ€ik ja stohhastiline gradientide allakĂ€ik. AnalĂŒĂŒtilise lahenduse korral kasutasime valemit
. KÀesolevas artiklis, nagu pealkirjast selgub, pÔhjendame selle valemi kasutamist, muude sÔnadega, tuletame selle ise.
Miks on mÔistetav, et sellele valemile tuleks rohkem tÀhelepanu pöörata
?
Just matriitsvÔrrandist algab enamasti tutvumine lineaarse regressiooniga. Sellegipoolest on harva loetletud pÔhjalikke arvestusi selle kohta, kuidas valem tuletati.
NĂ€iteks Yandexi masinĂ”ppe kursustel, kui osalejatele tutvustatakse regulaarimist, pakutakse vĂ€lja kasutada funktsioone raamatukogust sklearn, samas ei mainita algoritmi maatrikslikku esitamist. Just sel hetkel vĂ”ib mĂ”nel kuulajal tekkida soov sellele kĂŒsimusele lĂ€hemalt jĂ€rele uurida â kirjutada kood ilma valmis funktsioone kasutamata. Selleks tuleb kĂ”igepealt esitada vĂ”rrand regulaarijaga maatrikselikult. Antud artikkel aitab soovijatel selliste oskustega tutvuda. Alustame.
Algsed tingimused
SihtnÀitajad
Meil on rida sihtnĂ€itaja vÀÀrtusi. NĂ€iteks vĂ”ib sihtnĂ€itajaks olla mingi vara hind: nafta, kuld, nisu, dollar jne. Samas, rida sihtnĂ€itaja vÀÀrtusi tĂ€hendab meelespea arvude hulka. Need arvud vĂ”ivad olla nĂ€iteks igakuised nafta hinnad aasta jooksul, mis tĂ€hendab, et meil on 12 sihtnĂ€itaja vÀÀrtust. Alustame sĂŒmbolite tutvustamist. MÀÀratleme iga sihtnĂ€itaja vÀÀrtuse kui
. Kokku on meil
vaatlust, seega saame meie vaatlusi esitada kui
.
Regressorid
Oletame, et on olemas tegurid, mis mingil mÀÀral seletavad sihtnÀitaja vÀÀrtusi. NÀiteks mÔjutab dollari/rubli kurssi tugevalt naftahind, Fed'i intressimÀÀr ja teised. Selliseid tegureid nimetatakse regressoreiteks. Samas peab iga sihtnÀitaja vÀÀrtusele vastama regressori vÀÀrtus, st kui meil on 12 sihtnÀitajat iga kuu 2018. aastal, siis peab ka regressoreid olema 12 sama perioodi jooksul. MÀÀratlege iga regressori vÀÀrtus kaudu
. Olgu meie puhul
regressorit (st
tegurid, mis mÔjutavad sihtnÀitaja vÀÀrtusi). Seega saame meie regressoreid esitada jÀrgmiselt: 1. regressori (nÀiteks naftahinna) jaoks:
, 2. regressori (nÀiteks Fed'i intressimÀÀr) jaoks:
, â
-ndateâ regressori jaoks: 
SihtnÀitajate sÔltuvus regressoritest
Eeldame, et sihtnÀitaja sÔltuvus
regressoritest â
-ndastâ jĂ€lgimisest saab vĂ€ljendada lineaarsest regressioonivĂ”rrandist kujul:

, kus
â «
-ndateâ regressori vÀÀrtus vahemikus 1 kuni
,
â regressoreid vahemikus 1 kuni 
â nurkade koefitsiendid, mis esindavad suurust, millega muudetakse arvutatud sihtmĂ€rke keskmiselt regressorite muutumisel.
TeisisÔnu, me mÀÀrame iga regressor (vÀlja arvatud
) jaoks «oma» koefitsiendi
, seejÀrel korrutame koefitsiendid regressorite vÀÀrtustega «
-nda» vaatlus, mille tulemusel saame ligikaudse «
-nda» sihtmÀrk.
Seega peame valima sellised koefitsiendid
, mille korral meie approximatsiooni funktsiooni vÀÀrtused
asuvad maksimaalselt lÀhedal sihtmÀrkide vÀÀrtustele.
Approximatsiooni funktsiooni kvaliteedi hindamine
MÀÀrame approximatsiooni funktsiooni kvaliteedi hindamise meetodi kaudu, mis pÔhineb vÀhemuste ruutude meetodil. Sel juhul omandab kvaliteedi hindamise funktsioon jÀrgmise kujul:

Me peame valima sellised koefitsiendi vÀÀrtused $w$, mille korral vÀÀrtus
on minimaalne.
Muudame vÔrrandi matrikulaarsesse vormi
Vektoriline esitus
Alustuseks, et endale elu lihtsustada, tuleks pöörata tÀhelepanu lineaarse regressiooni vÔrrandile ja mÀrkida, et esimene koefitsient
ei korrutata ĂŒhegi regressoriga. Sellegipoolest, kui me muundame andmed maatriksivormi, siis avaldab eelnevalt mainitud asjaolu tĂ”sist mĂ”ju arvutustele. SeetĂ”ttu on soovitatav lisada veel ĂŒks regressor esimese koefitsiendi jaoks
ja seada see vĂ”rdseks ĂŒhega. TĂ€psemalt, iga "
-ndat" vÀÀrtust selle regressori jaoks seada ĂŒheks â kuna ĂŒhega korrutades ei muutu meie arvutuste tulemus, lĂŒhendab see oluliselt meie kannatusi maatriksite korrutamise reeglite kontekstis.
NĂŒĂŒd, mĂ”neks ajaks, et materjali lihtsustada, oletame, et meil on ainult ĂŒks "
-ne" vaatlus. SeejÀrel kujutame ette regressori "
-nda" vaatluse vÀÀrtused vektorina
. Vektor
on mÔÔtmeid
, st
rida ja 1 veerg:

Otsitavad koefitsiendid kujutame vektorina
, mille mÔÔtmed on
:

Lineaarse regressiooni vÔrrand "
-nda" vaatluse jaoks omandab jÀrgmise kuju:

Lineaarse mudeli kvaliteedi hindamise funktsioon omandab jÀrgmise kuju:

Pöörake tÀhelepanu, et maatriksite korrutamise reeglite kohaselt pidi me vektori
.
Maatriksite esitus
Vektorite korrutamise tulemusena saame arvu:
, nagu oodati. See number ongi ligikaudne â
-ndaâ sihtrĂŒhma nĂ€itaja. Kuid me vajame lĂ€henemist mitte ĂŒhe sihtrĂŒhma vÀÀrtuse, vaid kĂ”igi jaoks. Selleks kirjutame kĂ”ik â
-ndadâ regressioonid maatriksi formaadis
. Saadud maatriksi mÔÔtmed on
:

NĂŒĂŒd vĂ”tab lineaarse regressiooni vĂ”rrand jĂ€rgmise kuju:

MĂ€rgime sihtrĂŒhmade vÀÀrtused (kĂ”ik
) vektorina
mÔÔtmeid
:

NĂŒĂŒd saame kirjutada maatriksiformaadis lineaarse mudeli kvaliteedi hindamise vĂ”rrandi:

Tegelikult saadakse sellest valemist tuntud valem 
Kuidas see toimub? Avaldised avatakse, diferentsiaalvÀljad arvutatakse, saadud valemid muudetakse jne, ja just sellega me praegu tegeleme.
Maatriksite ĂŒmberkujundamine
Avame avali


Valmistame vÔrrandi erinevusprotsessiks ette
Selleks teeme mĂ”ned ĂŒmberkujundamised. JĂ€rgmistes arvutustes on mugavam, kui vektor
on esindatud igas korrutamises vÔrrandis.
Ămberkujundamine 1

Kuidas see juhtus? Selle kĂŒsimuse vastamiseks piisab, kui vaadata korrutatavate maatriksite mÔÔtmeid ja nĂ€ha, et vĂ€ljundiks saame arvu vĂ”i muul viisil
.
Kirjutame maatriksite vĂ€ljendite mÔÔtmed ĂŒles.



Muutmine 2

Arutame sarnaselt muutmisele 1


Saame vÀljundi, mis on vÔrrand, mille me peame diferentsseerima:

Diferentsieerime mudeli kvaliteedi hindamise funktsiooni
Diferentsieerime vektori suhtes
:




KĂŒsimusi miks
ei tohiks olla, kuid kahte teist vÀljendit sÔltuvuse mÀÀratlemise operatsioone kÀsitleme pÔhjalikumalt.
Diferentsieerimine 1
Avame diferentsieerimise: 
Kuna maatriksi vÔi vektori tuletise mÀÀramine nÔuab nende sisu vaatamist. Vaatame:



MÀÀratleme maatriksite korrutise
maatriksina
. Maatriks
on ruudukujuline ja lisaks on see sĂŒmmeetriline. Need omadused tulevad meile hiljem kasuks, seega hoiame need meeles. Maatriks
on mÔÔtmeid
:

NĂŒĂŒd on meie ĂŒlesanne Ă”igesti korrutada vektoreid maatriksiga ja mitte saada "kaks korda kaks viis", seega keskendume ja oleme ÀÀrmiselt ettevaatlikud.




Kuid meil Ă”nnestus saavutada keeruline vĂ€ljend! Tegelikult saime arvu â skalari. Ja nĂŒĂŒd, tĂ”eliselt, liigume edasi diferentsieerimise juurde. Peame leidma saadud vĂ€ljendi tuletise iga koefitsiendi suhtes.
ja saama vÀljundiks vektori mÔÔtmetega
. VĂ€heseks juhiseks kirjutan protseduurid toiminguteks:
1) diferentsieerime suhtes
, saame: 
2) diferentsieerime suhtes
, saame: 
3) diferentsieerime suhtes
, saame: 
VÀljundiks on lubatud vektor mÔÔtmetega
:

Kui vaadata vektorit lÀhemalt, siis on vÔimalik mÀrgata, et vasakpoolsed ja vastavad parempoolsed elemendid vektoris saab grupeerida nii, et lÔpuks antud vektoris saab vÀlja tuua vektori
mÔÔtmega
. NĂ€iteks,
(vektori ĂŒlemise rea vasak element)
(vektori ĂŒlemise rea parem element) saab esitada kui
, ja
â nagu
jne igas reas. Grupeerime:

VÔtame vÀlja vektori
ja saame vÀljundiks:

NĂŒĂŒd vaatame saadud maatriksile. Maatriks on kahe maatriksi summa
:

Kasutame meelde, et mĂ”ni hetk tagasi mĂ€rkisime Ă€ra ĂŒhe olulise omaduse maatriksi
â see on sĂŒmmeetriline. LĂ€htudes sellest omadusest, vĂ”ime kindlalt öelda, et vĂ€ljend
on vÔrdne
. Seda on lihtne kontrollida, avades elementide kaupa maatriksite korrutamise
. Me ei hakka seda siin tegema, soovijad vÔivad kontrollida ise.
Naaseme meie vÀljendi juurde. PÀrast meie teisendusi saime selle, nagu soovisime:

Nii et esimese diferentsialiga saime hakkama. Liigume teise vÀljendi juurde.
Diferentsiaal 2

JĂ€tkame tuttavat rada. See on palju lĂŒhem kui eelmine, seega Ă€rge hoidke ekraanist kaugele.
Avame elementide kaupa vektorid ja maatriksi:



KÀesoleval ajal eemaldame arvutustest kahek numbrit - see ei mÀngi suurt rolli, hiljem paneme selle tagasi. Korrutame vektorid maatriksiga. Esiteks korrutame maatriksi
vektoriga
, siin ei ole meil mingeid piiranguid. Saame vektori suurusega
:

Teeme jÀrgmise sammu - korrutame vektori
saadud vektoriga. VĂ€ljundis ootab meid number:

Seda me ka diffeerime. VĂ€ljundis saame vektori suurusega
:

Kas see meenutab midagi? TĂ€pselt! See on maatriksite korrutamine
vektoriga
.
Seega on teine diferentsieerimine edukalt lÔpetatud.
KokkuvÔtte asemel
NĂŒĂŒd teame, kuidas see vĂ”rdus tekkis.
.
KokkuvĂ”ttes kirjeldame lĂŒhikest teed pĂ”hiformulite muutmiseks.
Hindame mudeli kvaliteeti, kasutades minimaalsete ruutude meetodit:


Diferentsieerime saadud vÀljendi:


Kirjandus
Internetiallikad:
1)
2)
3)
4)
Ăpikute, Ă”pikogude kogud:
1) KĂ”rge matemaatika loengute konspekt: tĂ€ies mahus / D.T. PismennĂ”i â 4. vĂ€ljaanne â M.: Ajris-Press, 2006
2) Rakenduslik regressioonianalĂŒĂŒs / N. Draper, H. Smith â 2. vĂ€ljaanne â M.: Finantsid ja statistika, 1986 (tĂ”lge inglise keelest)
3) Ălesanded matriitside vĂ”rrandite lahendamiseks:
Allikas: habr.com
