【競技プログラミング】中国人郵便配達問題をやってみた【組合せ最適化】

# 1.初めに
・アルゴリズムを学ぶために、競技プログラミングを始めました。
・AOJのコースをやっていくので、その備忘録を残します。

https://qiita.com/kindamu24005/private/3b6687136838c16caee6

・前回は巡回セールスマン問題を解いたので、今回は<B>「中国人郵便配達問題」</B>を解いていきます。

# 2.中国人郵便配達問題

https://onlinejudge.u-aizu.ac.jp/courses/library/7/DPL/2/DPL_2_B

## 2.1問題
重み付き<B>無向</B>グラフ $G(V,E)$ について、以下の条件を満たす最短経路の距離を求めて下さい：

- ある頂点から出発し、出発点へ戻る閉路である。
- 各<B>辺</B>をちょうど１度通る。

### 入力
$|V|$ , $|E|$ はそれぞれグラフ $G$ の頂点の数と辺の数を示す。グラフ $G$ の頂点にはそれぞれ $0, 1, ..., |V|-1$ の番号が付けられている。

$s_i$, $t_i$ はグラフ $G$ の $i$ 番目の辺が結ぶ２つの頂点を表す<B>（無向）</B>。$d_i$ は $s_i$ と $t_i$ の間の距離　（$i$ 番目の辺の重み）である。グラフ $G$ には多重辺が含まれる場合がある。

### 出力
最短経路の距離を1行に出力する。



### 制約
- $2 ≤ |V| ≤ 15$
- $0 ≤ |E| ≤ 1,000$
- $0 ≤ d_i ≤ 1,000$
- $s_i ≠ t_i$
- グラフ$G$ は連結である


# 3. 問題の考え方
・中国人郵便配達問題は、無効グラフの図が<B>「一筆書きで描ける場合」</B>と<B>「一筆書きで描けない場合」</B>で解法が変わります。

## 3.1. 一筆書きで描ける場合

・一筆書きで描ける場合は<B>「各辺の総和」</B>が答えとなります。(<B>各辺をちょうど一度通る</B>という条件より)

![中国人郵便配達問題.001.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/d41dbd46-4bbb-81ec-8cd9-2fb73eb331f3.jpeg)


・下の入力例で考えてみます。

```
4 4
0 1 1
0 2 2
1 3 3
2 3 4
```
　　　　　　 　　　　　　 　　　　　　　　　 ↓　つまり
```math
|V|=4,|E|=4
\\
\\
s,t,d\\
0,1,1\\
0,2,2\\
1,3,3\\
2,3,4\\
(d:sからtまでの距離)
```

・これを図で書いてみます。
![中国人郵便配達問題.002.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/e5aeb9c9-9cc1-24dd-a658-aa8158e15f86.jpeg)


・一筆書きで描ける場合は非常に簡単なので、次の一筆書きで描けない場合に全部フォーカスします。


## 3.2. 一筆書きで描けない場合

・一筆書きで描ける場合は<B>「各辺の総和」+「次数が奇数の頂点で作成した完全グラフにおける完全マッチングの最小経路」←??????????????</B>が答えとなります。

・<B>「次数が奇数の頂点で作成した完全グラフにおける完全マッチングの最小経路」</B>が意味がわからないので、一つずつみていきます。

・まず、<B>「次数が奇数の頂点」</B>を取り出します。

### 3.2.1. 次数って何？
#### <font color="red"><B>頂点に接合されている辺の数</B></font>

![中国人郵便配達問題.003.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/a7e6ffbb-63cd-fa58-dd0b-31d621937c77.jpeg)

・取り出した<B>「次数が奇数の頂点」</B>を使って<B>「完全グラフ」</B>を作ります。

### 3.2.2. 完全グラフって何？
#### <font color="red"><B>ある頂点が、他の全ての頂点と辺で繋がっているグラフ</B></font>

![中国人郵便配達問題.004.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/244f66cb-d55e-2252-ba71-074db449431d.jpeg)

・作った<B>「完全グラフ」</B>から、経路の合計が最小となる<B>「完全マッチング」</B>を見つけます。

