Simplex algoritmo

Matematikan, simplex algoritmoa programazio linealeko ebazkizunak aztertu eta ebazteko metodo bat da. Programazio linealeko metodoak helburuko funtzio linealak, murrizketa linealekin batera, hobereneratzo erabiltzen dira. Hobezina murrizketek osatzen duten eskualde egingarriko eremuan aurkitu behar denez, simplex metodoak erpin hauetan zehar egiten du soluzioaren bilaketa, ondoko erpin batera aldatzeak helburu funtzioaren balioren hobekuntza dakarren egiaztatuz. Erpinaren aldaketak soluzio hobea ekartzen ez badu, aztertzen ari den erpina hobezina izango da. Simplex metodoa George Dantzig matematikariak garatu zuen 1947 urtean.

Ebazkizuna

Programazio linealeko ebazkizun bat helburuko funtzio bat, zenbait aldagairen mendean, eta aldagai horiek har ditzaketen balioei buruz murrizketa linealak, ezberdintza moduan adierazita. Ohikoak aldagaiei buruzko ez-negatibotasun baldintzak. Murrizketek aldagaiek har ditzaketen balioez osaturiko eskualde egingarri bat definitzen dute. Helburuko funtzioa hoberenatu (maximotu edo minimotu) egiten duten aldagaien balioak edo hobezina eskualde egingarriko erpin batean kokatzen da eskualde egingarria politopo konbexu bat osatzen duenean. Eskualde egingarria bornatua ez denean, baliteke hobezina mugatua ez izatea.

Orohar, horrela planteatzen da ebazkizuna:

$max\ \ \sum _{j=1}^{n}c_{j}x_{j}$

murrizketa hauekin

${\begin{aligned}\sum _{i=1}^{n}a_{ij}x_{j}\leq b_{i}\ \ \ i=1,2,\ldots ,n\\x_{j}\geq 0.\end{aligned}}$

Simplex algoritmoa garatzeko, alegiazko aldagai izenekoak sortzen dira, zuzenean esanahirik ez dutenak, horiek gehitu edo kenduta murrizketak ezartzen dituzten ezberdintzak berdintza bihurtzeko. Adibidez:

$a_{11}x_{1}\leq b_{1}\rightarrow a_{1}x_{1}+x_{2}=b_{1}$

$a_{11}x_{1}\geq b_{1}\rightarrow a_{1}x_{1}-x_{2}=b_{1}$

Ebazkizunak minimotzea eskatzen duenean, maximotze-ebazkizun bihurtzen da modu honetan:

$min\ \ \sum _{j=1}^{n}c_{j}x_{j}\rightarrow max\ \ \sum _{j=1}^{n}-c_{j}x_{j}$

Adibidea

Minimotze ebazkizuna baten bihurketa eta alegiazko aldagaien sorrera adibide honetan ikus daitezke:

$min\ \ 4x_{1}+2x_{2}$

murrizketa hauekin

${\begin{aligned}3x_{1}+x_{2}\leq 60\\2x_{1}+4x_{2}\leq 80\\x_{1},x_{2}\geq 0.\end{aligned}}$

$max\ \ -4x_{1}-2x_{2}$

murrizketa hauekin

${\begin{aligned}3x_{1}+x_{2}+x_{3}&=60\\2x_{1}+4x_{2}+x_{4}&=80\\x_{1},x_{2},x_{3},x_{4}\geq 0.\end{aligned}}$

Algoritmoa

Simplex algoritmoa taulaz taula garatu ohi da, taula bakoitzean balizko soluzio baten balorazio egin eta taula batetik bestera aldagai bat atera eta beste aldagai bat sartuz. Taula bateko balizko soluzioan parte hartzen duten aldagaien oinarrizko aldagai deritze.

Adibide gisa, programazio linealeko ebazkizun hau planteatzen da:

$max\ \ z(\mathbf {x} )=5x_{1}+8x_{2}$

murrizketa hauekin

${\begin{aligned}x_{1}+2x_{2}\leq 100,\\4x_{1}+6y_{2}\leq 300,\\x_{1}\leq 0,\ x_{2}\leq 0.\end{aligned}}$

Alegiazko aldagaiak sortuz:

$max\ \ z(\mathbf {x} )=5x_{1}+8x_{2}+0x_{3}+0x_{4}$

murrizketa hauekin

${\begin{aligned}x_{1}+2x_{2}+x_{3}&=100,\\4x_{1}+6y_{2}+x_{4}&=300,\\x_{1}\leq 0,\ x_{2}\leq 0,\ x_{3}\leq 0,x_{4}\leq 0.\end{aligned}}$

Abiapuntu gisa, eskualde egingarriko edozien erpin har daiteke. Kalkulu gehigarririk ez egiteko, eskualde egingarrian izaten den (x₁=0, x₂=0) puntutik has daiteke. Lehenengo taula honela eratzen da: