学校での夏期講習と部活のせいでPKUに時間がかけられない。今日：3問 今日までの合計：68問

一回楽な書き方するともともとの書き方が面倒になりますねー。今日：4問 今日までの合計：65問

書くの忘れてた今日：6問 今日までの合計：61問

眠いので適当に済ませる。今日：13問 今日までの合計：55問

今日はTopCoderに備える必要があったのですくなめ。今日：1問 今日までの合計：42問

今日：6問 今日までの合計：41問

今日：14問 今日までの合計：35問

今日：4問 今日までの合計：21問

今日：9問 今日までの合計：17問

今日：5問 今日までの合計：8問

今日：3問 今日までの合計：3問

始動します。

2-SATとは SATとはsatisfiability(充足性)の略で、与えられた論理式を満たす真偽値の組合せが存在することをいう。特に2-SATとは、変数がx_1からx_nまであるとして以下の形の論理式について変数の真偽値の組合せを考える問題である。 ここで 論理積でつなが…

HTMLで文書を書く上で、h1〜h6要素、p要素、a要素さえあれば何とかなる、と言った旨の発言をしたらだいぶ批判されたので、この発言の意図を書いておこうと思う。まず自分はHTMLを素直に「文書にマークをつける言語」として見ている。まあこれは当たり前のこ…

250 Failed System Test 173.26 -> 0.00 500 Passed System Test 247.76 1000 Opened これに撃墜で+50。Mediumが通せて普通に嬉しい。Easyが落ちて普通に死ぬべき。MediumはDPだけど一見貪欲法でもいけそうな気がする問題。そしてサンプルケースは貪欲法で全…

その1 数列の合計と平均値 数列の合計は加算の動詞と挿入の副詞を使って +/a(aは数列) という風に書ける。数列の平均値は合計を要素数で割ればよいので除算の動詞と要素数を求める動詞を使って (+/ % #)a という風に書ける。このふたつの操作の実行時間は、…

＾＾

タイトルの通り。

250 Passed System Test 217.55 550 Compiled 950 Opened 550は無理ですって。しかもad-hocな感じの苦手な問題だし。さらに250がかなり簡単なやるだけ早解きゲー。早解きも苦手だというのに。まず250を217.55という点数でSubmitしたのが痛すぎる。217.55はど…

You've been chosen as the TopCoder Coder of the Month! ( ﾟдﾟ ) ＿(__つ/￣￣￣/＿ ＼/ / ￣￣￣ ( ﾟдﾟ ) ＿(__つ/￣￣￣/＿ ＼/ / ￣￣￣ ( ﾟдﾟ ) ＿(__つ/￣￣￣/＿ ＼/ / ￣￣￣えっと何かよくわかんないけど選ばれたらしいよ！

250 Passed System Test 179.60 500 Passed System Test 311.19 1000 Opened 初めてMedium通せた！のは嬉しいんだけど、今回のMediumは気付けばとても簡単だったのでもっと早く提出すべきだったなぁ。Mediumが初めてのせいで警戒しすぎたところはあった。撃…

F#で書いた。工夫した点？知りませんなぁ。

本番で解けなかったもの。以下考え方とソース。

250 Passed System Test 175.27 500 Opened 1000 Opened 250をもうちょっと早く送信できてれば良かったな、と。でもこれでも部屋2位の成績で全体183位。前回、前々回の0完に比べればできた方。ただしこれで満足はしない。レーティングは1268 → 1408 (+140)以…

決して風邪ひいてずっと寝こんでたとかそういうオチじゃないですよ。

tr =: 1 : '{: * -:@+/@:(u"0)@({. , +/)' tarea =: 1 : '+/@:(u tr"1)@|:@(}:@({. + (-~/@}: % {:) * i.@>:@{:) ,: ({: # -~/@}: % {:))'trは補助の動詞副詞。tareaで求積。使い方は左端型のやつと同じ。以下サンプル。 *: tarea 1 2 2000 2.33333 ^. tarea…

area =: 1 : '+/ @ ((-~/@}: % {:) * u@}:@({. + (-~/@}: % {:) * i.@>:@{:))'副詞として書いた。v area a b nで、vのグラフで[a,b]間をn等分して求積する。単純な左端型なので収束は遅い。台形近似とかも書きたい。以下サンプル。 *: area 1 2 1000000 2.33…

面白いです。

PKUは報告してないけどちゃんと解いてますよ。

USBメモリからインストールした。それだけ。試しにKDE4でも入れてみるかと思ったができなかった。まあ別にGNOMEでいいけど。