・この<font color="red"><B>完全マッチングの最小経路</B></font>と<font color="red"><B>元のグラフの各辺の総和</B></font>が<B>求める答え</B>となリます。

### 3.2.3. マッチングって何？
#### <font color="red"><B>同じ頂点を共有しないエッジ(辺)の集合</B></font>

・言葉よりも図を見た方が理解できると思われます。↓

![中国人郵便配達問題.005.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/eedd23e3-f34b-cfa4-8b7e-c08d097fbfd2.jpeg)

### 3.2.4. 完全マッチングって何？
#### <font color="red"><B>全ての頂点を含むマッチング</B></font>

![中国人郵便配達問題.006.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/596f25b7-0841-9790-f5d5-abf7c6164458.jpeg)


### 3.2.5. 一筆書きで描けない場合の解き方まとめ

:::note
<B>「次数が奇数の頂点を取り出す」</B>
　　　　　　 ↓　
<B>「取り出した頂点で完全グラフを作る」</B>
　　　　　　 ↓　
<B>「作った完全グラフで経路が最小となる完全マッチングを取り出す」</B>
　　　　　　 ↓　
<B>「元の図の全辺の総和+完全マッチングの最小経路を求める」</B>

・この三つの手順が、<B>「一筆書きで描けない場合」</B>の答えの導き方です!!!!!!!!
:::

# 4. 例題
・下の入力例を元に考えてみます。
```
12 14
0 1 3
0 5 1
1 2 4
1 6 1
2 3 9
3 4 7
4 5 5
6 7 3
6 10 10
7 8 6
8 9 5
9 10 7
10 11 12
2 4 99
```
　　　　　　 　　　　　　 　　　　　　　　　 ↓　つまり
```math
|V|=12,|E|=14
\\
\\
s,t,d\\
0 ,1 ,3\\
0 ,5 ,1\\
1 ,2 ,4\\
1 ,6 ,1\\
2 ,3 ,9\\
3 ,4 ,7\\
4 ,5 ,5\\
6 ,7 ,3\\
6 ,10 ,10\\
7 ,8 ,6\\
8 ,9 ,5\\
9 ,10 ,7\\
10 ,11 ,12\\
2 ,4 ,99\\
(d:sからtまでの距離)
```

・これを図で描いてみます。(普通は書きませんが、分かりやすさを出すために描きます)

![中国人郵便配達問題.007.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/880ecfeb-00f0-2ae0-7d27-edd023e36779.jpeg)

・このグラフは一筆書きでは描けないので、以下の手順にしたがって解いていきます。

:::note
<B>「次数が奇数の頂点を取り出す」</B>
　　　　　　 ↓　
<B>「取り出した頂点で完全グラフを作る」</B>
　　　　　　 ↓　
<B>「作った完全グラフで経路が最小となる完全マッチングを取り出す」</B>
　　　　　　 ↓　
<B>「元の図の全辺の総和+完全マッチングの最小経路を求める」</B>
:::

## 4.1. 次数が奇数の頂点を取り出す

・このグラフでは<B>「次数が奇数の頂点」</B>は<B>「1,2,4,6,10,11」</B>の六つです。

![中国人郵便配達問題.008.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/283da9dd-06de-e6d9-2de1-80a91dd9a30f.jpeg)

## 4.2. 取り出した頂点で完全グラフを作る

・頂点が六つの完全グラフは以下のようになります。

![中国人郵便配達問題.009.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/edf2d524-db56-62d9-41a7-083666b27d65.jpeg)

・作成した完全グラフの各経路の距離は、「元のグラフの頂点間の最短経路」となります。

![中国人郵便配達問題.010.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/694fa2b7-b32b-539e-bfe0-f324bd56d1f5.jpeg)
![中国人郵便配達問題.011.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/e35ae4f7-4f5f-0606-4290-f66f360f462f.jpeg)

## 4.3. 作った完全グラフで経路が最小となる完全マッチングを取り出す

・経路が最小の完全マッチングは三通りあります。

・最小経路は26です。

![中国人郵便配達問題.012.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/83681b6a-a163-8c55-3005-b815e12c95fd.jpeg)

## 4.4. 全辺の総和+完全マッチングの最小経路を求める

・元の図の全辺の総和+完全マッチングの最小経路=172+26=<font color="red"><B>198</font></B>が求める答えとなります。

