# 最小集合被覆問題
:::{container} prog-cpp
$U$ を全体集合,${\cal 𝐹}=\{S_0, S_1, \ldots S_{m-1}\}$ を $U$ の部分集合の族とします.
部分族 $\cal S\subseteq \cal F$ が $U$ のすべての要素を被覆するとき,すなわち
$$
\begin{aligned}
\bigcup_{S_j\subseteq \cal S}S_j &= U
\end{aligned}
$$
が成り立つとき,$\cal S$ を**集合被覆**と呼びます.
**最小集合被覆問題**は,最小の濃度を持つ集合被覆 $\cal S$ を求める問題です.
ここでは重み付き版を考えます.各部分集合 $S_j$ に重み $w_j$ が与えられ,**総重みが最小の集合被覆**を求めることが目標です.
## 最小集合被覆問題のHUBO定式化
この問題をHUBO問題として定式化します.
$U=\lbrace 0,1,\ldots, n-1\rbrace$ とし,$m$ 個の部分集合 $S_0, S_1, \ldots, S_{m-1}$ が与えられているとします.
$m$ 個のバイナリ変数 $x_0, x_1, \ldots, x_{m-1}$ を導入し,$x_j=1$ は $S_j\in\cal S$ であることを表します.
各要素 $i\in U$ に対して,次の式を定義します：
$$
\begin{aligned}
c_i &=\prod_{j: i\in S_j}\bar{x}_j && (0\leq i\leq n-1)
\end{aligned}
$$
選択された部分集合のいずれも $i$ を含まない場合,$i$ は被覆されません.
この場合,$i\in S_j$ であるすべての $j$ に対して $x_j=0$ が成り立ち,$c_i=1$ となります.
一方,少なくとも1つの選択された部分集合が $i$ を含む場合,$i\in S$ であるある $j$ に対して $x_j=1$ となり,因子 $\bar{x}_j$ が0になるため $c_i=0$ となります.
したがって,次の**制約**はすべての要素が被覆されているときかつそのときに限り0になります：
$$
\begin{aligned}
\text{constraint} &=\sum_{i=0}^{n-1}c_i
\end{aligned}
$$
**目的関数**は選択された部分集合の総重みを最小化することです：
$$
\begin{aligned}
\text{objective} &=\sum_{j=0}^{m-1}w_jx_j
\end{aligned}
$$
重み付き最小集合被覆問題のHUBO目的関数を次のように構築できます：
$$
\begin{aligned}
f &= \text{objective}+P\times\text{constraint},
\end{aligned}
$$
ここで $P$ は実行可能性を目的関数より優先するための十分大きな正の定数です.
## 最小集合被覆問題のHi-QUBOプログラム
以下のHi-QUBOプログラムは,$n=10$ 個の要素と $m=8$ 個の部分集合を持つ重み付き最小集合被覆インスタンスのHUBO式を構築します：
```{literalinclude} /../programFiles/cppPrograms/example/real/set-cover-program1.cpp
:language: cpp
:caption: set-cover-program1.cpp
```
このプログラムは $m=8$ 個の**バイナリ変数**の配列 **`x`** と,$n=10$ 個の**式**の配列 **`c`** を定義しています.
各式 `c[j]` は要素 $j\in U$ に対応し,1で初期化されます.
各部分集合 $S_i$ と各要素 $j\in S_i$ に対して,`c[j]` に `~x[i]` を乗じます.
その結果,少なくとも1つの選択された部分集合が要素 `j` を被覆する場合 `c[j]` は0になり,そうでない場合は1のままです.
**`constraint`** は `c` のすべてのエントリの和として定義され,すべての要素が被覆されているときかつそのときに限り0になります.
重み付き **`objective`** は `cost` と `x` の内積として定義されます.
これらをHUBO式に結合します：
$$
\begin{aligned}
f &= \text{objective} + 1000\times\text{constraint},
\end{aligned}
$$
ここでペナルティ定数 1000 は実行可能性を優先するために十分大きく選ばれています.
次に,Exhaustive Solver を用いて最適解 `sol` を求めます.
プログラムは `objective` と `constraint` の値を出力し,最後に選択されたすべての部分集合を一覧表示します.例えば,出力は以下のようになります：
```{include} /../programFiles/markDown/example/real/set-cover.md
:start-after:
:end-before:
```
この出力は,総コスト11の実行可能な集合被覆が得られたことを示しています.
## 最小集合被覆問題のQUBO定式化
上記のHUBO定式化は3次以上の項を含む場合があり,必ずしもQUBO式ではありません.
QUBO定式化を得るために,被覆制約を書き換えます.
各要素 $i\in U$ に対して次を定義します：
$$
\begin{aligned}
c_i &=\sum_{j: i\in S_j} x_j && (0\leq i\leq n-1)
\end{aligned}
$$
$c_i\geq 1$ であれば,少なくとも1つの選択された部分集合 $S_j$ が $i$ を被覆しています.
$c_i=0$ であれば,選択された部分集合のいずれも $i$ を被覆していません.
したがって,被覆制約をHi-QUBOスタイルで次のように表現できます：
$$
\begin{aligned}
\text{constraint} &= \sum_{i=0}^{n-1} (c_i\geq 1)
\end{aligned}
$$
この制約はすべての要素が被覆されているときかつそのときに限り最小値0をとります.
この定式化に基づいて,Hi-QUBOプログラムを次のように修正できます：
```{include} /../programFiles/markDown/example/real/set-cover.md
:start-after:
:end-before:
```
このプログラムでは,すべての `j` に対して式 `c[j] >= 1` が要素ごとに作成され,その和が `constraint` に格納されます.各要素の補助整数変数はその要素自身の `pos_sum()` (= `j` を含むサブセット数) に自動的に合わせられるので,上限を手動で指定する必要はありません.
> **注意**.
> 項 `c[j] >= 1` は内部的に補助バイナリ変数を導入する場合があります.
> その結果,最終的な式はQUBOソルバーで扱うことができ,
> 被覆制約の意味は保持されます.
この修正により,プログラムはHUBO版と同じ最適解を生成します.
:::
:::{container} prog-python
$U$ を全体集合,${\cal 𝐹}=\lbrace S_0, S_1, \ldots S_{m-1}\rbrace$ を $U$ の部分集合の族とします.
部分族 $\cal S\subseteq \cal F$ が $U$ のすべての要素を被覆するとき,すなわち
$$
\begin{aligned}
\bigcup_{S_j\subseteq \cal S}S_j &= U
\end{aligned}
$$
が成り立つとき,$\cal S$ を**集合被覆**と呼びます.
**最小集合被覆問題**は,最小の濃度を持つ集合被覆 $\cal S$ を求める問題です.
ここでは重み付き版を考えます.各部分集合 $S_j$ に重み $w_j$ が与えられ,**総重みが最小の集合被覆**を求めることが目標です.
## 最小集合被覆問題のHUBO定式化
この問題をHUBO問題として定式化します.
$U=\lbrace 0,1,\ldots, n-1\rbrace$ とし,$m$ 個の部分集合 $S_0, S_1, \ldots, S_{m-1}$ が与えられているとします.
$m$ 個のバイナリ変数 $x_0, x_1, \ldots, x_{m-1}$ を導入し,$x_j=1$ は $S_j\in\cal S$ であることを表します.
各要素 $i\in U$ に対して,次の式を定義します：
$$
\begin{aligned}
c_i &=\prod_{j: i\in S_j}\bar{x}_j && (0\leq i\leq n-1)
\end{aligned}
$$
選択された部分集合のいずれも $i$ を含まない場合,$i$ は被覆されません.
この場合,$i\in S_j$ であるすべての $j$ に対して $x_j=0$ が成り立ち,$c_i=1$ となります.
一方,少なくとも1つの選択された部分集合が $i$ を含む場合,$i\in S$ であるある $j$ に対して $x_j=1$ となり,因子 $\bar{x}_j$ が0になるため $c_i=0$ となります.
したがって,次の**制約**はすべての要素が被覆されているときかつそのときに限り0になります：
$$
\begin{aligned}
\text{constraint} &=\sum_{i=0}^{n-1}c_i
\end{aligned}
$$
**目的関数**は選択された部分集合の総重みを最小化することです：
$$
\begin{aligned}
\text{objective} &=\sum_{j=0}^{m-1}w_jx_j
\end{aligned}
$$
重み付き最小集合被覆問題のHUBO目的関数を次のように構築できます：
$$
\begin{aligned}
f &= \text{objective}+P\times\text{constraint},
\end{aligned}
$$
ここで $P$ は実行可能性を目的関数より優先するための十分大きな正の定数です.
## 最小集合被覆問題のPyQBPPプログラム
以下のPyQBPPプログラムは,$n=10$ 個の要素と $m=8$ 個の部分集合を持つ重み付き最小集合被覆インスタンスのHUBO式を構築します：
```{literalinclude} /../programFiles/pythonPrograms/example/real/set-cover-program1.py
:language: python
:caption: set-cover-program1.py
```
このプログラムは $m=8$ 個の**バイナリ変数**の配列 **`x`** と,$n=10$ 個の**式**のリスト **`c`** を定義しています.
各式 `c[j]` は要素 $j\in U$ に対応し,1で初期化されます.
各部分集合 $S_i$ と各要素 $j\in S_i$ に対して,`c[j]` に `~x[i]` を乗じます.
その結果,少なくとも1つの選択された部分集合が要素 `j` を被覆する場合 `c[j]` は0になり,そうでない場合は1のままです.
**`constraint`** は `c` のすべてのエントリの和として定義され,すべての要素が被覆されているときかつそのときに限り0になります.
重み付き **`objective`** は `cost[i] * x[i]` の総和として定義されます.
これらをHUBO式に結合します：
$$
\begin{aligned}
f &= \text{objective} + 1000\times\text{constraint},
\end{aligned}
$$
ここでペナルティ定数 1000 は実行可能性を優先するために十分大きく選ばれています.
次に,Exhaustive Solver を用いて最適解 `sol` を求めます.
プログラムは `objective` と `constraint` の値を出力し,最後に選択されたすべての部分集合を一覧表示します.例えば,出力は以下のようになります：
```{include} /../programFiles/markDown/example/real/set-cover.md
:start-after:
:end-before:
```
この出力は,総コスト11の実行可能な集合被覆が得られたことを示しています.
## 最小集合被覆問題のQUBO定式化
上記のHUBO定式化は3次以上の項を含む場合があり,必ずしもQUBO式ではありません.
QUBO定式化を得るために,被覆制約を書き換えます.
各要素 $i\in U$ に対して次を定義します：
$$
\begin{aligned}
c_i &=\sum_{j: i\in S_j} x_j && (0\leq i\leq n-1)
\end{aligned}
$$
$c_i\geq 1$ であれば,少なくとも1つの選択された部分集合 $S_j$ が $i$ を被覆しています.
$c_i=0$ であれば,選択された部分集合のいずれも $i$ を被覆していません.
したがって,被覆制約をPyQBPPスタイルで次のように表現できます：
$$
\begin{aligned}
\text{constraint} &= \sum_{i=0}^{n-1} (c_i\geq 1)
\end{aligned}
$$
この制約はすべての要素が被覆されているときかつそのときに限り最小値0をとります.
この定式化に基づいて,PyQBPPプログラムを次のように修正できます：
```{include} /../programFiles/markDown/example/real/set-cover.md
:start-after:
:end-before:
```
このプログラムでは,すべての `j` に対して制約式 `(1 <= c[j]) & (qbpp.same <= m)` が作成され,その和が `constraint` に格納されます.
> **注釈**
> 式 `(1 <= c[j]) & (qbpp.same <= m)` は内部的に補助バイナリ変数を導入する場合があります.
> その結果,最終的な式はQUBOソルバーで扱うことができ,
> 被覆制約の意味は保持されます.
この修正により,プログラムはHUBO版と同じ最適解を生成します.
:::