競プロ解説
yukicoder Advent Calendar Contest 2020 の 12/03 出題問題です。
教育的問題除く ★4 初 AC！(★3.5 の AC が無いのは内緒) ちなみに 16 番目の AC でした。時間はかかったけれど、高難易度の問題をじっくり攻略するのは楽しいです。
おことわりですが、問題を解いた後ぼーっとしながら思考をそのまま書き連ねているので、解説の体を成していないかもしれません(ごめんなさい)。「考察」の内容は解説というよりは私の思考手順をなるべく細かく文章にしたものです。解説記事については、「私と同じ知識を有する人が同じ問題が全く分からなかった際に見て思考を追える文章」をモットーにしているので、いささか回りくどいかもしれません。その代わり、「解法」パートは簡潔に解き方をまとめようと思うので、どうかご容赦ください。
解説をどれくらいの細かさで書くかは本当に人々の思想だと思うんですけれど(ABC の解説を見ているとよく分かります……)、どうしたらいいんでしょうか……。
問題リンク
https://yukicoder.me/problems/no/1306
問題概要
インタラクティブ数当てゲーム。
$\{N,\ N+1,\ \dots ,\ N^2 -1\}$ をちょうど $1$ つずつ含む順列 $A$ があります。この順列を以下のクエリを高々 $1.5\times(N^2-N)$ 回行うことで特定してください。
? i j- $p=\lfloor A_i/N\rfloor-\lfloor A_j/N\rfloor$ とする。つまり、$A_i,\ A_j$ の $N$ の位の差。
- $q=\lfloor A_i%N\rfloor-\lfloor A_j%N\rfloor$ とする。つまり、$A_i,\ A_j$ の $1$ の位の差。
- もし $p\lt q$ なら $p,\ q$ を swap する。
- $p,\ q$ が返される。
数列を特定したら、! に続けて数列を出力してください。
ただし、出力したクエリによって完全に数列を特定できることができない状態で数列を答えても AC とはなりません(adaptive なジャッジ)。
制約
$2\le N\le 50$
…yukicoder Advent Calendar Contest 2020 の 12/02 出題問題です。
今気付いたんですが、これ yukicoder の記念すべき第 300 回目のコンテストらしいですね。
問題リンク
https://yukicoder.me/problems/no/1305
問題概要
太郎君を呼ぶためにあなたは以下のうちのどちらかの行動をします。
- 噂をする。$1$ 分後に太郎君は $1/p$ の確率で来る。そうでない確率 $(p-1)/p$ のときは再度どちらかの行動をする。
- 電話をして呼び出す。太郎君は $q$ 分後に必ず来る。
太郎君が来るまでの時間の期待値の最小値を求めてください。
制約
$1\le p,\ q\le 10^{9}$
入力は整数
大爆死。反省を込めて解説ブログを書きます。
問題リンク
https://codeforces.com/contest/1455/problem/D
問題概要
非負整数からなる数列 ${a_i}$ および非負整数 $x$ が与えられます。
$a_{i}>x$ である $a_{i},\ x$ を swap することを任意の回数できます。$a$ を広義単調増加にするためには最小で何回の操作を行えばいいでしょうか。
制約
$1\le t\le 500$ (テストケース数)
$1\le n\le 500$
$0\le x,\ a_i\le 500$
これ E よりも簡単じゃないですか？
問題リンク
https://codeforces.com/contest/1454/problem/F
問題概要
$n$ 要素からなる数列 $a$ があります。$a$ を $1$ 以上の要素からなる $3$ つの部分列に分けます。
最初の部分列の最大値、真ん中の部分列の最小値、最後の部分列の最大値が全て等しくなるような分け方は存在しますか。存在するときはその分け方も出力してください。
制約
$1\le t\le 2\times 10^{4}$ (テストケース数)
$3\le n\le 2\times 10^{5}$
$1\le a_{i} \le 10^{9}$
$\sum{n}\le 2\times 10^{5}$
Div. 3 全完しようと思ったらこの問題に阻まれてしまいました。どう考えても不可能だと思ってたけど、よくよく見たらなもりグラフという制約を見逃していました。恥ずかしい。
問題リンク
https://codeforces.com/contest/1454/problem/E
問題概要
自己ループや多重辺のない $n$ 頂点 $n$ 辺の連結グラフ(つまり、なもりグラフ1)が与えられます。このグラフに含まれる長さが $1$ 以上の単純パスの数を求めてください。ただし、逆順にたどっただけのパスは同じものとみなします。
制約
$1\le t\le 2\times 10^{4}$ (テストケース数)
$3\le n\le 2\times 10^{5}$
$\sum{n}\le 2\times 10^{5}$
ABC184-F Programming Contest を題材に、典型アルゴリズムである半分全列挙について詳しく解説します。実装の細かい部分まで解説します。
また、半分全列挙の高速化 (今回は主に $\log$ を取る部分について) についても掘り下げていきます。
問題リンク
https://atcoder.jp/contests/abc184/tasks/abc184_f
問題概要
$N$ 問の問題があります。$i$ 番目の問題は解くのに $A_i$ 分かかります。
この中からいくつかの問題を選んで解くのにかかる時間の総和のうち、$T$ 分以下での最大値を求めてください。
制約
- $1\le N\le 40$
- $1\le T\le 10^{9}$
- $1\le A_i\le 10^{9}$
この問題だけどうして問題名の最初が英小文字なのか気になってしまい夜も眠れません。
問題リンク
https://atcoder.jp/contests/abc184/tasks/abc184_d
問題概要
袋の中に金貨が $A$ 枚、銀貨が $B$ 枚、銅貨が $C$ 枚入っています。
袋の中から硬貨をランダムに選び、それと同じ種類の硬貨をもう $1$ 枚入れるのをいずれかの種類の硬貨が $100$ 枚になるまで繰り返します。
操作回数の期待値を求めてください。
制約
$0\le A,\ B,\ C\le 99$
$A+B+C\ge 1$
この問題がこのセットで最難……。
問題リンク
https://atcoder.jp/contests/abc184/tasks/abc184_c
問題概要
斜めにどこまででも進め、また マンハッタン距離 が $3$ 以下である場所に進める駒「超竜馬」があります。
$(r_{1},\ c_{1})$ から $(r_{2},\ c_{2})$ へ動くのに必要な最小手数を求めてください。
制約
$1\le r_{1},\ c_{1},\ r_{2},\ c_{2}\le 10^{9}$
…数列を当てる系のインタラクティブとても好きだし得意。この前の JOI の数当てもそうだったけど、こういう問題を考えるのがとても楽しいと思えます。
問題リンク
E1 (Easy Version): https://codeforces.com/contest/1451/problem/E1
E2 (Hard Version): https://codeforces.com/contest/1451/problem/E2
問題概要
$n$ 要素からなる数列 $a$ を当てるインタラクティブ問題。解答者はプログラムの中で以下の質問をすることができます。
AND i j: $a_{i}$ と $a_{j}$ の AND を質問する。OR i j: $a_{i}$ と $a_{j}$ の OR を質問する。XOR i j: $a_{i}$ と $a_{j}$ の XOR を質問する。
規定の回数以内の質問で元の数列を当ててください。
制約
$4\le n\le 2^{16}$
$n$ は $2$ の冪である
Easy: 質問の回数は $n+2$ 回以内
Hard: 質問の回数は $n+1$ 回以内
同じ日の ARC で -55 もレート溶かしたのに同じ日のこどふぉでレート超盛りました。Codeforces は調子いいのに、AtCoder の下振れが酷いです。助けて。
問題リンク
https://codeforces.com/contest/1451/problem/D
問題概要
$x-y$ 座標上の円 $x^{2}+y^{2}=d^{2}$ があります。この円の中でマスを動かすゲームをします。
マスは最初 $(0,\ 0)$ にあり、ふたりはお互いのターンで $x,\ y$ 座標どちらかの正の向きにちょうど $k$ だけ進めます。円の外に出たら負けです。勝者は先手か後手か求めてください。
制約
$1\le d \le 10^{5}$
$1\le k \le 10^{5}$