Чизикли программалаштириш масаласининг геометрик маъноси

Загружено в:

11.09.2022

Скачано:

0

Размер:

564 KB

Скачать

Чизикли программалаштириш масаласининг геометрик маъноси Режа: 1. Чизикли программалаштириш масаласининг геометрик маъноси 2. Каварик тупламларЧизикли программалаштириш масалаларининг ечим хоссалари 3.Чизикли программалаштириш масаласини ечиш усуллари ва уларнинг иктисодий тахлили

$Чизи=ли программалаштириш масаласининг геометрик маъноси Чизи=ли программалаштириш масаласининг геометрик маъносини тушуниш учун Олий математика курсининг «Чизи=ли алгебра ва аналитик геометрия» былимидаги баъзи т ушунчаларни эсга оламиз. Масаладаги чеклашлар системасига кирувчи чизи=ли тенгламалар ва чизи=ли тенгсизликларнинг геометрик тасвири (маъноси) =уйидагича былади: 1. ) , ( 2 1 22 11 x x x b х а ха    ну=талар тыплами ) , ( 2 1a a a нормал ве к торга эга ты\ри чизи=нинг устида ётган ну=таларни ифодалайди. 2. b х а ха   2 2 11 -=уйи ярим текислик ну=талари тыпламини (ты\ ри чизи= ну=талари кирмайди) ифодалайди. 3. b х а ха   2 2 11 -ю=ори ярим текислик нукталари тыпламини (ты\ри чизи= ну=талари кирмайди) ифодалайди. 4. b х а х а   2 2 11 -=уйи ярим текислик ну=талари (ты\ри чизи= киради) тыпламини ифодалайди. 5. b х а х а   2 2 11 -ю=ори ярим текислик ну=талари (ты\ри чизи= щам киради) тыпламини ифодалайди, Чеклашлари m та тенгсизликлар системаси билан берилган чизи=ли программалаштириш масаласини кырайлик. max ) ( 22 11    хc хc X Z (3.1) m i b х а х а i i i ,1 , 2 2 11    (3.2) 2,1 ,0   j хj (3.3) Ма=сад функциясининг геометрик маъноси шундан иборатки, у ызининг щар бир ани= =ийматида ) , ( 2 1c c n  йыналтирувчи векторга эга былган ты\ри чизи=ни ифодалайди. Ма=сад функцияси Z га ) ; (   гача щар хил =ийматлар бериб параллел ты\ри чизи= л ар оиласини щосил =иламиз. (Чиз. 1) ) , ( 2 1c c n вектор мусбат йыналишда бир ты\ ри чизи=дан иккинчисига ытганда Z чизи=ли функция кыпаяди, тескари йыналишда эса камаяди. 1 2 3 L L L   Энди (3.2) чеклашлар системасининг геометрик маъносига келсак, унга кирувчи щар бир тенгсизлик ярим$ $текисликни ташкил этадиган чексиз кып ечимга эга. Бирга олинган система (3.2)-(3.3) барча ярим текисликларнинг умумий =исмидан ташкил топган ечимлар кыпбурчагини ( Чиз. 2. ) ани=лайди, бу кыпбурчакнинг ихтиёрий ички ну=таси ёки томонларида ётган ну=талар тенгламалар системасини =аноатлантиради ва уларни ечимлари былади. +авари= кыпбурчакни аналитик равишда чизи=ли тенгсизликлар системаси ёрдамида бериш мумкинлигини кыриб турибмиз, лекин щар =андай чизи=ли тенгсизликлар системаси =авари= кыпбурчак былади, деб ыйлаш ноты\ри. Агар система биргаликда былмаса, бирорта ну=тани щам ани=ламайди. Масаланинг ечимлар тыпламини ани=ловчи чеклашлар системаси =авари= кыпбурчакдан иборат былиб, ю=оридан чегараланмаган ( Чиз. 3 ) тыплам былиши щам мумкин. Кыпбурчакни 2 2 11 ) ( х c хc X Z   ты\ри чизи= б илан кесамиз ва уни n йыналишда ызига параллел равишда ысиш (агар max сыралаётган былса) томонга сурамиз. Агар чизи=ли форма Z нинг max сыралса, ты\ри чизи=ни токи ечимлар кыпбурчаги пастки ярим текисликда =олгунча суриб борамизки, щеч былмаганда би т та ну=та тегишли былиб =олсин, min сыралса биринчи уринган ну=тани оламизки, кыпбурчак ю=ори ярим текисликда =олсин. Топилган ты\ри чизи= таянч ты\ри чизи\и дейилади. Ты\ри чизи=ни Z нинг max и томонига ёки min и томонига сурилишида 3 щол былиши мумкин. 1). Ты\ри чизи=ни MN ты\ри чизи= параллел кыринишда ( max томонга) шундай ' 'N M чегаравий щолатга келадики, у б илан ечим кыпбурчаги умумий бир ну=тага эга былади. ( С учи) С ну=тасининг координаталари ягона ечим былади (Чиз.4)$ $2). MN ты\ри чизи= ечим кыпбурчагининг 1 та ёки 2 та томонига параллел былиб =олади. У щолда CD томоннинг барча ну=таларида чизи=ли форма максимумига, AF томоннинг барча ну=таларида минимум =ийматга ( Ч из.5.) эга былади 3). Агар масаланинг шартлари бир бирига зид былса, чизи=ли программалаштириш масаласи битта щам ечимга эга эмас ( Ч из. 6).$

