問題 論理変数、|, &, ~, および括弧からなるbooleanの式が与えられる。 ただし、一つの変数は、式中にただ一度しか現れない。 この式をtrueにする変数の真偽値の割り当ては何通りあるか、mod 10^9 + 7で求めよ。 式の正確な定義は問題文のBNF記法を参照。 …

問題 xのd次式f(x)がある。 f(x)に、x = 0, 1, 2, ..., d + 2を代入した結果v[0], v[1], ..., v[d + 2]が与えられる。このうち、どれか1つは間違った数字になっている。 このとき、その数字を見つけよ。 制約条件 d≦5 v[i] ≦100

問題 ２レーンのプールでn人の人が泳ぐ。 それぞれのレーンは往路、復路の一方通行であり、レーンの幅は狭いため、 途中で泳いでる人を抜かすことはできない。 i番目の人は、レーンを片道泳ぐのにt[i]の時間がかかる。c[i]往復泳ぐとプールから出る。 前に、…