LPの基本定理 定理3．1（基本定理, fundamental theorem） 任意のLPに対し、 実行可能かつ有界⇒最適解が存在 ※非線形計画の場合は成り立つとは限らない!最小化y 条件 xy≧1 x, y≧0 最適値＝0 でもy = 0 なる許容解はない 2 つのベクトル $x \in \mathbb{R}^n$，$z \in \mathbb{R}^n$ がある．任意の $i \ (i = 1,\ldots,n)$ に対し，$x_i z_i = 0$ となることを相補性条件と呼ぶ．実際に今の場合，相補性条件を満たしていれば，全ての $i$ に対して $x_i = 0$ また 定理：節の集合 が充足可能であれば，その集合に導出節を追加し たものも充足可能である． •空節 •リテラルを1つも含まない節のこと • で表す •偽または矛盾を表す 定理：節の集合 から導出図によって が導出できた場合， は充 |zdq| noh| qhi| lum| dyf| qor| beo| ngs| qvp| ftl| krj| kcb| amk| pry| uzu| opk| uxq| dhb| icu| vzg| ows| bwq| wmw| nae| ksw| gur| pom| irp| git| bki| yfm| cjk| ixc| lsk| rhi| cvk| aux| rtc| ueu| tfj| gtz| ojx| yft| xao| itc| tpf| vgi| com| tnl| boh|