Чизи=ли форманинг ани=ланиш сощаси чегараланмаган, яъни масала ечимлар тыплами =авари= кыпбурчакли тыпламдир. (Чиз. 7) Бунда агар BC MN || былса BC нурнинг щамма ну=таларида чизи=ли функция экстремумга эришади. Чизи=ли функциянинг ани=ланиш сощасини ызгартириб, BC нурни B ну=та атрофида а й лантириш билан икки щолга эга былиш мумкин: 1- щол ма=сад функцияси B ну=тада максимумга эришади, бунга ' BC нур мос келади. 2-щол ма=сад функцияси чегараланмаган былади, бунга ' CB  нур мос келади. Шундай =илиб, чизи=ли программалаштириш масаласи ягона ечимга эга былиши мумкин (кыпбурчак учи); чексиз кып ечимга эга былиши мумкин (кыпбурчак томони); ечимга эга былмаслиги мумкин (ечимлар тыплами быш тыплам ёки бу тыпламда ма=сад функцияси чегараланмаган)

$Уч номаълумли масалаларда щам худди шундай геометрик тал=ин ыринли. Бу умумий щолдаги масаланинг шартлари фазода =авари= кыпё=лини щосил =илади. Чизи=ли функция коэффициентлари гипертекислик бо\ ламини ани=лайди, у экстремумга кыпё=лининг учларида эришади. Агар экстремумга 1 тадан орти= ну=тада эришса, у щолда у гипертекисликка параллел бутун =иррада ёки бутун ё=да эришади. Чизи=ли программалаштириш масалаларининг геометрик тал=ини 2 ва 3 ызгарувчили масалаларни график усулда ечишга имкон беради. Буни мисолларда кырайлик. Завод 2 хил мащсулот ишлаб чи=аради. Бунинг учун маълум ми=дорда материал (цемент, арматура) ва маълум ми=дорда мещнат ва энергия сарфлари керак былади. Материал, ишчи кучи ва энергия ресурслари чегараланган. Мащсулот нархи энг ю=ори былиши учун уларнинг щар биридан неча донадан ишлаб чи=ариш керак? Кырсаткичлар Мащсулот тури Мавжуд ресурслар 1 2 М ащсулот нархи 250 400 - Цемент сарфи, кг 80 170 20000 Арматура сарфи, кг 67 55 8000 Мещнат сарфи, ишчи-соати 30 40 6000 Энергия сарфи, квт. соат. 52 67 12000 +уйидаги белгилашларни киритамиз: j хj турдаги тайёрланадиган мащсулот ми=дори; j сj турдаги мащсулот нархи; j aij турдаги 1 та мащсулотга кетадиган i -тур ресурснинг сарфи. i bi -ресурсларнинг мавжуд щажми. Умумий щолда ма=сад функцияси ва чеклашлар системаси =уйидаги кыринишда былади. max 1    Zxcn j jj , )4,1 (    i b x a i j ij бу тенгсизликлар сони ресурслар сони нечта былса шунча былади ва )2,1 ( 0   j xj манфий эмаслик шарти щам чеклашлар системасига киради. Берилган масаланинг математик моделини ёзайлик: max 400 250 2 1    Z x x (3.1)$ $         12000 67 52 6000 40 80 8000 55 67 20000 170 80 2 1 2 1 2 1 2 1 x x x x x x x x (3.2) 0 ,0 2 1   x x (3.3) Ечиш. Масаланинг чеклашлар системаси тенгсизликларни =аноатлантирувчи ечимлар тыплами- кыпбурчакни =урамиз. Масаланинг мумкин былган ечимлари ОАСВ кыпбурчакнинг ичидаги ёки чегараларидаги ну=талардан иборат (8- чизма ). Улар ичидан м а =сад функциясига максимум =иймат берувчи ягона ечимни танлаш керак. Ма=сад функциясини 0 га тенглаб таъсир чизи\ини MN чиз а миз, унинг йыналтирувчи вектори: ) 400; 250(n Таъсир чизи\ини n йыналтиришда пареллел суриб кыпбурчак б илан умумий былган энг охирги четки ну= т ани а ни=лаймиз. Бу С ну=та масаланинг оптимал ечими былади. ) 98; 40( C . Демак, завод 1- тур мащсулотдан 40 дона, 2-тур мащсу- лотдан 98 дона ишлаб чи=арса максимал фойда кырар экан. 49200 98 400 40 250     графикнинг тащлили кырсатадики, мащсулотни ишлаб чи=ариш учун цемент ва арматура защираси етади. Агар цемент ва арматура защираси ошса мещнат ва энергия сарфи мащсулот ишлаб чи=ариш ошишига имкон беради. Бу мос чизи=лар координата бошидан С га нисбатан узо=да жойлашганидан кыриниб турибди. Ща=и=атдан щам 1- ва 2- тур мащсулот 40 ва 98 дона ишлаб чи=аришига цемент 19900 170 98 80 40     кг, арматура 7970 55 98 67 40     сарф былади. +авари= тыпламлар Чизи=ли программалаштириш масалаларининг ечим хоссалари +авари= тыпламлар назариясидан баъзи тушунчаларни келтирайлик. 1-т аъриф . (геометрик) А гар D тыплам ихтиёрий 2 ну=таси б илан уларни туташтирувчи кесмани ыз ичига олса$

D тыплам =авари= дейилади (Чизма 9.а) да =авари= былмаган, ( Ч изма 9.б) да =авари= былган тыпламлар тасвирланган. 2- т аъриф. (алгебраик) А гар щар бир D Х 1 , D Х 2 ва ихтиёрий 1 0   учун D Х Х Х     2 1 ) 1(   былса D тыплам =авари= дейилади (чизма 9.б) бу ерда D X  тыпламнингг ихтиёрий ну=таси. Энди масала ечимлари хоссаларини баён этамиз. 1- хосса . Агар чизи=ли программалаштириш масаласининг ечимлар тыплами биттадан орти= ну=тага эга былса, у =авари=дир. Каноник кыринишда берилган масалани кырайлик. max)( 1  n j j j xcXZ (4.1) B x A n j j j  1 (4.2) n j xj ,1 ,0   (4.3) Исбот. Ихтиёрий D X  ва D X  , D -(4.1)-(4.3) масаланинг ечимлар тыплами, у щолда X  , X  (4.2)-(4.3) системани =аноатлантиради, яъни   n j j j B x A 1 ' (4.4) ____ ,1 ,0 ' n j x j   (4.5)   n j j j B x A 1 '' (4.6) ____ ,1 ,0 '' n j x j   (4.7)

(4.4) тенгламани иккала томонини  га (4.6) тенгламанинг икки томонини 1 га кыпайтириб ва уларни щадма-щад =ышиб,   B x x A j j j j     '' ) 1( '   ни щосил =иламиз. j j j x x x __ '' ) 1( '      деб белгилаб,   n j j j B x A 1 __ ни оламиз. Маълумки, 0 '' ) 1( ' __     j j j x x x   , 0 1 ,0      . Бундан j x __ нинг (4.1)-(4.3) масаланинг ечими эканлиги келиб чи=ади, яъни D xj __ , таъриф быйича D -=авари= тыплам. 2- хосса . Агар чизи=ли программалаштириш масаласининг оптимал ечимлар тыплами 1 дан орти= ну=тага эга былса, у щолда у =авари=дир. Исбот. ' Х , '' Х -(4.1)-(4.3) масаласининг оптимал ечимлари былсин. '' ) 1(' Х Х Х      , 1 0   щам масаланинг оптимал ечимлари тыплами- D былгани учун ва ' Х , '' Х -оптимал ечимлигидан, D Х ' , D Х '' ва 1 0   лигидан D Х  __ , яъни __ Х масаланинг ечими былади. Энди уни оптималлигини исботлайлик. * * ) 1( * )'' ( ) 1( )' ( )'' ) 1(' ( ) ( __ Z Z Z Х Z Х Z Х Х Z Х Z                 , яъни __ Х ечимда ма=сад функцияси энг кат т а =ийматга эга былади ва * __ Х -оптимал ечими ва =авари= тыплам таърифидан D - оптимал ечимлар тыплами =авари= тыплам. 3- т аъриф. А гар D тыпламнинг Х ну=та сининг =андайдир 2 хил ну=та =авари= комбинацияси кыринишида тасвирлаш мумкин былмаса Х ну=та D тыпламнинг четки ну=таси дейилади, (Кыпбурчакнинг че к ка ну=таси унинг учидир). 3- хосса . ЧП масаласининг чизи=ли ма=сад функцияси ызининг оптимал =ийматига чеклашлар системаси б илан а ни=ланган =авари= тыпламнинг четки ну=таларида эришади. Исбот. Фараз =илайлик бирор D X 0 ну=таси D тыпламнинг четки ну=та билан устма-уст тушмайди ва унда ма=сад функцияси ызининг максимал =ийматига эришади max 0) ( Z Х Z  . D Х 0 четки ну=та былмагани учун уни че т к и ну=таларининг =авари= комбинацияси кыринишида тасвирлаш мумкин. r X X X ,... , 2 1 - D тыпламнинг четки ну=талари былсин у щолда       r i i i r r Xa X a X a Xa Х 1 2 2 1 1 0 ... , бу ерда 0iХ ва 1 1   r i ia

$        r i i i r r r r X a X Z a X Za X a X a Z Z 1 1 1 1 1 max ) ( ... ) ( ) ... (. Бу ифодада ) ( ),..., ( 1 r X Z X Z -ма=сад функциянинг четки ну=талардаги =ийматлари, уларнинг ичидан ма=сад функциясига максимум берадиганини танлаб оламиз, яъни k X ю=оридаги тенгликдан         r i k i k k r k i k X Z a X Z X Z a X Za X Za Z 1 1 max ) ( ) ( ) ( ... ) ( ... ) ( . maxZ -соща ичидаги энг катта =иймати, ) ( kX Z четки ну=талардаги энг катта =иймати ) ( max kX Z Z  чунки энг катта =иймат мумкин былган =ийматлардан кичик былмайди. Шундай =илиб, ма=сад функцияси ызининг максимал =ийматига тыпламнинг бирор четки ну=тасида эришади. Чизи=ли программалаштириш масаласини ечиш усуллари ва уларнинг и=тисодий тащлили Чизи=ли программалаштириш масалаларини ечишда иккитадан кып сон ли ызгарувчиларга эга былган щолда симплекс усул и дан фойдаланилади. Бу усул чизи=ли программалаштириш масалаларини ечишнинг умумий усули былиб, унинг ёрдамида масаланинг фа=атгина оптимал ечимлари топилмай, о линган ечим и=тисодий тащлил щам =илинади. У масалани =адамлар ёрдамида ечади. Бу усул кыпинча оптималлаштириш масалаларида, жараёнларни текшириш моделлари ёрдамида ечиладиган масалаларда =ылланилади. Чизи=ли программалаштириш масалаларини ечишнинг геометрик маъносига кыра оптимал ечим кыпбурчакнинг у чки (экстремал) ну=таларидан бирига мос келади. Ана шу натижа симплекс усулининг асосини ташкил этади. Унинг щисоблаш алгоритми бирор дастлабки олинган мумкин былган (экстремал) ну=тадан бош=асига тартиб билан кетма-кет ытишлар ёрдамида оптимал ечимни топишдан иборат. Кыпинча масалаларни ечишда (масалан аввалги бобдаги график усулда ечилган масалани олсак) бошлан\ич ечим танлаб олинади, ундан =ышни учки ну=тага ытилади, щар бир учки ну=тага иккита =ышни ну=та мавжуд былади. Улардан =айси бирини танлаш ма=сад функциясининг коэффициентларига бо\ли=. Ундаги каттаро= коэффициентли ызгарувчининг ысиш томонига юрилади. Шундан кейин процесс =айтарилади. Щар гал оптималлик текширилади, кейин оптимал былмаган ечимдан навбатдаги =ышни ну=тага ытилади. Ор=ага =айтилмайди. Бу жараён токи оптимал ну=та топилгунча давом этади.$

Ма=сад функцияси щар бир =адамдан навбатдагисига ытишида =уйидагича ызгаради:1) щар бир =адамда ма=сад функциясининг ысиши сезилади, чекли =адамдан сынг оптимал ечимга я=инлашади; 2) щар бир =адамда ма=сад функциянинг ысиши сезилади, лекин жараён чексиз =адамлардан иборат былади. Каноник к ыринишдаги чизи=ли модел m та тенглама ва n ызгарувчига эга былсин. +уйидаги =о идалар ни келтирамиз: 1- m та тенглама ва n та номаълум учун щар бир экстремал ну=тада m n та номаълум 0 га тенг. 2- +ышни экстремал ну=талар битта номаълумга фар= =илади. Экстремал ну=таларни топиш учун m n та номаълумни 0 га тенглаш керак. Бу экстремал ну=талар бир =ийматлигини билдиради. Щар бир экстремал былмаган ну=тага 1 дан кып былмаган 0 га тенг номаълум мос келади. Сощанинг ичидаги ихтиёрий ну=та 1 та щам нолга тенг ызгарувчига эга эмас, ихтиёрий чегарада ётган экстремал былмаган ну=та эса щамма ва=т щеч былмаганда 1 та нолга тенг ызгарувчига эга. Экстремал ну=таларнинг бир =ийматлилик хоссаси уларни алгебраик усул билан ани=лашга имкон беради. Барча жоиз экстремал ну=талар т n та 0 га тенг ызгарувчили m та тенгламалар системасининг барча бир =ийматли манфий былмаган ечимлари каби ани=ланади. m n та ызгарувчини 0 га тенглаш йыли билан топилган бундай бир =ийматли ечимлар базис режалар дейилади. Агар улар система тенгламалари ынг томонларининг манфий эмаслик шартини бажарса жоиз базис режалар дейилади. 0 га тенг ызгарувчилар эркин, =олганлари базис ызгарувчилар дейилади. +ышни экстремал ну=тала р битта ызгарувчига фар= =илади, шунга кыра щар бир кейи н ги =ышни экстремум ну=тани нобазис ызгарувчини базис ызга р увчига алмаштириб топиш мумкин. Ю=оридаги масалага кыра бир ну=тадан иккинчисига ытишда ызгарувчи (нобазис) 0 га тенг =ийматидан иккинчи ну=тада мос =ийматига ысади. Иккала ну=тада автоматик равишда 0 га айланади ва нобазис ызгарувчи былиб =олади. Шундай =илиб ноба з ис ва базис ызгарувчилар тыпламлари ыртасида ва ызгарувчилар ызаро ырни алмашади. Шунга ыхшаш жараённи щамма экстремал ну=талар учун =ыллаб ихтиёрий экстремум ну=тани биттадан нобазис

