2019年6月9日に行われたAtCoder Beginner Contest 129のPython3 での実装例です
A - Airplane
使用テクニック: ソート (sort
)
入力を昇順でソートし、値の小さい2つを足したものを答えます。
B - Balance
使用テクニック: メモ化
グループの分割位置を全て試し、最小となる答えをメモしておきます。
C - Typical Stairs
使用テクニック: 動的計画法(DP)
方針
階段の上り方として1段先と2段先のどちらにも進めるため、 段目の階段に到達する移動方法は、
段目に到達する方法と
段目に到達する方法の和となります。ただし、
段目の階段が壊れている場合、その階段を使うことはできないためこの階段に到達する方法は
となります。
よって、壊れている階段の情報をリストに保存しておき、 段目の階段が壊れているかどうかで場合分け行います。
実装
注意点として、 段目の階段に上るときに
段前の階段到達方法を参照しようとしても
段目となってしまい参照範囲外となってしまいます。そこで、初めから
段目にいると考え、
段目に到達する方法の数を求めるものとします。この場合、壊れている階段の段数が入力から
段上になることに注意してください(10行目)。
D - Lamp
使用テクニック: 動的計画法(DP), numpy.ndarray
方針
愚直に各マスについて行と列方向の連続マスを数えると計算量が となり、時間内に計算を終わらせることができません。
そこで のグリッドを4個用意し、それぞれ上・下・左・右の4方向の端から障害物のないマスが何マス連続しているかを行または列ごとに数えます。障害物があった場合、そこでカウントをリセットしてまた1から数えなおします。
具体例として、次のような グリッドを考えます。この場合、 座標
が照らすことのできるマスを最大化し、その答えは
になります。
まず、このグリッドを上・下、左・右の端からカウントを行うと次のようになります。
そして、上・下のグリッドを足し合わせ、障害物のないマスから を引くと列方向の連続マス数を求めることができます。同様の操作を左・右のグリッドに行うと、行方向の連続マス数を求めることができます。
最後に行方向と列方向の連続マス数を足して障害物のないマスから を引くと、各マスの行・列方向の連続マス数を求めることができます。この行列の最大値が求める答えとなります。
実装
入力されるグリッドを障害物のないマスを 、障害物の有るマスを
とした行列で保持します。(8-12 行目)
上・下・左・右の連続マスを数えるための4つの行列を用意します。この時、初めの行または列を数えるために、1行または1列を追加しておきます。(13-16 行目)
4つの行列について、各行・列の値は前の行・列に を加えた値になりますが、障害物がある場合はカウントをリセットするために
を掛けます。(18-28 行目)
E - Sum Equals Xor
使用テクニック: 動的計画法(DP), xor
方針
非負整数 が
となるためには、2進数表記した際の
桁目を
とした際に
の組合せが
のどれかである必要があります。
また、 となる
の組合せを考えます。
の上位桁から見ていき、
の上から
桁目を
とします。
であったときに、
では
であり、
となるような
の組合せであれば、
以降の桁が何であっても
となり、条件を満たすことが確定します。
一方、
となるような
の組合せであれば、
桁以降の選択によって
となる可能性があります。
以上を踏まえて、 の
桁目まで条件を満たすことが確定した組合せの数を
, 未確定の組合せの数を
とすると以下の漸化式が成立します。
の場合、
条件を満たしていることが確定している組み合わせでは 桁目として
のどれを選んでも良いため
となります。
一方、条件を満たすことが未確定である場合、 桁目としては
のパターンでのみ
を満たす可能性が残ります。よって、
となります。
の場合、
に含まれる組合せの
桁目が
となれば、その組み合わせは
となることが確定します。よって、
となります。
同様に、 に含まれる組合せの
桁目が
であれば、その組み合わせは
となる可能性が残ります。よって、
となります。
以上を の最後の桁まで繰り返すことで答えを求めることができます。
を二進数表記した際の桁数を
とすると、この実装の計算量は
となります。
実装
F - Takahashi's Basics in Education and Learning
使用テクニック: 内積
方針
方針は 公式解説 通りになります。
ポイントとしては、等差数列を連結した整数を単純な行列の内積で表現することです。等差数列の 番目までの要素を連結した整数を
、次に連結される等差数列の要素を
、等差数列の公差を
、連結される等差数列の桁数を
とすると次の内積を用いた漸化式が成立します。
問題文の制約から等差数列の要素は 未満であるため 、桁数が
である等差数列の要素数を
とすると次の式が成立します。
ここで、 であり、
は等差数列の初項
となります。
実装
はじめは行列計算ということで numpy
を使った実装を試しましたが、オーバーフローを解消することができなかったため、自分で内積と剰余を行う関数を作成しました。 (3-15 行目)