土木計画学 第12回(1月14日) 計画における代替案の作成2 担当:榊原 弘之 本日の内容 計画における代替案の作成2 非線形計画問題(Nonlinear Programming)とその解法 ・非線形計画問題 ・キューン・タッカー条件 非線形計画問題 Objective Function z (x) Minimize(最小化) Constraints 制約条件 g i ( x) 0 (i 1,..., m) x ( x1 , x2 ,..., xn ) (1)変数が一つの場合 ( x 2) 2 最小化 a xb a 2 内点解 b 制約条件 x 2 a b x 端点解 a b 2 x 目的関数が凸関数でない場合は? 局所的最適解 全域的(大域的) 最適解 x 局所的最適解の条件 2 dz d z 0, 0 2 dx dx (2)変数が2つ以上の場合(制約条件なし) 局所的最適解の条件 z x1 z : z x n 0 ヘシアン行列 ベクトル かつ y Hy 0 t 2z x 2 1 H : 2z xn x1 非負定値 2 z x1xn : 2z 2 xn (3)変数が2つ以上の場合(制約条件あり) x2 g ( x1 , x2 ) z ( x1 , x2 ) (λは適当な実数) g g g ( x1 , x2 ) , x1 x2 実行可能領域 z z z ( x1 , x2 ) , x1 x2 g i ( x) 0 x1 x2 g i ( x) 0 z z 0 z ( x1 , x2 ) , x1 x2 実行可能領域 x1 x2 g i ( x) 0 g ( x1 , x2 ) z ( x1 , x2 ) 実行可能領域 z z z ( x1 , x2 ) , x1 x2 g g g ( x1 , x2 ) , x1 x2 x1 x2 g1 ( x1 , x2 ) (1 )g 2 ( x1 , x2 ) z( x1 , x2 ) g1 g1 g1 ( x1 , x2 ) , x1 x2 g 2 g 2 g 2 ( x1 , x2 ) , x1 x2 実行可能領域 z z z ( x1 , x2 ) , x1 x2 g1 ( x) 0 g 2 ( x) 0 x1 非線形計画問題の解の条件はばらばら? キューン・タッカー条件 最適解のための必要条件(一般に十分条件ではない) z (x) 最小化 g i ( x) 0 (i 1,..., m) m g z i 0, xk i xk xk i 1 i g i 0, z xk gi 0 m i 1 g i i 0, xk 0 xk (k 1,..., n) i 0 z g i i xk xk xk g 0, i i g i z 0, i 0, xk 0 xk xk gi 0 i 0 g i z i 0 i g i ( x1 , x2 ) z( x1 , x2 ) xk xk x2 g g g ( x1 , x2 ) , x1 x2 z z z ( x1 , x2 ) , x1 x2 g i ( x) 0 x1 z g i i xk xk xk g 0, i i g i z 0, i 0, xk 0 xk xk gi 0 i 0 x2 g i ( x) 0 z z 0 z ( x1 , x2 ) , x1 x2 x1 z g i i xk xk xk g 0, i i g i z 0, i 0, xk 0 xk xk gi 0 i 0 x2 g ( x1 , x2 ) z ( x1 , x2 ) g i ( x) 0 g g g ( x1 , x2 ) , x1 x2 z z z ( x1 , x2 ) , x x x1 m m g i g i z x z i 0, i 0, xk 0 k xk xk xk xk i 1 i 1 i gi 0, gi 0 i 0 {ag1 ( x1 , x2 ) (1 )bg 2 ( x1 , x2 )} z ( x1 , x2 ) x2 a 1 , (1 )b 2 g g g1 ( x1 , x2 ) 1 , 1 x1 x2 g g g 2 ( x1 , x2 ) 2 , 2 x1 x2 z z z ( x1 , x2 ) , x1 x2 g1 ( x) 0 g ( x) 0 x1 ラグランジュ未定乗数法 ラグランジュ関数 L( x ) z ( x ) m g ( x) i i i 1 キューン・タッカー条件は次のように書き換えられる. L L xk x 0, x 0, xk 0 k k (k 1,..., n) L L 0, 0 i 0 i i i 例題 ( x1 10) ( x2 8) 2 2 最小化 x1 x2 5 0 L( x) ( x1 10) 2 ( x2 8) 2 ( x1 x2 5) x12( x1 10) 0 x2 2( x2 8) 0 ( x1 x2 5) 0 2( x1 10) 0, x1 0 2( x2 8) 0, x2 0 x1 x2 5 0, 0
© Copyright 2024 ExpyDoc