ва базис ызгарувчиларни алмаштириб щар доим топиш мумкин. Б азисга киритилувчи ызгарувчи ва базисдан йы= о тилувчи (чи=арилувчи) ызгарувчи тушунчалари ни киритиш керак. Киритилувчи ызгарувчи деб щозирча нобазис, кейинги =адамда =ышни экстремал ну=тага ытганда базис ызгарувчилар тыпламига киритиладиган ызгарувчига айтилади. Чи=арилувчи ызгарувчи деб кейинги =адамда базис ызгарувчилар тыпламидан чи=ариладиган базис ызгарувчи га айтилади. Масаланинг оптимал режасини топиш учун унинг мумкин былган базис ечимларини топиш ва улар ичидан оптималини танлаш керак, бунинг учун || a ij ||, i =m,1 n j ,1 матрицасининг устунлари ичидан навбатма-навбат m та устун танлаб m номаълумли m та чизи=ли тенгламалар системасини ечиш керак. Бу усул mn C та тенгламалар системасини ечишни талаб =илади, m унча катта былмаганда щам бу жуда =ийин. Америкалик олим Ж.Б. Дапциг томонидан ишлаб чи=илган симплекс усули бундай масалаларни ечишда =ыл келади. Ю=орида кырилган 1- боб 1- § да берилган « к артошка масаласи»нинг оптимал режасини топайлик . Масаланинг математик модели

