atcoder#WTF19D. Distinct Boxes

Distinct Boxes

配点 : 20002000

問題文

すぬけ君は RR 個の赤いボールと BB 個の青いボールを持っています。 彼は、これらのボールを KK 個の箱に分けて入れます。このとき、どの箱も空でなく、またどのふたつの箱も中身が一致しないようにします。 KK のとりうる最大値を求めてください。

より形式的には、箱に 11 から KK までの番号を振り、箱 iirir_i 個の赤いボールと bib_i 個の青いボールを含むとすると、次の条件が満たされなければなりません。

  • ii (1iK1 \leq i \leq K) に対し、ri>0r_i > 0 または bi>0b_i > 0 である。
  • i,ji, j (1i<jK1 \leq i < j \leq K) に対し、rirjr_i \neq r_j または bibjb_i \neq b_j である。
  • ri=R\sum r_i = R かつ bi=B\sum b_i = B である (箱の外にボールが取り残されてはならない)。

制約

  • 1R,B1091 \leq R, B \leq 10^{9}

入力

入力は以下の形式で標準入力から与えられる。

RR BB

出力

KK のとりうる最大値を出力せよ。

8 3
5

K=5K = 5 を達成する方法として考えられるものをひとつ、以下の画像に示します。