組合せ最適化問題の近似解法.pptxVIP

組合せ最適化問題の近似解法;発表の目次;近似解法とは？;MAX SATの近似解法;SAT問題(問題例);SAT問題(問題例と真偽割当);SAT問題（定義）;MAX SAT(問題例);MAX SAT問題（定義）;MAX SATの1/2 近似解法;１/２近似解法(数値例);１/２近似解法;1-(1/2)k　近似解法;MAX SATの0.632 近似解法;整数計画への定式化;線形緩和問題;ランダム化算法(数値例);ランダム化算法（定義);補題の証明;（１‐（1‐１/ｋ　)ｋ)近似解法;0.632近似解法;MAX SATの3/4 近似解法;1/2近似解法と0.632近似解法;4/3近似解法;4/3近似解法(実際）;脱ランダム化(derandomization);脱ランダム化;MAX CUTの近似解法;MAX CUT問題(問題例);???の定義;MAX CUT問題(定義);MAX CUTの1/2 近似解法;１/２近似解法;MAX CUTの0.878 近似解法;球面配置問題;球面配置問題(定理);定理の証明(上);定理の証明(中);定理の証明(下);球面配置からの???生成;頂点配置問題の緩和;緩和問題;な???緩和問題になっているのか？;距離の比率;最適値の比率;0.878近似解法;半正定値計画;球面配置問題の緩和問題;半正定値行列の出現;半正定値計画への変形;半正定値計画との等価性;半正定