# ５.　実装

```python
# 入力値取得
V,E=map(int,input().split())

# 隣接行列Aの作成
inf=float("inf")
A=[[inf]*V for _ in range(V)]

# 頂点の次数リストDの作成
D=[0]*V

# 隣接行列Aの要素を埋める。次数リストDを埋める。各辺の総和ansを求める
ans=0
for _ in range(E):
    s,t,d=map(int,input().split())
    A[s][t]=min(A[s][t],d)
    A[t][s]=min(A[t][s],d)
    D[s]+=1
    D[t]+=1
    ans+=d
    
for i in range(V):
    A[i][i]=0
for k in range(V):
    for i in range(V):
        for j in range(V):
            A[i][j]=min(A[i][j],A[i][k]+A[k][j])    
      
# 次数が奇数の頂点をリスト化
odd_lst = [x for x in range(V) if D[x] % 2]
    
# 完全マッチングの最小経路を求める
n = len(odd_lst)
dp = [inf]*(2**n)
dp[0] = 0
for i in range(2**n):
    for j1 in range(n):
        for j2 in range(n):
            if not i>>j1 & 1 and not i>>j2 & 1 and not j1 == j2 and not A[odd_lst[j1]][odd_lst[j2]] == inf:
                new_i = i|(1<<j1)|(1<<j2)
                dp[new_i] = min(dp[new_i], dp[i]+A[odd_lst[j1]][odd_lst[j2]])
                     
print(dp[-1]+ans)
```

## 5.1. 隣接行列Aについて

・経路を求める際に、<B>「どの頂点とどの頂点が辺で繋がっていて、その距離はどのくらいあるのか」</B>を明確にしておく必要があります。

・例題で用いた入力例で見てみると下記のような隣接行列Aが作れます。(空欄はinfで埋められています)

|i\j  |0  |1  |2  |3  |4|5|6|7|8|9|10|11|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
|**0**  | inf | 3 | inf | inf |inf|1|inf|inf|inf|inf|inf|inf|
|**1**  | 3 | | 4 | |||1||||||
|**2**  |  | 4 |  | 9 |99||||||||
|**3**  | || 9 | |7||||||||
|**4**  ||| 99 | 7 ||5|||||||
|**5**  | 1 ||||5||||||||
|**6**  || 1 ||||||3|||10||
|**7**  ||| ||||3||6||||
|**8**  |  || |||||6||5|||
|**9**  ||| | |||||5||7||
|**10**  | || ||||10|||7||12|
|**11**  |  |  | | |||||||12||

・無効グラフなので、隣接行列Aは<B>対象行列</B>となります。

・上の隣接行列について、さらに<B>各頂点の最短距離で要素を更新</B>していきます。

|i\j  |0  |1  |2  |3  |4|5|6|7|8|9|10|11|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
|**0**  | 0 | 3 | 7 | 13 |6|1|4|7|13|18|14|26|
|**1**  | 3 | 0| 4 |13|9|4|1|4|10|15|11|23|
|**2**  | 7 | 4 | 0 | 9 |13|8|5|8|14| 19| 15| 27|
|**3**  |13|13| 9| 0| 7| 12| 14| 17| 23| 28| 24| 36|
|**4**  |6| 9| 13| 7| 0| 5| 10| 13| 19| 24| 20| 32|
|**5**  |1| 4| 8| 12| 5| 0| 5| 8| 14| 19| 15| 27|
|**6**  |4| 1| 5| 14| 10| 5| 0| 3| 9| 14| 10| 22|
|**7**  |7| 4| 8| 17| 13| 8| 3| 0| 6| 11| 13| 25|
|**8**  |13| 10| 14| 23| 19| 14| 9| 6| 0| 5| 12| 24|
|**9**  |18| 15| 19| 28| 24| 19| 14| 11| 5| 0| 7| 19|
|**10**  |14| 11| 15| 24| 20| 15| 10| 13| 12| 7| 0| 12|
|**11**  |26| 23| 27| 36| 32| 27| 22| 25| 24| 19| 12| 0|

## 5.2. 次数リストDと次数が奇数の頂点リストKについて
・各頂点の次数を表したリストDは以下のようになっています。

