今日：2問 今日までの合計：73問

だめだ解く時間がない今日：1問 今日までの合計：71問

時間がほしい。今日：2問 今日までの合計：70問

学校での夏期講習と部活のせいで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 という風に書ける。このふたつの操作の実行時間は、…