Каварик дастурлаш - Алгебра - Рефераты

Каварик дастурлаш

Загружено в:

11.09.2022

Скачано:

0

Размер:

288.5 KB

Каварик дастурлаш Режа: 1. Каварик тўплам ва функциялар ҳамда уларнинг айрим хоссалари. 2. Каварик дастурлашнинг умумий тушунчалари. 3. Эгар нукта ва кун-Таккер шартлари. 4. Кун-Таккер теоремаси. 107

1. каварик тўплам ва функциялар. 1-таъриф. nE D  тўплам ўзининг ихтиёрий 2 1,x x нукталари билан бирга, исталган 1 0   учун 1 2 ) 1( x x x      ни ҳам ўз ичига олса, унга каварик тўплам дейилади. 2-таъриф. ) (x f функция nE D  каварик тўпламда аникланган бўлиб, ихтиёрий D x D x   2 1 , нукталар ва ихтиёрий 1 0   сон учун   ) ( ) 1( ) ( ) 1( 1 2 1 2 x f x f x x f          (1) тенгсизлик ўринли бўлса, ) (x f функция каварик функция дейилади. 3-таъриф. ) (x f функция nE D  каварик тўпламда аникланган бўлиб, ихтиёрий D x x 2 1, нукталар ва ихтиёрий 1 0   сон учун   ) ( ) 1( ) ( ) 1( 2 2 1 2 x f x f x x f          тенгсизлик бажарилса, ) (x f функция ботик функция дейилади. ) (x f каварик функция бўлса ) (x f  функция ботик бўлади ва аксинча. ) ( ...,), ( ), ( 2 1 kx f x f x f функциялар бирор каварик nE D  тўпламда каварик бўлса, уларнинг йиђиндиси ) ( ... ) ( ) ( ) ( 2 1 kx f x f x f x f     ҳам шу тўпламда каварик бўлади. Бу хосса ботик функциялар учун ҳам ўринли бўлади. ) (x f функция Е n фазонинг манфий бўлмаган октантида каварик бўлса, 0 , ) (   x b x f тенгсизликни каноатлантирувчи V нукталар тўплами (у бўш бўлмаса) ҳам каварик бўлади. каварик функциянинг экстремуми ушбу хоссаларга эга: 1) ) (x f функция D каварик тўпламда аникланган ботик функция бўлса, унинг ихтиёрий локал минимуми глобал минимум бўлади; 2) ) (x f функция D каварик тўпламда каварик ботик бўлиб, бу тўпламга тегишли иккита D x x 2 1, нукталарда глобал экстремумга эришса, шу нукта- ларнинг каварик комбинациясидан иборат бўлган ихтиёрий нуктада ҳам глобал экстремумга эришади; 108

3) ) (x f функция D каварик тўпламда аникланган катъий ботик функция бўлса, у ўзининг глобал минимумига шу тўпламнинг факат битта нуктасида эришади; 4) ) (x f функция D каварик тўпламда аникланган катъий каварик функция бўлса, у ўзининг глобал максимумига шу тўпламнинг факат битта нуктасида эришади; 5) ) (x f функция D каварик тўпламда аникланган ботик ва дифферен- циалланувчи функция бўлса, ихтиёрий ички D x 0 ва D x нукталар учун ) ( ) ( ) )( ( 0 0 0 x f x f x x x f     тенгсизлик ўринли бўлади , бу ерда ) ( 0x f  - ) (x f функциянинг 0x нуктадаги градиенти , яъни               nx x f x x f x x f x f ) ( ,...,) ( ,) ( ) ( 0 2 0 1 0 0 ; 6) ) (x f функция D каварик тўпламда аникланган ботик ва дифферен - циалланувчи функция бўлиб , ихтиёрий D x 0 нуктада 0 ) ( 0   x f бўлса , ) (x f функция 0x нуктада глобал минимумга эришади ; 7) ) (x f функция D каварик тўпламда аникланган каварик ва дифферен - циалланувчи функция бўлиб , ихтиёрий D x 0 нуктада 0 ) ( 0   x f бўлса , ) (x f функция 0x нуктада глобал максимумга эришади . 2. каварик дастурлаш . каварик дастурлаш чизикли бўлмаган оптимал - лаштириш масаласининг бир бўлими бўлиб , унда каварик ( ботик ) функцияни каварик тўпламда максималлаштириш ( минималлаштириш ) назарияси ўрганилади . каварик дастурлаш масалалари куйидагича кўйилади: 1) ) ,..., , ( ) ( 2 1 nx x x f x f Z   (2) функциянинг m i b x x x g x g i n i i ,1 , ) ,..., , ( ) ( 2 1    (3) n j xj ,1 ,0   (4) 109

чеклаш шартларини каноатлантирувчи минимум кийматини топиш керак бўлади, бу ерда ) ( ), ( x f x gi функциялар nE D  каварик тўпламда аникланган ботик функциялар; 2) ) ( ), ( x f x gi функциялар D тўпламда аникланган каварик функциялар бўлса, каварик дастурлаш масаласи куйидаги кўринишда бўлади: m i b x x x g x g i n i i ,1 , ) ,..., , ( ) ( 2 1    (5) n j xj ,1 ,0   (6) max ) ,..., , ( ) ( 2 1    nx x x f x f Z (7) (2)-(4) ва (5)-(7) масалалар ечимини аниклашда классик Лагранж усули чегаравий шартлари орасида тенгсизликлар катнашган масалалар учун умумлаштирувчи кун-Таккер теоремаси марказий ўринни эгаллайди. (2)-(4), (5)-(7) масалага мос Лагранж функциясини тузамиз:     m i n i i i n m n x x x g b x x x f x x x F 1 2 1 2 1 0 2 1 2 1 )) ,..., , ( ( ) ,..., , ( ) ,..., , , ,..., , (      вектор кўринишда эса    m i i i X g X f X F 1 0 ) ( ) ( ) , (    (8) бўлади, бу ерда ) ,0 ( m i i   Лагранж номаълум кўпайтувчилари бўлиб, ) ,..., , ( ), ,..., , , ( 2 1 2 1 0 n m x x x Х        . 3. 1-таъриф. ) ,..., , ( 0 02 01 0 nx x x Х  нуктада ) , (  X f функция минимумга эришиб, ) ,..., , , ( 0 02 01 00 0 m      нуктада функция максимумга эришса, ) , ( 0 0 X нукта (8) Лагранж функциясининг эгар нуктаси дейилади. ) , ( 0 0 X нукта (2)-(4) масала учун тузилган Лагранж функцияси ) , (  X f нинг эгар нуктаси бўлса, 0 X нинг кичик мусбат  атрофидаги         0 0 / ) ( X X X X ихтиёрий 0jx учун ва 0 нинг  атрофидаги             0 0 / ) ( ихтиёрий 0  учун ) , ( ) , ( ) , ( 0 0 0 0    X F X F X F   (9) муносабат ўринли бўлади. 110

) , (  X F Лагранж функцияси (5)-(7) масала учун тузилган бўлса (9) муносабат куйидагича бўлади: ) , ( ) , ( ) , ( 0 0 0 0    X F X F X F   . (10) (9), (10) муносабатлар (8) Лагранж функциясини эгар нуктасининг мавжудлиги ҳакидаги, ) (x f ва ) ,1 ( ), ( m i x gi  функциялар дифференциалланувчи бўлмаган ҳол учун зарурий ва етарли шартларидан иборат. ) (x f ва ) ,1 ( ), ( m i x gi  функциялар дифференциалланувчи бўлган ҳолда Лагранж (8) функциясининг эгар нуктаси мавжудлигининг зарурий ва етарли шартлари (2)-(4) масала учун куйидагича бўлади: 0 ) , ( 0 0    jx X F  , (11) 0 ,0 ) , ( 0 0 0 0     j j j x x X F x  , (12) 0 ) , ( 0 0    i X F   , (13) 0 ,0 ) , ( 0 0 0 0     i i i X F     . (14) (5)-(7) масала учун бу шартлар куйидагича бўлади: 0 ) , ( 0 0    jx X F  , (15) 0 ,0 ) , ( 0 0 0 0     j j j x x X F x  , (16) 0 ) , ( 0 0    i X F   , (17) 0 ,0 ) , ( 0 0 0 0     i i i X F     . (18) (11)-(14) ва (15)-(18) шартларга Лагранж функцияси эгар нуктаси мавжудлигининг кун-Таккер шартлари дейилади 111

4. кун-Таккер теоремаси . ЧБДнинг (5)-(7) масаласи кўйилган бўлсин. камида битта D x нуктада ) ,1 (, ) ( m i b x g i i   тенгсизлик бажарилсин. Ушбу теорема ўринли бўлади. Теорема: 0 0 X нукта (5)-(7) масаланинг оптимал ечими бўлиши учун бу нуктада (15)-(18) шартларнинг бажарилиши зарур ва етарлидир. Исбот. Теорема шартларининг зарурлигини (15)-(18) шартларни келтириб чикаришда курсатилди. Етарлиги . 0 X нуктада (15)-(18) шартлар бажарилсин. Бу ҳолда 0 0  мавжуд бўлиб, ) , ( 0 0 X нукта ) , (  X F Лагранж функциясининг эгар нуктаси бўлади, яъни бу нуктада ) , ( ) , ( ) , ( 0 0 0 0    X F X F X F   (10) муносабат ўринли бўлади, бу ерда       m i i i i b x g X f X F 1 ) ( ) ( ) , (   . (19) (19) формуладан фойдаланиб (10) тенгсизликни куйидагича ёзамиз:              m i i i i m i i i i b X g X f b X g X f 1 0 0 0 1 0 ) ( ) ( ) ( ) (     0 ,0 , ) ( ) ( 1 0 0         X b X g X f m i i i i . (20) (20) нинг ўнг томони ихтиёрий 0  учун ўринли. Бунда (17) ва (18) ларга асосан   0 ) ( ,0 ) ( 1 0 0 0      m i i i i i i b X g b X g  . (21) Энди (20) нинг чап томонидаги тенгсизликдан (21) га асосан,       m i i i i b X g X f X f 1 0 0 0 ) ( ) ( ) (  исталган 0 X учун бажарилади. Бу ерда i i b X g ) ( ва 0 0i , демак   0 ) ( 1 0    m i i i i b X g  . Шунинг учун ) ( ) ( 0 X f X f  , исталган 0 X учун бажарилади. 112

Бундан 0 X берилган масаланинг оптимал ечими эканлиги келиб чикади. 1-мисол. 22 21 2 1 2 1 2 1 2 2 20 10 ) , ( x x xx x x x x f      функциянинг      0 ,0 ,52 1 2 1 x x x x чеклаш шартларини каноатлантирувчи максимум кийматини топинг. Ечиш. Лагранж функциясини тузамиз: )5 ( 2 2 20 10 ) , , ( 2 1 22 21 2 1 2 1 2 1         x x x x xx x x x x F   . (22) Бу функция учун кун-Таккер шартлари куйидагича бўлади:                     . 5 4 20 4 10 2 1 1 2 1 2 1 2 1 x x xF x x xF x x xF   (23) (15)-(18) тенгсизликлар куйидагича ёзилади:                            0 ; 0 ; 0 ; 0 ) 5 ( ; 0 5 ; 0 ) 4 20 ( ; 0 ) 4 10 ( ; 0 4 20 ; 0 4 10 2 1 2 1 2 1 2 1 2 1 2 1 2 1 1 2      x x x x x x x x x x x x x x x x (24) чеклаш шартларининг геометрик тасвири (1-чизма) дан маълумки 0 ,0 *2 *1   х х лар мавжуд, шунинг учун          0 4 20 ,0 4 10 2 1 1 2  x x x x бўлиб, бу системадан 3 4 1   x , 3 6 2   x (25) бўлади. (25) тенгликлардан маълумки, 0 , чунки 4 1 x , 6 2 x нукталар ечимлар кўпбурчагидан ташкарида жойлашган, шунинг учун (24) системанинг 6-сидан 0 5 2 1   x х (26) келиб чикади. (26) тенгликка 3 4 1   x , 3 6 2   x кийматларни кўйсак, 0 5 3 2 10     ёки 5,7  ҳосил бўлади. 5,7  ни (25) га кўйсак, 5,1 5,2 4 3 5,7 4 *1      x , 5,3 5,2 6 3 5,7 6 *2      x яъни )5,3;5,1( ) , ( *2 *1  х х нуктада 2 22 1212121 222010),( ххxxxxxxf  113

функция максимумга эга бўлиб, 5, 73 max  f бўлади. 1 2 3 4 Х2 Х1 1 2 3 4 5 5 1-чизма Мавзунинг таянч тушунчалари каварик тўплам, каварик функция, ботик функция, каварик дастурлаш, классик Лагранж усули, кун-Таккер шартлари, кун-Таккер теоремаси, Лагранж функцияси эгар нуктаси. Адабиётлар 1. к.Сафаева, Н.Бекназарова Операцияларни текширишнинг математик усуллари. 1-кисм. – Тошкент: Њкитувчи, 1984. 2. Ю.Н.кузнецов и др. Математическое программирование. Учебное пособие. – М.: Высшая школа, 1980, 300 с. 3. Абрамов Л.М., капустин В.Ф. Математическое программирование. Теория выпуклого программирования. Изд-во: «СПбГУ», 2001 г., 264 стр. 4. костевич Л.С. Математическое программирование. Изд-во: Новое знание, 2003 г., 214 с. 114

5. коробов П.Н. Математическое программирование и моделирование экономических процессов, Изд-во: ДНк, Серия: классическое образование, 2003 г., 376 стр. 6. www.ziyonet.uz 7. Www.Nur.Uz 115

Похожие

Чизикли дастурлаш

Чизиксиз дастурлаш

Математик дастурлаш

Динамик дастурлаш элементлари

Чизикли буль дастурлаш моделлари