立命合宿2013 3日目 - くじらにっき++

立命館大学の方々による3時間セットでした

チーム決めPhase

@ik11235 と @refiute で re_ikura というチームで参加します #rupc
— しょラー@アカウントハックに完全敗北 (@shora_kujira16) March 13, 2013

ミーティングPhase

エディタはCotEditor
言語はC++
けしからんマクロは無し
問題読み終わったよ表を作る
私は最初にB問題を担当

コンテストPhase

Bを読む。重さをピッタリに合わせる必要があるナップザック問題？
@refiute に説明すると、得意そうだったので変わってもらう
@ik11235さんのAがWAをもらってしまったので、印刷したものを見せてもらって一緒にデバッグ。
Cに挑戦する。アローダイアグラムのクリティカルパスの長さを求めれば良いらしい。ある頂点vについて、vに向かう辺の数を予め数えておいて、頂点vに到達したらvから伸びている辺をヒープに突っ込む感じのダイクストラで通した
@refiuteにコーダーを交代してもらって、私は適当に問題を漁ってみる。Gは「数え上げおねえさん」でした。M=1,2の場合に限ってパターンが存在するのかな？と思って手計算で数え上げてみようとしたけども、2*4でギブアップ。これじゃあ「数え上げ~~おじさん~~お兄さん」じゃないか
Bが解けたので、次はDに取り掛かることに。とりあえず、評価器を作ることに。@refiuteと私でペアプロしてみました。BNFつよい
String#replaceAll的なものを実装している間に、りひゅーとがお手洗いに行ってしまったので、とりあえず1人で実装を進めることに。これが全ての間違いだった
2つの変数をTrueとFalseに置換したときの評価結果から、「変数AはTrueである必要がある」的な情報を得るようなものを作ってみる方針で書きましたが、失敗した失敗した失敗した
TimeLimitExceeded