2022 ６月6日(月)

久しぶりに日記を書く気になった。というのも一日を無駄にしすぎてそろそろ自分を顧みたいという気持ちになったからだ。

月曜は1~3限まであるが、3限は休講だった。1限は電気電子回路IIでクォーターが変わる今日から始まった。思ってたのと違って内容は理論というよりもデバイスなどの歴史や仕組みを説明するような講義だった。毎回その日の１７時までの課題が出されるようだが対して難しくはなさそうなので授業をまともに聞かなくてもできそう。

２限も今日から弾性力学が始まったのだが余裕で寝過ごしてしまった、非常に幸先が悪い。講義を貯めると一気にやる気を失ってしまうため早いうちに今日の講義の資料には目を通したい。

午後は少しだけARCの問題を考えた、最小の偶文字列を関数で繰り返し生成するときl～rの範囲にある各英小文字の個数は？というような問題だった。考察が少しだけ進んだような気もするし全く進んでない気もする。そのうち飽きてゲームを始めてしまった。今日はゲームを合計２時間ほどやったが、やはり終わった後の虚無感と時間の無駄感は拭えない。課題がたまっていると、それから逃げる先に競プロは当てはまらない。なぜなら頭を使うならいっそ勉強をすすめろという気持ちになるかだ。ゲームのマンネリズム化は否めなくて、惰性でただ続けているような気もする。しかしかのUmnikもSwitchをしているくらいだし、ゲームが絶対的に悪ではない。適度にするには楽しいし気分転換にもなる。なんか新鮮味がないとやはりそういう気持ちになってしまうから違うゲームをするなり新しいキャラを使うなりしていきたい。また、ゲームは一日３０分、長くても１時間くらいが理想だな。

来週末にはARCもあるし少し練習していきたいという気持ちもあるが、なかなか時間が取れない。やはり競プロをやるにはまず課題を片付けないと身が入らないというか、没頭できない感じはある。まあ、やるべきことを差し置いて趣味をしても気が乗らないのはそりゃそう。

とりあえず現時点でのタスクは

・木曜まで実験レポート

・金曜の機械力学のテスト勉強

・先週の実験レポート

の３つだ。明日は帰りに工学部の図書館で教科書を借りよう。これをやるのはもちろんだがまずは授業はためずにその時間に受ける、ということが一番大事かもしれない。

ABC243 E Edge Deletion

解法

ワーシャルフロイド法を用いてすべての頂点間の最短経路を求める。必要な辺はその辺を使わないと最短が達成できなくなる辺

証明

仮にその辺を使わないとすると、2辺以上を用いた最短経路が存在する。閉路に入る意味はないため、使われる変数は高々N-1 。このうち、最も辺数の多い最短経路に着目すると、これに含まれる辺はすべて解法の条件に沿う辺である。なぜなら、これ以上変数は増えないから。

解法へのプロセス

ワーシャルフロイド法を知らないと、だいぶきつい。グラフ周りの問題は知識を前提としていることが多いため、知識を付けた方が取り組みやすそう。

また、本問のように必要条件を考えるとよい。しばしば十分条件となりうる。

div3 F. Robot on the Board 2

方針はdpですぐ決まったが、メモリオーバーフローに苦しめられた。関数外で定義した関数が配置されるメモリを静的メモリ、関数内で定義したメモリはスタックメモリと言い、スタックメモリより静的メモリのほうが容量が大きい。そのため、グローバル変数を定義してsolve（）を定義して解いたらMLEになった。その後、main()の中ですべて処理するように変更したら、MLEが取れたのでよかった。

10/30

ABC225

A なんかだるい

Bなんだっけ

C若干の考察ミス

D　UnionFind

E　考察ミスに気付かず終了。。。

 

なんか一回つまずいたらもう終わりっていう展開を何とかしたい

考察をもっと丁寧にしつつスピードを速めて後ろのほうのフローとか知識が必要

10/19(火）

起きたのは９時半だった。今日は３限の英語でlistening教材の内容を簡潔にスピーチするという課題があったが、１０時からソラが解禁されて配信を１時間ほど見てしまった。慌てて課題を始めたが結局まともにできず、１２時２５分くらいに家を出て原付で大学に向かった。対面に入ると思ったより人が少なかったが、班での作業が始まるとまわりとも少し交流できてよかった。

講義が終わった後、昼を食べていないことに気付き、寒いのでどこかおいしいラーメンが食べたいと思ったので気分に合うラーメンビッグにいった。久しぶりに食べたのでとてもおいしかった。店を出たのが１５時くらいで、夕方から硬式テニスのサークルに行く予定があったので、友人に時間を聞いたら16時といわれてかなり焦った、というかこの時点で間に合わないことはほぼ確定していた。急いで家に戻ったが犬の散歩をしていろいろ準備したらもう１６時だった。今日はあきらめようかなと思ったが一度行くとは言ってしまったので仕方なくいくことにした。地下鉄で向かってついたのが１６時４０分ごろだったか。思ったより男子しかいなくてびっくりしたが、穏やかな人がおおくて雰囲気はとても良かった。約束していた友人はもう知り合いもできているみたいだしわざわざ自分を呼ぶ必要あったかと少し疑問だったが、自分も少し楽しめたので良しとしよう。終わりが１７時半で家についたのが１８時だった。そこからずっと野球を見ながらソラの配信を見て夕飯をたべて２階に上がったのが２１時前だったか、、、ここから記憶がなくなり気づいたら２４時になっていた。うーむ、なんか一番手っ取り早く始められるスマホというのに時間を使いすぎている気がする。