POJ NO.3686 The Windy's
お題箱より。蟻本に載っている問題です。
※ライブラリをC++98に対応させる気になれなかったのでACコードはありません。蟻本に載っているのでそちらを…
問題概要
個のおもちゃ工場があり、 個のおもちゃの注文を受けた。おもちゃ を工場 で製造すると の時間がかかる。1つの工場は、1つのおもちゃを製造し始めると終わるまで別のおもちゃの製造を始められない。
時刻 に全ての工場が同時に利用可能になったとして、おもちゃ の製造が完了した時刻を としたときの、 の平均の最小値を求めよ。
制約
解法
要求されているのは製造完了時刻 の平均ですが、合計を最小化することを考え、答えとしては合計を で割って出力すれば良いです。以降、 個のおもちゃの製造完了時刻の合計を「合計コスト」と呼びます。
ある1つの工場 で作るおもちゃの集合とその順番を決めたとします。製造の途中に休みを入れることは損でしかないので、ある1つのおもちゃの製造完了時刻は、自身を含むそれまでに製造したおもちゃの所要時間合計と等しいです。具体的にその工場で作るおもちゃが 個であり、それらの所要時間を製造順に とすると、製造完了時刻の合計は
となりますが、これはまとめ方を変えると
と書くことができます。
これはつまり、その工場で作るおもちゃの所要時間が、後に作るものから順番に 倍、 倍、 倍…という重み付きで合計コストに加算されるということです。
このことから1つの工場 を、以下のように1枠につきおもちゃ1つの製造枠に分けることができます。
- 工場 で最後から 番目に作る枠。おもちゃ を割り当てると の 倍が合計コストに加算される。
- 工場 で最後から 番目に作る枠。おもちゃ を割り当てると の 倍が合計コストに加算される。
- …
- 工場 で最後から 番目に作る枠。おもちゃ を割り当てると の 倍が合計コストに加算される。
これを全ての工場について考えると、結局 個の枠に 個のおもちゃを最大1つずつ割り当てて合計コストを最小化するという問題になります。これは以下のようなグラフで最小費用流問題として解くことができます。
AtCoder Library Practice Contest I - Number of Substrings
お題箱より。
解法
※この問題における文字列 の部分文字列とは、 の連続な部分を取り出した文字列であることに注意してください。慣習的に、「部分列」と書くと連続とは限らない取り出し方、「部分文字列」と書くと連続な取り出し方を指すことが多いです。意味不明ですね。
「相異なる部分文字列の個数」を求めるために、全ての部分文字列の取り方(左端と右端のインデックスの選び方)から、文字列として重複している分の個数を引くことを考えます。
ここで全ての部分文字列の取り方は、「全ての接尾辞を考えて、それぞれについて全ての接頭辞を考える」ことで列挙できます。そして「接尾辞同士の接頭辞がどの程度共通しているか」ということを考えるのにうってつけの手法が存在します。全ての接尾辞を辞書順ソートした結果を示す接尾辞配列(Suffix Array)と、このソート順において隣り合う接尾辞同士の最長共通接頭辞(Longest Common Prefix)の長さを示すLCP配列というものを使います。
これらを求めるアルゴリズム自体は蟻本や様々な記事で解説されているので省略しますが、一例として acabaca
という文字列について計算した接尾辞配列とLCP配列を図に示します。AtCoder Libraryの仕様に合わせ、長さ の文字列の接尾辞配列の長さは 、LCP配列の長さは となるよう定義しています。
このように接尾辞を辞書順ソートしてから共通接頭辞を考えることの利点は、接頭辞が長く共通しているような接尾辞同士が近くに集まることです。具体的には、ソート順で 番目と 番目の接尾辞の先頭 文字が一致している場合、間に存在する 番目の全ての接尾辞において先頭 文字が一致します。
この性質を頭に入れて、重複している「接尾辞の接頭辞」の個数を数えましょう。接尾辞配列において前にあるものから見ていって、今見ている接尾辞と1つ前の接尾辞の間の最長共通接頭辞が 文字であったとします。すると今見ている接尾辞が持つ接頭辞のうち 文字以下であるものは全て登場済みです。そして逆に 文字以上のものは全て未登場であるということも言えます。先ほど確認した性質から、1つ前のものと一致していないのにそれよりも前のものと一致することはあり得ないからです。
つまり各ステップにおいて、ちょうどLCP配列の値と同じ数だけ登場済みの「接尾辞の接頭辞」が見つかります。よって結局、全ての部分文字列の取り方からLCP配列の総和を引くことで答えを求めることができます。
ACコード
AtCoder Libraryを使ったコード例は配布ライブラリ内のドキュメントを参照してください。以下提出では使っていません。
AtCoder Regular Contest 092 C - 2D Plane 2N Points
お題箱より。
以前の自分が解法の正当性を理解するのにすごく悩んだ問題で、印象深いです。
解法
考察
2次元の座標点を扱う際には「平面走査」というテクニックがよく使われます。これは座標点をある一方の座標、例えば 座標でソートして小さい順番に見ていき、もう一方の 座標についてはデータ構造などを用いて処理していくテクニックです。軸に平行な直線をスライドさせて平面全体を走査していくので、Codeforcesなどの英語解説では「scanline algorithm」と書かれたりします。
また赤と青、左端と右端など2種類の要素をペアにする問題では、平面走査や数列の走査と合わせて以下のテクニックがよく使われます。
- 赤い点が登場したら、その点を「ペア待ち点の集合」に入れる。
- 青い点が登場したら、ペア待ち点の中から最適な頂点とペアを作る。
このとき「青い点が登場したときに、その都度(何らかの基準で)最適な赤い点を選んでペアにする」という方法が存在して、かつそれが全体最適であることが証明できる場合、正しい解法として成立します。今回の問題の場合はどうか、考えてみましょう。
まず 座標でソートして小さい順番に見ていった場合、ペアにする2点が赤い点→青い点の順番に登場することが、 座標についての条件を満たす必要十分条件になります。つまり 座標についての条件は自動的に解決し、今後考慮する必要がなくなります。
赤い点が登場したら、その点を「ペア待ち点の集合」に入れます。青い点が登場した時にとり得る選択肢は
- ペア待ちになっている赤い点のどれか1つとペアにする。
- どの赤い点ともペアにしない。
の2通りです。ここでもしペアにする場合は、ペアにできる条件を満たす点の中で最も「今後使いにくい」点を使ってしまうのが最適です。赤い点は 座標が小さいほうがペアにしやすいので、選ぶのは「青い点の 座標よりも小さいもののうち、最も 座標が大きいもの」になります。
一方ペアにできる赤い点が存在するのに「あえてペアにしない」という選択も考えられますが、この選択は絶対に得にはならないことが証明できます。ペアにしないことを選んだ時点で1つペア数を損していて、この赤い点1つを温存したことによって今後2ペア以上のアドバンテージを得られることはないからです。
証明は以下のようにできます。あえてペアにしないことで温存した赤い点を として、その後 を残した場合の最適なペアの作り方を考えます。このペア構成に が使われていれば、そのペアを1つ解消することで を使わないペアの作り方が得られます。また使われていない場合は が無くても同一数のペアが作れます。つまり の有無でその後作られる最適なペア数は高々1つしか変わらないことが示されました。
これまでの考察により、以下のアルゴリズムで最適解が得られることが分かりました。
- まず全ての点を 座標でソートする。
- 点を順番に見ていきながら、以下の処理をする。
- 赤い点 が登場したら、その 座標 を「ペア待ち点の 座標の集合」に入れる。
- 青い点 が登場したら、ペア待ち点の中で「 座標が より小さいものの中で最も大きいもの」を探し、存在するならばペアにする。
実装
実装ですが、実現したい計算量に応じていくつかの方針があります。今回の場合点の個数が 以下かつ座標値も 未満なので、配列などで管理して全部の座標値を見ていく方針で良いです。
を「ペア待ち点の 座標の集合に値 が含まれていたらtrue、そうでなければfalse」である配列とします。まず座標点を 座標で全てソートして順番に見ていきます。赤い点 が登場したら をtrueにします。青い点 が登場したら から下に順番に見ていって、trueであるものが見つかったらペアにする、つまり答えに1加算してその値をfalseにすれば良いです。
今回の問題に関してはこれで が達成できて十分です。もし などで解きたい場合は、C++であれば std::set
などを用いて集合を管理し、「 座標が より小さいものの中で最も大きいもの」を二分探索で探す必要があります。
ACコード
- :Submission #16562002 - AtCoder Regular Contest 092
- :Submission #16562075 - AtCoder Regular Contest 092
この2提出の実行時間だと のほうが長いんですが、そういうこともあります。 が小さいし、std::set
は定数倍が重いので。
Educational Codeforces Round 94 F. x-prime Substrings
自分の解法が非想定解っぽいので書き残しておきます。
問題概要
を正整数とする。 の数字からなる文字列が -primeであることを、以下の2つをともに満たすことと定義する。
- 全ての数字の和が である。
- 任意の連続部分列について、その数字の和は より小さい の約数ではない。
の数字からなる文字列 が与えられる。この からいくつかの文字を取り除くことで、 のどの連続部分列も -primeでないようにしたい。そのために取り除く文字数の最小値を求めよ。
制約
- は からなる
解法
とし、文字列ではなく整数の数列 として解説します。
ある要素を右端とする連続部分列の和として登場する値の集合を考えます。これは以下の図のように列挙することができます。便宜上 も含めておきます。
これらの値のうち考えるべきは 以下の値だけです。この登場する値の集合を、値 を含んでいたら のビットが立つようなビット列で表現します。こうすると、この範囲内に存在する連続部分列の和としてあり得るものは、ビット列において立っている2つのビット同士の距離と見なすことができます。
このようなビット列は 通り考えられますが、その中で、「-primeになるので登場してはいけないNGパターン」がいくつかあります。具体的には ビット目が立っていて、立っているどの2つのビット同士の距離も より小さい の約数ではない場合、そのビット列に対応する連続部分列は -primeなので登場してはいけません。逆に全ての要素について、その要素を右端としたときのビット列がNGパターンではない場合、そのような数列は -primeな連続部分列を持ちません。
ということで、このビット列をキーとしたDPをします。
数列を まで見て、最後に採用した要素を右端とする連続部分列の和として登場する値の集合(ビット列)が であるときの、これまでに削除した文字数の最小値
からの遷移は2通りあります。もし を削除する場合、 が の候補になります。もし を削除せずに繋げる場合、 は「左に 桁だけビットシフトして、 を足して、 で割った余りを取る」という操作をした値に変化します。この変化後の値を として、もしこれがNGパターンでなければ が の候補になります。
このDPを回すと答えが求められる…と言いたいところですが、全体計算量 はちょっと間に合いません。状態を削減する必要があります。
ここで注目するのが という要素の存在です。 という要素を含んだ連続部分列は、 である場合を除いて絶対に -primeになりません。そのため与えられた数列を で分割してパーツごとに独立に解き、それぞれの削除すべき最小文字数を全て足したものを答えとしても良いです。
このときDPの対象となる数列は を含まない前提で考えることができるので、 通りのビット列のうち多くのものは絶対に登場しません。具体的には隣り合うビットが1組でも同時に立っているものは登場しないと考えることができます。この条件を踏まえると、考えるべきビット列は のときでも 通りです。これらの状態だけを扱うDPをすると間に合います。
なお のときは、単に入力に含まれる の個数が答えになります。
ACコード
DDCC 2016 本選 C - 特別講演「括弧列と塗り分け」
お題箱より。
解法
この問題を考えるにあたって重要なのが、正しい括弧列を根付き木と対応づけることです。
それぞれの括弧1組ずつを頂点とみなします。そしてその括弧の1つ外側を囲っている括弧を親とみなすように辺を張ります。これは森になりますが、一番外側に根と対応する見えない括弧があると思うと木になります。このようにすると、それぞれの括弧の中はその頂点以下の部分木と対応します。
まずはこの木をグラフとして作りましょう。 に含まれる括弧の組数を と置きます。根を頂点 とし、括弧に対して左括弧の登場順に頂点 と番号を振ります。スタックを用意し、 を順番に見ていって左括弧があればスタックにその括弧の頂点番号を入れ、右括弧があればスタックから1つ取り出します。このスタックに入れた時に1つ前にある頂点番号が親です。
木を作ってしまえば、木DPができます。以下のように状態を定義します。
- :頂点 以下の部分木に含まれる文字の数
- :頂点 以下の部分木に含まれる文字を塗る方法であって、条件に違反せず、赤の個数が 個であるような塗り方の数
頂点 について考える時には、まず初期条件をセットします。括弧 の塗り方 通りを考えて、、、、 となります。ただし根については括弧がないので 、 です。
それから頂点 の子 それぞれについて、 を にマージしていきます。これは新しい 用の配列を用意して、組 それぞれについて古い と の積を新しい に加算していけば良いです。
このとき についてはその前までにマージ済みの 以下の部分木の頂点数、 については までしか見る必要はありません。これは通称「2乗の木DP」と呼ばれる計算量解析テクニックによって、全体 で動作します。
全ての子のマージが終わったら、「括弧 の内部に含まれる赤の個数 と青の個数 について である」という条件に違反するものを排除します。赤の個数が であれば青の個数は なので、 である について とすれば良いです。根についてはこの処理は行いません。
根を頂点 としていれば、答えは の総和として計算できます。
ACコード
Submission #15997966 - DISCO presents ディスカバリーチャンネル プログラミングコンテスト2016 本選
yukicoder No.1067 #いろいろな色 / Red and Blue and more various colors (Middle)
お題箱より。
No.1067 #いろいろな色 / Red and Blue and more various colors (Middle) - yukicoder
解法
箱を並び替えても答えが変わることはないので、 の昇順に並べておきます。
各箱から玉を1個ずつ取り出し、ある1つの色 の玉がちょうど 個選ばれる場合の数が、どのように計算できるか図示してみましょう。
の昇順に並べたことによって、箱は色 の玉を含まないゾーンと含むゾーンに分かれます。含まないゾーンの取り出し方は の積であり、色 の玉はもちろん 個です。
色 の玉を含むゾーンの取り出し方は以下のDPによって求めることができます。
- 箱 全てに色 の玉が1個ずつ含まれているとき、これらの箱から玉を1個ずつ取り出し、色 の玉がちょうど 個選ばれる場合の数。
この値は、箱 の全てに含まれている色であればどの色でも同じ値になります。つまりクエリで必要な色 全てについて別々に計算する必要がありません。
初期条件は で、後ろから求めていきます。遷移は
- を遷移元とし、箱 から色 の玉を選ぶ。係数 で に遷移。
- を遷移元とし、箱 から色 でない玉を選ぶ。係数 で に遷移。
となります。DPパートの計算量は です。
クエリに答えるには「ある1つの色 の玉がちょうど 個選ばれる場合の数」をたくさんの について求める必要があります。これは以下のように計算することができます。
- まず、箱が色 を含まないゾーンと含むゾーンの境界を二分探索で探す。色 を含む箱の最小のインデックスを とする(存在しない場合は )。
- 色 を含まないゾーンの選び方は なので、事前に累積「積」を計算しておいてそれを参照する。
- 色 を含むゾーンの選び方はDPテーブルを参照する。具体的には である。
これは1つの あたり で計算できます。必要な の個数は なので、ちょっと厳しいですが間に合います。
ACコード
No.1067 #いろいろな色 / Red and Blue and more various colors (Middle) - yukicoder
公式解説では多項式の係数として解説していますが、1次式を掛けた時の係数の計算と今回のDPは全く同じものなので、解法としては同じです。
University of Aizu Programming Contest 2014 (AOJ 1548) Yu-kun Likes a Directed Graph
お題箱より。
解法
重み の負辺を足してできるだけ重み合計が大きい( に近い)負閉路を作りたいので、与えられたDAGについて「1本以上の辺で構成されるパスであって、重み合計が 未満であるもののうち一番大きいものの重み」が分かれば良いです。
ここで であること、さらに元々のDAGにある辺の重みは非負であることに注目します。これらの条件から、最終的に見つけるパスも、その一部となるパスも、重みが 以下のものだけを考えれば良いことが分かります。
よって以下のようなDPテーブルを構成し、 の範囲で計算していけば良いです。
- :1本以上の辺で構成され、頂点 で終わるパスであって、重み合計が となるものが存在するか?(true/false)
トポロジカル順序に基づいて順番に計算していきます。遷移は頂点 から頂点 への重み の辺が存在する時に、
- から始まり で終わるパス: をtrueにする
- 以外から始まり で終わるパス: がtrueである について、 をtrueにする
とすれば良いです。
時間計算量は となり高速な言語ならそのままでも間に合いそうですが、bitsetを用いて高速化することもできます。