|頂点番号  |0  |1  |2  |3  |4|5|6|7|8|9|10|11|
|---|---|---|---|---|---|---|---|---|---|---|---|---|
|**次数**  |2| 3| 3| 2| 3| 2| 3| 2| 2| 2| 3| 1|

・次数が奇数の頂点は<B>「1,2,4,6,10,11」</B>となっています。

・なので次数が奇数の頂点リストKは以下のようになっています。

|インデックス  |0  |1  |2  |3  |4|5|
|---|---|---|---|---|---|---|
|次数が奇数の頂点 |1|2|4|6|10|11|

## 5.3. 完全マッチングの最小経路について

### 5.3.1. dp表の作成

https://qiita.com/kindamu24005/private/3b6687136838c16caee6

・前回の巡回セールスマン問題と似た感じで、「bit列」と「頂点の集合」を対応させて以下のようなdp表を作ります。

|(次数が奇数の)頂点集合 i  |0  |1  |2  |3  |4|5|･･･|63|
|---|---|---|---|---|---|---|---|---|
|<B>(次数が奇数の)頂点集合　bit列</B> |000000|000001|000010|000011|000100|000101|･･･|111111|
|<B>dp[new_i]</B> |0|inf|inf|4|inf|9|･･･|26|

・dp表の埋め方は以下のコードの通りです。

```python
for i in range(2**n):
    for j1 in range(n):
        for j2 in range(n):
            if not i>>j1 & 1 and not i>>j2 & 1 and not j1 == j2 and not A[odd_lst[j1]][odd_lst[j2]] == inf:
                new_i = i|(1<<j1)|(1<<j2)
                dp[new_i] = min(dp[new_i], dp[i]+A[odd_lst[j1]][odd_lst[j2]])
```

:::note
i：次数が奇数の頂点集合
j1：移動後の頂点のインデックス
j2：移動前の頂点のインデックス

not i>>j1 & 1：移動後の頂点のインデックスj1は次数が奇数の頂点集合iに含まれない
not i>>j2 & 1：移動前の頂点のインデックスj2は次数が奇数の頂点集合iに含まれない

|インデックス  |0  |1  |2  |3  |4|5|
|---|---|---|---|---|---|---|
|次数が奇数の頂点 |1|2|4|6|10|11|
:::

### 5.3.2. フラグ管理

・ビット列の計算ではフラグ管理というものがあります。
![中国人郵便配達問題.013.jpeg](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2658998/ec458e0c-04b7-a9c3-ef03-edd242e8eed9.jpeg)


### 5.3.3. new_i = i|(1<<j1)|(1<<j2)について

・new_i=i|(1<<j1)|(1<<j2)は、「iのj1桁目とj2桁目にフラグを立てたもの」という意味になります。

・例えば$i=0、j1=0、j2=2$の場合、<B>「ビット列000000の0桁目と2桁目にフラグを立てる」</B>という意味になります。

・つまり、<B>new_i=0000101</B>となります。

・つまり、`dp[new_i] = min(dp[new_i], dp[i]+A[odd_lst[j1]][odd_lst[j2]])`で
`dp[i]=0`、`A[odd_lst[j1]][odd_lst[j2]]=9`なので、`dp[new_i]=9`となります。

|(次数が奇数の)頂点集合 i  |0  |1  |2  |3  |4|5|･･･|63|
|---|---|---|---|---|---|---|---|---|
|<B>(次数が奇数の)頂点集合　bit列</B> |000000|000001|000010|000011|000100|000101|･･･|111111|
|<B>dp[new_i]</B> |0|inf|inf|4|inf|<font color=red><B>9|･･･|inf|

・その様にしてdp表を埋めると、 $i=63(ビット列111111)$のとき、dp[new_i]=26となります。

|(次数が奇数の)頂点集合 i  |0  |1  |2  |3  |4|5|･･･|63|
|---|---|---|---|---|---|---|---|---|
|<B>(次数が奇数の)頂点集合　bit列</B> |000000|000001|000010|000011|000100|000101|･･･|111111|
|<B>dp[new_i]</B> |0|inf|inf|4|inf|9|･･･|<font color=red><B>26|