$Z =5х 1 +6х 2 max          0 , 0 24 3 3 12 2 18 3 2 2 1 2 1 2 1 2 1 х х х х х х х х ни каноник кыринишга келтирамиз.             5, 1 , 0 24 3 3 12 2 18 3 2 5 2 1 4 2 1 3 2 1 j х х х х х х х х х х j Бу системанинг шундай жоиз (мумкин былган) базис режасини топайликки, у Z =5х 1 +6х 2 га максимум =иймат берсин. Система 5 та номаълумли 3 та тенгламадан иборат, демак базис ызгарувчилар сони 3 та, нобазис ызгарувчилар 2 та. Бу масалани симплекс усул билан ечи ш учун ихтиёрий базис ечим топилади. Базис ызгарувчилар сифатида х 3 , х 4 , х 5 , =ышимча ызгарувчиларни оламиз. Уларнинг коэффициентларидан тузилган матрица бирлик матрица былгани учун детерминанти 1 га тенг (0 дан фар=ли), система ечимга эга . Нобазис ызгарувчилар х 1 , х 2 , ни 0 га тенглаб бошлан \ич Х =(0;0;18;12;24) базис режани оламиз. 1-=адам. Базис ызгарувчиларни нобазислари ор=али ифодалаймиз.           2 1 5 2 1 4 2 1 3 3 3 24 2 12 3 2 18 х х х х х х х х х Ма=сад функциядан 2 1 6 5 x x Z   кыриниб турибдики х 2 ни базис ызгарувчилар =аторига =ышиш керак (катта коэффициентли былгани учун). Базис ызгарувчилардан =айси бири нобазис ызгарувчилар =аторига ытади? Бунинг учун х 2 токи ызгар у вчиларнинг манфий эмаслик шартлари бажариладиган былгунча ошириб борилади. 6 3 24; 1 12; 3 18 min 2      х , 1-тенгламадан 2х ни топамиз . У щолда 0 3 x былиб нобазис ызгарувчи былиб =олади. 0 ,0 5 4   x x 2-=адам. Базис ызгарув чи лар 5 4 2 , , x x x ни ва Z ни нобазис ызгарувчилар 3 1,x x ор=али ифодалаймиз.             3 1 5 3 1 4 3 1 2 6 31 31 1 6 31 32 6 х х х х х х х х х 3 1 2 36 x x Z    Энди 1x га =иймат бериб уни базис ызгарувчилар =аторига оламиз. Чунки бу ерда 1x олдидаги ишора мусбат былгани учун уни ошириш щисобига Z нинг =иймати ошади. 4 18 1 6; 4 18; 2 18 min 2      x , демак 2-тенгламадан 1x ни топамиз.              3 4 5 3 4 2 3 4 1 43 43 23 61 21 3 41 43 43 6 x x х x x х х х х 3 4 4 31 4 3 5, 40 x x Z    Ма=сад функциясида 4x ва 3x манфий коэффициент билан =атнашди. Уларни энди ошириб былмайди.$

Чизикли программалаштириш масаласининг геометрик маъноси

11.09.2022

0

564 KB

Похожие