Сызықтық программалау, Симплекс әдісі

Пән: Информатика, Программалау, Мәліметтер қоры
Жұмыс түрі: Материал
Тегін: Антиплагиат
Көлемі: 12 бет
Таңдаулыға:

Мазмұны

І. Кіріспе ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..2
ІІ. Теориялық бөлім ... ... ... ... ... ... ... .. ... ... ... ... ... ... ... ... ... ... ... ... ... ..3
2.1. Симплекс әдісі туралы түсінік ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ..3
ІІІ. Практикалық бөлім ... ... ... ... ... ... ... .. ... ... ... ... ... ... ... ... ... ... ... ... 8
3.1. Тапсырмаларды шешудің симплекстік әдістері ... ... ... ... ... ... ... ... ...8
IV. Қорытынды ... ... ... ... ... ... .. ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... .14
V. Пайдаланылған әдебиеттер тізімі ... ... ... ... ... ... ... . ... ... ... ... ... ... 15

І. Кіріспе
Қазіргі технологиялар ақпараттың кез келген көлемін орналастырудың, сақтаудың, өңдеудің және кез келген қашықтықтарға тасымалдаудың шексіз мүмкіндіктерін береді.
Кез келген оқыту түрінің, оның ішінде қашықтан оқыту ісінің тиімділігі мынадай факторларға тығыз байланысты болады, олар: оқуды ұйымдастыру технологиясы, оның техникалык базасы, жасалған әдістемелік материалдардың тиімділігі Осындайда атқарылып жатқан жұмыстар бұрында да болған сияқгы болып көрінеді. Әрине, автоматтандырылған оқыту түрі де осылай басталған. Автоматтандырылған оқыту ісіндегі теориялық бастамаларды қазіргі кездегі компьютерлік оқыту тәсілдеріңде де қолдану қажет, бірақ мұнда техника мен телекоммуникациялық байланыстардың жаңа дидактикалық мүмкіндіктерін есепке алып отыру керек. Компьютерлік оқыту программадары мен жаңа ақпараттық білім құралдарын жасау және пайдалану қазіргі оқыту технологияларымен бірге қолданылып, біте қайнасуы шарт.

