問題 日本語なので本文参照（http://utpc2013.contest.atcoder.jp/tasks/utpc2013_06） n頂点からなる無向グラフが与えられる。 最初全ての頂点は自分自身だけかならるグループで、クエリによりグループ同士をマージしていく。 グループA, Bをマージした後、…

問題 日本語なので本文参照（http://utpc2013.contest.atcoder.jp/tasks/utpc2013_05） 変数がn, 節の数がm以下の乗法標準形の論理式が与えられる。 （よくある2-SATの(x1 or x2) and (~x3 or x4) and ...みたいな形という意味） この式に対して変数の割り当…

問題 日本語なので本文参照（http://utpc2013.contest.atcoder.jp/tasks/utpc2013_04） 二分ヒープを表す長さnの配列a[i]がある。 二分ヒープを表す長さm（m≧n)の配列b[i]で、b[i]の後ろn個がa[i]になっているものが存在すれば、その最小のmを、なければ-1を…

問題 日本語なので本文参照（http://utpc2013.contest.atcoder.jp/tasks/utpc2013_03）二つの重みなし無向グラフが与えられるので、 それを一本の辺でつなぐとき、 できたグラフの直径を最小にするようにつないだときの直径 できたグラフの直径を最大にする…

問題 日本語なので本文参照（http://utpc2013.contest.atcoder.jp/tasks/utpc2013_02） うなぎ暦はy年には13 + (y - 2013)月まである。（2013年は13月、2014年は14月…） 西暦のy年m月が与えられたとき、うなぎ暦のy'年m'月に変換せよ。 制約条件 y≦10^17 m≦12…

コンテストは凄くどうでもいいとこでバグを出してハマって、 デバッグで時間を浪費してしまい、 面白いほうの問題を考察する時間がなくなってしまったのが残念だった。 問題 日本語なので本文参照（http://utpc2013.contest.atcoder.jp/tasks/utpc2013_01） …