OB/OGの会)が主催する夏合宿に参加してきました。atamaは一旦合流してから行くことに。結果全員が時間通りに集合して、11:00にオリセンに着いた。全員揃った時刻ではFAだった気がする。2019Day1の貢献は少ないその後人がぞろぞろと会場入りして、Day1のコンテストが始まった。以降(謎の)守秘義務により、メンバー名を僕、S、Oで表すこととする。結果ABCDEJの15位(オンサイトは多分10位)。僕が実装をしなかった全員が全問題を読むべきだったFFTくらい用意しておくべきだったEの考察に時間がかかりすぎた振り返るとABCDEJを2:30くらいで片付けて、せめてK問題までは通したかったという印象。OがLi-Chao木を持っていたのでI問題もワンチャンあったかもしれない。何にせよ実力不足、特に速度不足を痛感する結果となった。314の夜は長いコンテスト後は夕飯を除いてほとんど自由時間。談話室でボドゲに混ざらせていただいたりした。僕が割り振られた314号室はTwitterでよく見る顔ぶれで、さらに何人か訪問者が来て結局2:00まで起きていた。できてとても楽しかった。9:00が朝食の時間なのだが、宿泊者が数百人いるのに食堂が1つしかないので非常に混む。いうわけで早起きして6:55に食堂に着いたのだが、それでも結局10分待たされた。ちなみにDay3はそれを踏まえて6:45に向かったところ、並んではいたが1回目の波で入ることができた。2019Day2の精進は足りないその後しばらく部屋で寝て、Day2のコンテストが始まった。結果ADEIの20位(オンサイトで多分13位)。I問題のジャッジがバグってなければもっと上だったと思うが、それにしても悲しい結果だった。反省点は「コーディングスタイルの違いがバラバラだった」くらいで、他の問題は現状どうしようもないという感覚が強い。シンプルに実力不足を痛感した。懇親会の飯は多いコンテスト後諸々を経て、19:00から懇親会が始まった。いえ根本的にコミュ障なので、あまり人脈が広げられず悲しかった。それでも初めて話した人もいて楽しかった。あと飯が競プロ関係のものが多かった。以下は哀愁漂うカツサンドくん。カツがN枚とパンがM枚あります。カツサンドを最大いくつ作れるか求めて下さい。2019懇親会後、風呂から部屋に戻るとこたつがめくんがABCのコードゴルフをしていた。僕はABCに参加する予定はなかったので観戦していたが、AtCoderのコーディングエリアにコードをベタ書きする様は見ていて圧巻だった。コンテスト全体でもちゃんと全完していて凄いなぁとなった。ちなみにこの日の夜もなんやかんや1:30まで起きていた。Day3Day3の嘘は怖い部屋でダラダラしていたらチェックアウトがビリになっていた。全員とっくに出る準備はできていたんです。それはさておきDay3のコンテストが始まった。Xが無理ということが分かるXのbitが全部1の場合に構築ができる他の場合も帰着できるかと思ったができなくて終了E問題は見た感じフローっぽいのでグラフを考える流量下限を課すことでグラフが完成する(嘘)僕が最小費用流を実装をする間Oにグラフの構築を頼む実装が終わるもなんか上手くいかないどうすれば直るのかよく分からないままコンテストが終わった後で聞いた話だが、終盤SはJ問題(これも構築)を考察していたNが奇数の場合が無理であることは分かっていたNが偶数の場合、N頂点の完全グラフを完全マッチングに分解できれば解けていたコンテスト後に調べたら構築方法が出てきた。2019結局ABCの20位(オンサイトで多分12位)。コンテスト後無力感に包まれていた。他の問題もちゃんと読んでいて、合間合間で考察をしていたが全く分からなかった。コンテスト後にhenoくんにE問題のフローが嘘であることを指摘してもらった。D問題はアドホック構築ではなく2-SATが想定解だった。僕たちの3時間は一体......。万豚記の閉店は早いそんなこんなで3日間に渡る合宿は終わりを告げた。JAGの皆さん、writer陣の皆さん、本当にありがとうございました。正直なところ、夏休みの頭にやってほしかった。atama3人で寄ることにした。高速ゼータ変換解法ARCatcoder.jp本記事は以下の記事の番外編です。