Rustで競プロがやりたい(8)
灰色を全て解き終わり茶色に進むとなると、UnionFindなどのデータ構造がそろそろ出てくる。 なので、そのあたりを整える為のlibrary checkerを使う。
しかしlibrary checker、広く言えばAtCoder以外の競プロサイトはproconioが対応していない。 proconioをサイトからソースを引っ張ってきて貼り付けても、proconioに使われているlazy staticも対応していなかったりで、上手くいかない。 他のコンテストサイトはともかくlibrary checkerまで使えないと確認ができなくて不便である。 そこら辺うまく書いて対応しろという話ではあるが、今回はローカル環境でlibrary checkerのテストを行う方針を取る。
library checkerはソースコードがgithubで公開されている。
READMEに書かれているが、PythonとC++を予め使えるようにしておかないといけない模様。
環境構築が済んでいたので、まずはgitでclone。
git clone https://github.com/yosupo06/library-checker-problems.git
cloneしたフォルダに移動する。
cd path/library-checker-problems
初回は以下のコマンドも必要か
pip3 install -r requirements.txt
その後、実際にテストケースを作成する。
python ./generate.py -p (問題フォルダ名)
問題フォルダ名にはテストケースが欲しい問題のフォルダ名を入れる。 cloneしたフォルダにはdatastructureやmathなどグループ分けがされており、その中に問題のフォルダが格納されている。
ベルヌーイ数のテストケースが欲しい場合、以下の通りになる。
python ./generate.py -p bernoulli_number
こうすると、bernoulli_numberのフォルダの中にinとoutのフォルダが作られ、その中にテストケースが格納されている。
ところで、テストケースを作れない場合があった。 Rustのwarningのようなものが発生してて、実行はできるけど終了するみたいな感じで。 その場合、下のコマンドで実行できるようにしておく。
set CXXFLAGS=-Wno-error
さて、テストケースはできたが、いちいち手動でコピペしてテストケースを実行するのは面倒。 そこで、online judge toolsを使う。
pythonのライブラリになるのか、コマンドだけで導入可能。
pip3 install online-judge-tools
参照しているパスにtestというフォルダを作り、テストケースを入れる。 inとoutフォルダで分けるのではなく、中身のファイルを直接入れる。
その後、テストコマンドを実行する。 Rustの場合は、先にbuildを済ませて、できたexeファイルをコマンドで指定する。
oj t -c "(exeファイルのパスを指定)"
テスト結果が表示される。
今は少し面倒だが、この作業でごまかしている。
Rustで競プロがやりたい(7)
Rustで灰Diffの問題を500問近く解いた。
500問解いたら流石に余裕と言いたいが、今でも詰まる要素が多々ある。 大体1分で解ける問題と、何かしらで詰まり10分、またはそれ以上かけてようやく解けるような問題がある。
しかし、Rustはそこまで難しくないとも思い始めている。
よく見るのが、変数に .() を付けまくっている書き方。 最初は呪文のように見えたが、冷静に見るとそうではないことが分かる。
例えば、下記コードでは文字列 X の 1 の数を数えている。
#[allow(non_snake_case)] fn main() { let X = "000101".to_string(); println!("{}", X.chars().filter(|&x| x == '1').count()); }
X を Chars 型にした後、filter で 1 文字ずつ 1 かどうかを確認し、最後に count で個数を返す。
もう一つ例を挙げる。
#[allow(non_snake_case)] fn main() { let X = [1, 3, 2, 7, 9]; println!("{}", X.iter().max().unwrap()); }
X の要素から、max で最大値を求め、Option 型で返されるので unwrap で値を取り出す。
つまり、「X を最終的にどうしたいか?」を考えて、必要であればそれを処理するために必要な処理を書き加えて...とすればいい。
あまりに長くなる場合や、処理ごとに分けて改行している人もいる。
#[allow(non_snake_case)] fn main() { let X = [1, 3, 2, 7, 9]; println!("{}", X.iter() .max().unwrap()); }
ところで、通常は vec や array などは println! では出力できない。 下記のコードだとエラーが出てしまうが、それだとデバッグの際に困ってしまう。
#[allow(non_snake_case)] fn main() { let X = [1, 3, 2, 7, 9]; println!("{}", X); }
しかし内部に :? を書くと、vec や array も出力できる。 これは Some(x) などの状態も出力できるのでかなり便利。
#[allow(non_snake_case)] fn main() { let X = [1, 3, 2, 7, 9]; println!("{:?}", X); }
ちなみに、dbg! でも出力できる、dbg! の場合は何行目で出力したかも書かれるので見やすい。 しかし、デバッグ時にしか出力されないので、提出の際の出力として使うことはできない。
#[allow(non_snake_case)] fn main() { let X = [1, 3, 2, 7, 9]; dbg!(X); }
変数を宣言する際、宣言する場所に気を付ける必要があった。 以下のコードでは、ans は -1 を出力する。
#[allow(non_snake_case)] fn main() { let ans = "-1"; if true { let ans = 99; } println!("{}", ans); }
これは、if の中の ans は if のブロックを抜けたと同時に解放される為、なかったことになる。 いわゆるライフタイムというやつで、宣言する場所は大丈夫か、他の処理で回避できないかなど考える必要がたまにあった。
この処理をどうやってやればいいか分からないといったとき、普通は検索して調べるのだが、今はchatGPTを使う方法がある。 Rustでどういう処理をしたいかを聞くことで、コードまで書いて返してくれる。
この手法はかなり便利だが、質問の仕方や内容によっては頓珍漢な回答をされるので、参考程度にするとよい。
Rust は分かってくると楽しいが、灰Diffなのでまだ struct や impl の段階に行ってないし、そもそも参照で呼ぶべきなのか分からなかったり、*&x などという頓珍漢な参照が出てきたり。 環境面に関しても、デバッグビルドやリリースビルドなどは一切分からず、最終目標であるビジュアライザを作る辺りも一切手を付けれていない。
という状態でこれからも頑張る。
Rustで競プロがやりたい(6)
AtCoderの灰色を埋めると決め、githubに解いたコードをあげることにした。
とりあえず灰試験管は全て解くことができたが、かなり詰まってしまった。 Twitterで「これができない」だの「エラーが出る」だの言いまくって、その度に助けてくれた皆には感謝しかない。
灰色問題とはいえ、難易度が高かった。 特に文字列が難しい。
以下のような宣言だと、&strになる。
let S = "Moji";
それを.to_string()でStringになる。
let S = "Moji".to_string();
ところで、String型はstring型ではないらしい。 こういった大文字、小文字もしっかり区別してかかないといけない。
1文字1文字for文で見たいとなったときは、Stringを.chars()で変換しないといけない。
for s in S.chars() { // test }
.chars()でCharsにしたのを.collect()で配列として代入したり。
let S = S.chars().collect::<Vec<char>>();
matchを使うには、.as_str()で変換しないといけなかったり。
match S.as_str() { "abc" => "YES", _ => "NO", }
Stringのi番目の要素を取得したいとき、かなり面倒な手順になるし。
let s = S.chars().nth(i).unwrap();
逆に後ろの文字は.last()で取れるし。
let s = S.chars().last().unwrap();
文字列の操作をしているときにかなり見たのだが、unwrap()をよく使うことになる。 これは、Option型の結果が渡されるので、その中身の値を取り出す、という認識でいる。 本当はエラーを考慮しないといけなかったりしそうなのだが、今回は大丈夫ということにする。
とりあえずやりたいことに合わせて型を変えたり、配列に入れたり、結果を取り出したり...と結構覚えることがたくさんある。 特に型が違うとエラーで使えない、というのが頻発して大変だった。
これ以外にも色々覚えるべき文法はあるが、解き続けて覚えていくしかない。 残りの灰埋めを頑張ることにする。
Rustで競プロがやりたい(5)
前回の記事から日が開いてしまった。
competeを使って自動作成して提出もコマンドでできて、と楽だったのだが、Rustを書くのはボロボロだった。 というより、基礎がまだちゃんとしていない状態でPythonでいうClassを書こうとして心が折れてしまった。
ここは一旦基本に忠実ということで、灰Diffを埋めてみる。 competeも一旦使わず、cargo newからまっさらの状態で始めてみる。
proconioは使う方針で。
[dependencies] proconio = {version = "0.4.3", features = ["derive"]}
テンプレート、fastoutとnon_snake_caseだけ採用する。
use proconio::input; use proconio::fastout; #[fastout] #[allow(non_snake_case)] fn main() { input! { , } println!(); }
まずは以下の問題から。 atcoder.jp
ACしたときは以下のようなコードになった。
use proconio::input; use proconio::fastout; #[fastout] #[allow(non_snake_case)] fn main() { input! { Y: usize, } let mut ans = "NO"; if Y % 4 == 0 { ans = "YES"; } if Y % 100 == 0 { ans = "NO"; } if Y % 400 == 0 { ans = "YES"; } println!("{}", ans); }
しかし実際はかなりつまずいている。 最初はlet mut ans = "";にifをif ~ else if ~ elseで書いて通せるようにした。 すると次のwarningが出た、warningが出てもコードは回せる。
warning: value assigned to `ans` is never read = help: maybe it is overwritten before being read? = note: `#[warn(unused_assignments)]` on by default
つまり、ansを他の変数で操作や出力前に確定で別の値に上書きするので注意されている。 下に#[warn(---)]と出ているので#[allow(---)]と書き加えれば出なくなるが、今回はwarningを消したい。
次はlet mut ans;と書き換えてみた。 しかし別のwarningが出てしまう。
warning: variable does not need to be mutable = note: `#[warn(unused_mut)]` on by default
今回if文で値を書き換えるのが1回だけの為、ミュータブルである必要がないみたいだった。 最終的にlet ans;でwarningが消えたので解決した。
ちなみに普通にWAを出してしまったので最終的にあのACの形になった。
別の問題も見る。 atcoder.jp
2点間の距離は三平方の定理で求めることができる。 ACコードは以下の通り。
use proconio::input; use proconio::fastout; use libm::hypot; #[fastout] #[allow(non_snake_case)] fn main() { input! { N: usize, } let mut Points = vec![]; for _ in 0..N { input! { x: f64, y: f64, } Points.push((x, y)); } let mut ans = 0.0; for i in 0..N { for j in 0..N { let distance = hypot((Points[i].0 - Points[j].0).abs(), (Points[i].1 - Points[j].1).abs()); if ans < distance { ans = distance; } } } println!("{}", ans); }
躓いた点をいくつか挙げる。
まずx, yを入力で受け取るフェーズ。 input!は最初に実行して全て受け取らないといけないと思っていたが、2か所に分けてもいいらしい。 後は空の配列を用意する、そこに追加するといった基本的な処理も、まだ調べないとできなかった。 forも調べないと書けなかった。
次に実際に距離を求めるところ。 Rustはhypotを使うと距離を求めることができる。 なので、use libm::hypot;を書き加え、hypotを使えるようにする。 ちなみにCargo.tomlにlibmを書き加えないと使えない。
[dependencies] libm = "=0.2.1"
今回tupleで座標を追加したため、[0]ではなく.0で呼び出さないといけなかった。 またhypotはf64しか受け付けていないが、自前で計算を用意する場合でも答えが小数点になる可能性があるので座標の入力をf64で受け取らないといけない。 座標だからusize確定ということがないことを意識しないといけない。
やる度に新しいことがでてきて大変だが、灰Diff埋めでしばらくは頑張っていこうと思う。
AHC017を通した戒め
0. はじめに
AHC017 に参加して 921 位でした。
パフォーマンスは 426 でレートが 536 → 563 になりました。
つらい。
1. ビジュアライザの使い方をちゃんと見ていなかった
ビジュアライザを見て、Input があって Output がある。
Output に出力を乗せると下の画像が変化する。
じゃあ大体の使い方はこうだな、で使っていました。
しかし詳細を見ると「dayの値を1以上にすると、その日に工事する辺のみがピンク色で表示されます。頂点をクリックすると、その頂点からの最短距離の増加量に応じて各頂点が色付けされます。」と書かれていました。
実際この機能は凄まじく便利で、頂点をクリックするとスコアの変化によって頂点に色が付けられる為、考察にかなり役立つ機能でした。
ちゃんとビジュアライザの詳細は見るべきでした。
2. 問題の得点を正確に求めすぎた
今回の問題は状態の得点を正確に求めようとすると、かなり時間がかかります。
コンテスト中は正確な得点を高速に求めることを必死に考えて、ドツボにハマっていました。
近似値となるスコアを高速に求めて山登りや焼きなましを試す方が、結果的には高得点に繋がることを初めて知りました。
3. テストケースをシード 0 しか試さなかった
最初はランダムな出力を試し、あとは 2 で高速化を頑張っていたのですが、その時に使ったテストケースはシード 0 だけでした。
ランダムだから 0 だけ見る、結果が良くなるか見たいだけだから 0 だけ見る、そんな感じで 0 だけ見てました。
テストケースによって答えが良くなったり、悪くなったりするのを見るべきところを 1 ケースで済ませたのは良くありませんでした。
4. 提出するコードをちゃんと確認しなかった
このような長期コンだと提出の間隔は WA だろうが TLE だろうが 30 分ごとになります。
つまり、答えをちゃんと出力できていないコードを間違えて提出すると無駄に 30 分提出できなくなります。
今回、ビジュアライザに貼り付けるために出力をテキストに書き込むコードを提出してしまった為、ファイルパスを晒した挙句 30 分無駄に提出できなくなってしまいました。
焦らず確認してから提出しようと思いました、間違って提出したコードは消させて欲しいです。
5. 1 つの視点に囚われすぎた
点数が低い一番の原因は、得点を高速に求めるという視点に囚われすぎて、別の解法を全く考えないことでした。
コンテスト中は上位勢は高速化に成功してるのかと思ってましたが、私の視点が狭すぎただけでした。
6. 実験を全くしていなかった
コンテスト中は様々なアイディアを出して、実験をしてそこから考察してより良い答えを求めるのがいいのは知ってましたが、今回それを全くしませんでした。
5 でも書きましたが 1 つのアイディアの高速化に囚われすぎて、実験という実験を全くすることなく終わってしまいました。
7. 途中で諦めてしまった
高速化が上手くいかず、平日は仕事もあり水曜日で諦めてしまいました。
最後の 2 日間も別のことをしてしまい、そのまま終わらせてしまいました。
8. システスに使われるコードをわかっていなかった
私は一番最後に AC したコードがシステスに使われると思っていましたが、実際は一番最後に提出したコードでした。
その結果 TLE したコードがシステスにかけられてしまい、大幅に点数を落とすことになりました。
9.
今日はなんだか眠れない。
涙が出るのは、きっと乾燥しているからなんだ。
ぐすん。
Rustで競プロがやりたい(4)
前回は cargo-atcoder を入れたが、Rust を使っている人から cargo-compete を勧められた。
将来的には自分に合ったものを使いたいが、今はとりあえずおすすめされた cargo-compete を使い進めてみたい。 前回入れた cargo-atcoder を消してみる。 cargo uninstall cargo-atcoder で簡単に消せた。
こんどは cargo-compete を入れる。
入れ終わったら cargo compete init atcoder で初期設定。 そして何か聞かれたのでとりあえずの 2 で色々ファイルが作られた。
cargo compete login atcoder でログインを済ませる。
準備ができたので、問題の取得を行ってみる。 数が多すぎてもあれなので、ABC001 からやってみる。 コンテストにはURLがあり、問題を取得するには contests の後ろにある文字列が必要である。
今回は abc001 なので、cargo compete new abc001 になる
こうしてできたわけだが、初期のコードがこれだけしか書かれていない。
compete.toml というファイルが作られており、その中に template という項目があるので、そこを変更することで初期のコードに反映される。 src = は残すこと。
ついでに下の方に導入される package 一覧があるのだが、その proconio の version が低かったのでそれも上げておいた。
これでコンテストを読み込むとうまく反映された。
何も書いていないが、とりあえず cargo compete test a で A 問題のテストをしてみる。 がエラーが起きる。
compete.toml の test 項目の toolchain を stable にすると通るようになった。
テスト結果も表示されるようになった。
一旦区切るためにここまで。
Rustで競プロがやりたい(3)
前回 proconio を vscode で使うとエラーが出た。 この tester が proconio を使える状態になってないからである。 以下の記事を参考に使える状況にする。
と言っても、tester 内にある Cargo.toml の [dependencies] の下に proconio = "0.4.3" を追加するだけである。
これで input はエラーが消えたが、fastout は消えてくれなかった。
ここで、proconio の説明サイトを見てみる。
下の方に、fastout を有効にするにはさらに追記する説明が書かれている。
サイトを見る限り version は 0.4.3 でよさそう。 Cargo.toml の [dependencies] の下を proconio = {version = "0.4.3", features = ["derive"]} に書き換える。
この状態で再ビルドするとエラーが消えた。 vscode で proconio が快適に使える状態にできた。
この作業中になぜか run/degug が復活した、謎である。
今回は下記記事を参考に AtCoder を Rust でやるのに便利な cargo-atcoder も入れてみる。 qiita.com
cargo install cargo-atcoder をターミナルに打ち込む。
インストールが終わるまで待つ。
インストールが終わってログインもしてみた。
やることが多そうなので、今回はここまで。