整数計画問題

Summarize Timeline Top Qs Fact Check

整数計画問題では、定式化を標準形（standard form）および基準形（canonical form）に従った形式で表される。基準形の整数計画問題は次のように書き表される（このときベクトル ${\displaystyle \mathbf {x} }$ について求める問題である）^[1]:

${\displaystyle {\begin{aligned}&{\underset {\mathbf {x} \in \mathbb {Z} ^{n}}{\text{maximize}}}&&\mathbf {c} ^{\mathrm {\top } }\mathbf {x} \\&{\text{subject to}}&&A\mathbf {x} \leq \mathbf {b} ,\\&&&\mathbf {x} \geq \mathbf {0} \end{aligned}}}$

また標準形の整数計画問題は次のように書き表される:

${\displaystyle {\begin{aligned}&{\underset {\mathbf {x} \in \mathbb {Z} ^{n}}{\text{maximize}}}&&\mathbf {c} ^{\mathrm {\top } }\mathbf {x} \\&{\text{subject to}}&&A\mathbf {x} +\mathbf {s} =\mathbf {b} ,\\&&&\mathbf {s} \geq \mathbf {0} ,\\&&&\mathbf {x} \geq \mathbf {0} ,\end{aligned}}}$

ここで ${\displaystyle A\in \mathbb {R} ^{m\times n}}$ は行列、${\displaystyle \mathbf {b} \in \mathbb {R} ^{m},\mathbf {c} \in \mathbb {R} ^{n}}$ は列ベクトルである。線形計画問題と同様に、不等式の制約式に対して非負の制約をもつスラック変数（英語版） ${\displaystyle \mathbf {s} \geq \mathbf {0} }$ を不等式制約式の小さな項に対して導入することで等式の制約式に書き換えられ、${\displaystyle \mathbf {x} \geq \mathbf {0} }$ という非負の条件を持たない自由変数に対しては、非負の変数 ${\displaystyle \mathbf {x^{+}} \geq \mathbf {0} }$, ${\displaystyle \mathbf {x^{-}} \geq \mathbf {0} }$ を用いて、${\displaystyle \mathbf {x} {=}\mathbf {x^{+}} -\mathbf {x^{-}} }$ と書き直すことで、整数計画問題を標準形に表すことができる。

右の図に対する整数計画問題は以下の通りである:

${\displaystyle {\begin{aligned}{\underset {x,y\in \mathbb {Z} }{\text{maximize}}}\quad &y\\{\text{subject to}}\quad &-x+y\leq 1\\&3x+2y\leq 12\\&2x+3y\leq 12\\&x,y\geq 0\end{aligned}}}$

ここで赤点は実行可能な整数点を表しており、赤の破線は実行可能な点をすべて含む最小の多面体（凸包）を表している。青い線と座標軸によって定義されるのが、制約条件から整数制約を除いた線形計画（LP）緩和の多面体を表している。最適化の目標としては、黒の破線が多面体に接した状態を維持したまま可能な限り上方に移動させることである。整数問題の最適解は ${\displaystyle (1,2)}$, ${\displaystyle (2,2)}$ で、目的関数値が ${\displaystyle 2}$ である。一方、変数の整数条件を取り除いた線形計画緩和の最適解は ${\displaystyle (1.8,2.8)}$ で、目的関数値は ${\displaystyle 2.8}$ である。この線形計画緩和の最適解に対して小数部分を最も近い整数に丸めると、${\displaystyle (2,3)}$ となり、整数計画問題の実行可能解ではない。

Summarize Timeline Fact Check

混合整数線形計画問題（Mixed-integer linear programming: MILP）とは、変数の一部分に対して整数条件が課された問題である。

0-1整数計画問題（Zero–one linear programming、binary integer programming）とは、変数の取り得る値が 0 または 1 に限定された問題である。整数変数が有界の場合はバイナリ変数（英語版）を用いて表現することができる^[2][3]。具体例として、整数変数が ${\displaystyle 0\leq x\leq U}$ の範囲であるとき、変数は ${\displaystyle \lfloor \log _{2}U\rfloor +1}$ 個のバイナリ変数を用いて:

$${\displaystyle x=x_{1}+2x_{2}+4x_{3}+\cdots +2^{\lfloor \log _{2}U\rfloor }x_{\lfloor \log _{2}U\rfloor +1}.}$$

もしくは、${\displaystyle U}$ 個のバイナリ変数を用いて:

$${\displaystyle {\begin{aligned}x=x_{1}+2x_{2}+3x_{3}+\cdots +Ux_{U},\\x_{1}+x_{2}+x_{3}+\cdots +x_{U}\leq 1.\end{aligned}}}$$

もしくは、${\displaystyle U}$ 個のバイナリ変数を用いて:

$${\displaystyle {\begin{aligned}x=x_{1}+x_{2}+x_{3}+\cdots +x_{U}.\\(x_{1}\geq x_{2}\geq x_{3}\geq \cdots \geq x_{U}).\end{aligned}}}$$

と書き換えられる。

• 頂点被覆問題
• ナップサック問題
• ハミルトン閉路問題
• 巡回セールスマン問題
• 集合被覆問題
• 最大独立集合問題
• 最小極大マッチング問題
• 最大クリーク問題
• 支配集合問題
• 辺支配集合問題
• ビンパッキング問題
• 配送計画問題
• 板取り問題
• 施設配置問題（英語版）
• 一般化割当問題（英語版）