旅行から帰ってきた。旅行は楽しかった。

---

MaixDuinoをちょっといじってみた。ESP32とK210はそれぞれ独立したプログラムを動かせるのかと思ったが、開発元的には「ESP32はWiFiモジュールとしての働きに専念させてK210がシステム全体を取り仕切る」というのを想定しているように見受けられた。Flashを焼けばそれぞれ独立したプログラムを動かすことも出来はしそうだが、あえてそこに逆らう必要も感じない。ESP32に専用のファームウェアを焼けば、K210側から普通にペリフェラルか何かのように扱えるのだ。若干ESP32の性能を無駄遣いしている気がしないではないが。

とりあえずWiFiにつないでネットから取ってきた情報を表示するようなサンプルプログラムが動いた。この調子でいろいろやってみよう。

---

今日解いた競プロの問題。

CODE FESTIVAL 2018 Final-C: ある一つのプランの料金をグラフにすると、$B_i + \max(0, x-A_i)$という形の1か所だけ折れ曲がったグラフになる。求める答えはこれらすべてのグラフのminである。

問題文を念頭にちょっと考えれば分かるが、なんか斜めの混じった階段みたいな感じになる。／‾という角の部分の位置が$(A_i, B_i)$になる。ということで、あらかじめ$(A_i, B_i)$を$A_i$でソートしておいて、$T_i$がどこの間になるかを二分探索で求めて、直線部分と斜め部分をそれぞれ試してみればよい。