凸最適化・組合せ最適化の問題

$X=\{0,1{\}}^3$ 上の次の最適化問題 $(\mathrm{P})$ を考える。
$$(\mathrm{P})\text{minimize}3x_1+4x_2+5x_3\text{subject to}2x_1+3x_2+4x_3\ge 5,x=(x_1,x_2,x_3)\in X.$$
不等式制約 $2x_1+3x_2+4x_3\ge 5$ だけを乗数 $\mu \ge 0$ で緩和したラグランジュ関数
$$L(x,\mu )=3x_1+4x_2+5x_3+\mu (5-2x_1-3x_2-4x_3)$$
により双対関数 $q(\mu )={\min }_{x\in X}L(x,\mu )$ を定め、双対問題の最適値を $d^{\ast }={\sup }_{\mu \ge 0}q(\mu )$、$(\mathrm{P})$ の最適値を $p^{\ast }$ とする。双対ギャップ $p^{\ast }-d^{\ast }$ を求めよ。

$B=[-1,2]\times [-1,2]\subset {\mathbb{R}}^2$ とし、次の最適化問題 $(\mathrm{P})$ を考える。
$$(\mathrm{P})\text{minimize}f(x)=-x_1{x}_2\text{subject to}{x}_1+x_2=1,x=(x_1,x_2)\in B$$
等式制約 $x_1+x_2=1$ だけを乗数 $\mu \in \mathbb{R}$ で緩和し、集合制約 $x\in B$ は残したラグランジュ関数
$$L(x,\mu )=-x_1{x}_2+\mu (x_1+x_2-1)$$
から双対関数 $q(\mu )=\underset{x\in B}{\min }L(x,\mu )$ を定め、双対問題 $(\mathrm{D})$: $\underset{\mu \in \mathbb{R}}{\max }q(\mu )$ を考える。$(\mathrm{P})$ の最適値を $p^{\ast }$、$(\mathrm{D})$ の最適値を $d^{\ast }$ とするとき、双対ギャップ $p^{\ast }-d^{\ast }$ を求めよ。

$x=(x_1,x_2,x_3,x_4)\in \{0,1{\}}^4$ を変数とする次の 0-1 ナップサック問題 $(\mathrm{P})$ を考える。
$$(\mathrm{P})\text{maximize}7x_1+5x_2+4x_3+3x_4\text{subject to}5x_1+4x_2+3x_3+2x_4\le 9,x\in \{0,1{\}}^4.$$
$(\mathrm{P})$ の最適値を $p^{\ast }$ とする。不等式制約だけに乗数 $\lambda \ge 0$ を導入してラグランジュ関数
$$L(x,\lambda )=7x_1+5x_2+4x_3+3x_4+\lambda (9-5x_1-4x_2-3x_3-2x_4)$$
を定め、双対関数を $g(\lambda )={\max }_{x\in \{0,1{\}}^4}L(x,\lambda )$、双対問題の最適値を $d^{\ast }={\min }_{\lambda \ge 0}g(\lambda )$ とする。双対ギャップ $d^{\ast }-p^{\ast }$ を求めよ。

有限集合 $X=\{0,1,3\}\subset \mathbb{R}$ 上の次の最適化問題 $(\mathrm{P})$ を考える。
$$(\mathrm{P})\text{minimize}{x}^2\text{subject to}2-x\le 0,x\in X$$
$(\mathrm{P})$ の最適値を $p^{\ast }$ とする。不等式制約 $2-x\le 0$ だけを乗数 $\mu \ge 0$ で緩和したラグランジュ関数を $L(x,\mu )=x^2+\mu (2-x)$ とし、双対関数を $q(\mu )={\min }_{x\in X}L(x,\mu )$、双対問題の最適値を $d^{\ast }={\sup }_{\mu \ge 0}q(\mu )$ とする。双対ギャップ $p^{\ast }-d^{\ast }$ を求めよ。

閉区間 $X=[0,4]\subset \mathbb{R}$ 上の次の最適化問題 $(\mathrm{P})$ を考える。
$$(\mathrm{P})\text{minimize}f(x)=-x^2+5x\text{subject to}g(x)=1-x\le 0,x\in X.$$
不等式制約 $g(x)\le 0$ だけに乗数 $\lambda \ge 0$ を付けてラグランジュ関数 $L(x,\lambda )=f(x)+\lambda g(x)$ を作り（$x\in X$ という制約は双対化しない）、双対関数を
$$q(\lambda )=\underset{x\in X}{\min }L(x,\lambda )(\lambda \ge 0)$$
と定める。$(\mathrm{P})$ の最適値を $p^{\ast }$、双対問題 $\underset{\lambda \ge 0}{\max }q(\lambda )$ の最適値を $d^{\ast }$ とする。組 $(p^{\ast },d^{\ast })$ をこの順に求めよ。