パナソニックグループ プログラミングコンテスト2024（AtCoder Beginner Contest 354）G問題メモ
G - Select Strings
問題
- N 個の文字列 Si とスコア Ai が与えられる
- 1 以上 N 以下の整数からなる「よい集合」を、以下で定義する
- 集合に含まれるどの2つの要素 (i,j) に対しても、Si は Sj の部分文字列でない
- 「よい集合」T に対する ∑i∈TAi としてあり得る最大値を求めよ
- 1≤N≤100
- ∑|Si|≤5000
- 1≤Ai≤109
解法1
やりたいことは、同時に選べない i,j 間に辺を張ったグラフにおける 重み付き最大独立集合だが、一般的な解法はNP困難（NP完全?）とされている。
今回は、辺を有向（含む方→含まれる方）にした場合、「DAGである」
「i→j,j→k に辺があれば、i→k にも必ず辺がある（推移律）」という性質がある。
この場合は、Dilworthの定理を使えば解ける。
※ Si に全く同じ文字列が含まれる場合はDAGとは限らなくなるが、 Si が同じ同士では Ai が最大のものを残して削除するなどの前処理をすればよい。
Dilworthの定理によると、
- 推移律を満たすDAG1)では、「最小パス被覆＝最大独立集合」である
- 最小パス被覆: 全頂点がいずれかのパスに含まれるよう、グラフをパスの集合に分割する場合、その最小個数
- 最大独立集合: どの2頂点も辺で隣接しないような頂点集合の選び方で、個数最大のもの
最大独立集合はNP完全だが、最小パス被覆は二部グラフの最大マッチング問題に変換できて解ける。
- グラフをパスに分割するとは、「各頂点の入次数・出次数が1を超えないように、辺を選ぶ」といえる
- 辺を k 個選んだ場合、どのような選び方であろうとパスの本数は N−k 本である
- よって、「パスの個数の最小化＝選ぶ辺の個数の最大化」と言い換えられる
- 出る側の頂点を左、入る側の頂点を右に置いた二部マッチングで解ける
今回の場合は単なる最大独立集合ではなく、Ai による重み付きだが、 これは二部マッチングを最大流で解くときの辺の容量を調整すればよい。
- 始点 S、終点 T、出る側頂点 1,...,N、入る側頂点 1′,...,N′ の 2N+2 個の頂点を用意
- S→i に容量 Ai の辺
- i′→T に容量 Ai′ の辺
- Si が Sj を含んでいれば i→j′ に容量 ∞ の辺
これで、∑Ai−MaxFlow(S→T) が答えとなる。
解法2
0-1整数計画問題として扱える。
- 目的: ∑iAiXi を最大化するように、X=(X1,...,XN) を決める
- 制約:
- Xi は0または1
- 「Xi と Xj が同時に1であってはいけない」という制約が何個かある
こういった問題はソルバを使える。
AtCoderのPythonで使えるソルバライブラリには、PuLP、OR-Tools、scipy.optimize、z3-solver などがある。
PuLPで解かせてみたところ、ほとんどは高速に解けるが、2ケースでTLEとなった。
（提出一覧には一部通っている提出もあるが、記事執筆時点では、PuLPで通している提出は時間のかかるケースを例外処理していたりする）
一方、OR-Toolsでは、特に例外処理せずとも全てのケースを高速に（200ms以内で）通すことができた。
また、scipyで通している例も見られた。
具体的に中身で何をやってるか不勉強にして分かっていないのだが、ソルバによっても得手不得手があるらしい。
AtCoderのPuLPで使えるソルバはCBC（COIN-OR Brand-and-Cut）のみだが、
今回はこれで時間がかかってしまうテストケースが含まれていたのかもしれない。
（生成AI使って競プロするのがどうのこうのという話がたまに話題になるが、 中身分かってなくても汎用的に使えてしまうという意味ではソルバも大概だな） 2)