ІІ. Теориялық бөлім
2.1. Симплекс әдісі туралы түсінік
Математикалық ықшамдауда, Данцигтің симлекс алгоритмі (немесе симлекстік әдіс) сызықтық программалауда кеңінен таралған алгоритм. Информатика төңiрегiндегi техникалық есептеуiш журналы (The journal Computing in Science and Engineering) бұл алгоритмді 20 ғасырдың он мықты алгоритмдерінің біреуіне жатқызды.Алгоритм аты Т.С.Мотцин айтып кеткендей жеңіл (simplex) деген сөзден шыққан. Симплекс әдістерде қолданыс таппайды, бірақ ол симплексациялық конустарға ісерін тигізеді, қосымша шектеулермен симплекстерге тиісті болады. Конусты симплексті қарау бұрыш яғни бұрыштарының жаны геометриялық дене, көпжақ.
Сызықтық программалауды стандартты түрдің ьіреуіне келтіру келесі түрде іске асуы мүмкін. Біріншіден, барлық нөлден басқа мәні кіші мүшеге жаңа мүше енгізілуі мүмкін. Шын мүше жаңа мүше арқылы шеттелуге болады.
Екінші теңдеу x 1 мүшесін сызықтық программадан шығарылуы үшін қолданыс табады.Осылайша кіші мәнді шектеулер оң мәнді шектеулерге айналады. Екіншіден, әр бір қалып отырған шектеулер үшін жалған айнымалы еніп отыр,олар шектеулерді теңдікке ауыстыру үшін кіргізіледі.Бұл айнымалы теңсіздіктің екі жағындағы айырмашылықты көрсетеді және бұл айнымалы оң болады деп санаймыз.
{\displaystyle {\begin{aligned}x_{2}+2x_{3}&\leq 3\\-x_{4}+3x_{5}&\geq 2\end{aligned}}}{\displaystyle {\begin{aligned}x_{2}+2x_{3}+s_{1}& =3\\-x_{4}+3x_{5}-s_{2}&=2\\s_{1},\ ,s_{2}&\geq 0\end{aligned}}}Бұл түрде алгебралық тұрғыда амалдар қолдану жеңіл болады. = пайда болатын теңсіздіктерде көптеген авторлар "мол айнымалысына" жүгінеді. Үшіншіден,шектеусіз мүше сызықтық программалауда теңсіздіктен шығады. Екі әдіспен іске асыруға болады.Бір жолы мүше кездескен теңсіздікте айнымалы енгізу арқылы, екінші жолы мүшені екі шегі бар мүшемен алмастыру болып табылады. Мысалы, егер z1 шектеусіз болса,онда
{\displaystyle {\begin{aligned}&z_{1}=z_{1}^{+}-z_ {1}^{-}\\&z_{1}^{+},\,z_{1}^{-}\geq 0\end{aligned}}}
Теңдіктен z1 сызықты программалауда алып тастау мүмкін болды. Процесс толық мүмкін ауданға келгенде мынадай түрде жазылады
{\displaystyle \mathbf {A} \mathbf {x} =\mathbf {b} ,\,x_{i}\geq 0}Бұл жердегі A қатардағы сан деп ойлаймыз. Бұл ешқандай кемшіліктергі әкелмейді немесе Ax = b керек емес теңдеулерге,сызықтық программаның шешімі жоқ деген шешімге әкелуі мүмкін.
Сызықтық бағдарлама есебінің оңтайлы шешімдері көпбұрыштың бұрыштық нүетелерімен байланысты. Егер айнымалалар саны n=50,теңсіздіктер саны m=25 болса, онда базистік жоспарлар саны 1014 болады. Сонда м және н үлкен сан болса, онда барлық негізге алынатын жоспарларды іріктей отырып, оңтайлыны табу өте көп есептеуді қажет етеді. Сондықтан бір негізге алынатын жоспардан екіншіге ауысуға мүмкіндік беретін әдіс болуға тиіс. Осындай әдіс симплекс әдісі деп аталады. Есептеулердің әрқайсысында осы функцияның өткен жоспардағы мәнімен салыстырғанда мақсатты функциядан кем немесе артық мәніне сәйкес келетін жаңа жоспар табылды. Есептеулерді оңтайлы жоспар алынғанға дейін жалғасады. Егер мәселенің оңтайлы шешімі болмаса, онда симплексті әдіс оны есептеу кезеңінде анықтауға мүмкіндік береді.
Алғашқы жоспар құру. Сызықтық бағдарлама есебі қойылған болсын. Төмендегі функцияның барынша аз мәнін табу қажет.
F=C1X1+ C2X2+... +CnXn (5.1)
мына шектеулерде
а11х1+ а21х2+... +а1nхn=В1
а21х1+ а22х2+... +а2nхn=В2
... ... ... ... ... ... ... ... ... ... ... (5.2)
аm1х1+ аm2х2+... +аmnхn=Вm
мұнда,
хj=0, (i=1,2,...,m). (5.3)
Шектеу жүйесінің m бірлік векторлары болсын деп ұйғарсақ, онда ол алғашқы m векторлар болады. Осыдан (5.1) - (5.3) есепті алғашқы m векторларға сәйкес түрлендіріп жазамыз:
F=C1X1+ C2X2+... +CnXn , (5.4)
мына шектеулерде
X1+a11,m+1Xm+1+a11,m+2Xm+2+...+a11. nxn=B11

X2+a2,m+1Xm+1+a2,m+2Xm+2+...+a12.nx n=B12 (5.5)
... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
Xm+a1m,m+1Xm+1+a1m,m+2Xm+2+...+a1m. nxn=B1m
хj=0, j=1,2,...,n. (5.6)

Жүйені (5,5) векторлық формада жазамыз:
x1A1+x2A2+...+xmAm+xm+1Am+1+xnAn=B (5.7)

