ABC325F 解法 まず,素直に bool 型 dp を考える. \( dp_{i,j,k} := \) 区間 \(i\) まで, センサー 1 を \(j\) 個, センサー 2 を \(k\) 個 で可能か \(\in Bool\) とする. 次に,bool 型 dp の定義域のいくつかを値域に移すことを考える. このとき,\(i,j\) は対象な条件なのでどちらでも良い. 値域に移すものは,何か良い性質を持っていないと,高速化は難しい. 定義域は全探索するので,綺麗な性質である必要が無い. 今回は,\(i,j\) を固定した前提で \(k\) は単調性があるので,値域に持っていくと高速…