А1, А2,...,Аm векторлар - m өлшемді кеңістіктің сызықтық тәуелсіз бірлік векторлары. Сондықтан (5.7) өрнекте базистік айнымалылар ретінде x1,x2,...,xm. Ал еркін айнымалылар ретінде xm+1,xm+2,...,xnтаңдаймыз, оларды нөлге теңестіріп, базистік айнымалыларды анықтаймыз. Мұнда ві=0 (і=1,2,... m), ал А1, А2,..., Аm бірлік векторлар екенін ескерсек, онда алғашқы жоспарды аламыз:
Хо=(х1=в1; х2=в2; ... хm=вm; хm+1=0; ... хn=0) (5.8)
Жоғарыдағы (5.7)-ден (5.8) жоспарды ескерсек, төмендегі жіктеу шығады:
x1А1+х2А2+... + хm,Аm = В, (5.9)
мұнда А1, А2, ...А m векторлар сызықтық тәуелсіз, демек, құрылған жоспар базис болып табылады.
1-анықтама. Еркін белгісіздердің нөл мағыналарына сәйкес келетін шектеулер жүйесінің (5.2) шешімі базистік деп аталады.
Бастапқы негізге алынатын жоспарға (5.9) сүйене отырып, екінші негізге алынатын жоспарды қалай құруға болатынын қарастырамыз. Базиске кірмейтін кейбір вектор үшін, мысалы Аm+1, жіктеудегі хі,m+1коэффициенттердің ең болмағанда біреуі оң болады деп ұйғарамыз.
Х1,m+1А1+Х2,m+1А2+... + Хm,m+1Аm =Аm+1
Жүйенің оң жағы В бөлікті осы айнымалының оң коэффициенттеріне, яғни Віаіm+1 бөлеміз. Сөйтіп, хm+1векторы жоспар немесе жаңа базис болып табылады. Есептің m-нен асатын базисі болмайды, сондықтан қазіргі бар базистің біреуін алып тастаймыз. Ол үшін Q=min(віаi,m+1). таңдаймыз. Осы ең кіші мәні бірінші жолда тұрсын, яғни Q1=min (віа1,m+1). Сонда жаңа базистік шешім аламыз Х=( x2, хз,...хm,хm+1). Бұл базистен Х1 алып тастау, ал базиске хm+1 енгізу қажет екенін білдіреді. Демек, негізге алынатын жаңа жоспарларды таңдау үшін, базистен шығарылатын және оның орнына базиске енгізілетін айнымалының векторын таңдау кажет.
Оңтайлылық талаптары. СБ есебінің базистік шешімі бар деп ұйғарамыз. Бұл жағдайда есептің математикалық формасы төмендегідей болады:
x1 А1+х2А2+... + хmАm = В, (5.10)
х1С1+х2С2+... + хmСm = Ғ, (5.11)
мұнда барлық хj=0, j=1,2,...,n., ал Ғ-осы жоспарға сәйкес келетін функцияның мәні. Егер сызықтык функциядағы Сj коэффициенті Аj векторға сәйкес келсе, онда Ғj - Сj- оңтайлылық өлшемі немесе сызықтық функцияның бағасы деп аталады.
Оңтайлылық өлшемі бағдарламадан шығарылатын қызметтің құнының сомасына тең болады, одан жоспарға енгізілетін өнімнің бірлігінен түсетін кіріс алынып тасталады. Ғj - мақсат функциясының коэффициенттерін шектеулердегі айнымалылардың коэффициенттеріне көбейтіндісінің қосындысына, яғни,
cj - мақсат функциясының белгісіздер коэффициенттері. Төмендегі теоремалар орын алады.
1-теорема. Егер кейбір Аj векторы үшін төмендегі талап орындалса,
Fj-Cj=0,
онда Хо жоспары функцияның максимумы үшін оңтайлы болып табылады.
2-теорема. Егер кейбір Аj векторы үшін төмендегі талап орындалса, онда Хо жоспары функцияның минимумы үшін оңтайлы болып табылады. Демек, сызықтық функцияның максимумына сәйкес есептің жоспары оңтайлы болу үшін оның бағалары оң болуы қажетті әрі жеткілікті болады. Ал функцияның минимумы үшін оның бағалары теріс болуы қажетті ... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.