#ddcc2016finalb. [ddcc_2016_final_b]デュアルカット

[ddcc_2016_final_b]デュアルカット

問題文

半径 RR の_ウェーハ_を水平方向に等間隔で切って NN 分割することにしました。ウェーハとは、ある部品を作るのに使われる薄い円盤状の物体です。

ウェーハを等間隔で NN 分割するための_カットライン_と呼ばれる線が N1N-1 本あります。 カットラインには上から順に 1N11 ~ N-1 の番号が付いています。 また、下図に示されるように 00 以下や NN 以上の番号のカットラインも便宜上存在することにします。

b7d93ccb848ebe7e3e1956b68b97625f.png

ウェーハを NN 分割するために_デュアルカット_という手法を用いることにしました。

デュアルカットでは、カットラインに対してカットという操作を何度か行います。 11 回のカットでは、22 枚の刃を使用して 22 本のカットラインを同時に切断します。 切断に用いる機械の制約上、22 本のカットラインは一定以上離れている必要があります。 より正確には、同時に切断する 22 本のカットラインの番号をそれぞれ i,j(i<j)i,j (i<j) とすると、i+Mji+M ≦ j を満たしていなければなりません。 この問題では、同じカットラインを 22 回以上切断したり、00 以下や NN 以上の番号のカットラインを切断したりしても構いません。

ii 番と jj 番のカットラインを同時に切るときの_カット長_は、22 本のカットラインの長さのうちの長い方の長さで表されます。 ここで i,(1iN1)i \\, (1 ≦ i ≦ N-1) 番のカットラインの長さとは ii 番のカットラインで示される直線とウェーハの共通部分の線分の長さであり、それ以外の 00 番や NN 番などのカットラインの長さは 00 です。

機械の動作の具体例を示します。N=6,,M=3N=6, \\, M=3 のときに i=2,,j=5i=2, \\, j=5 として機械を稼働させると、下図(左)のように 22 番と 55 番のカットラインがカットされます。このときのカット長は 22 番のカットラインの方が 55 番のカットラインより長いため、22 番のカットラインの長さとなります。カットラインの長さは図中で赤色の実線で示されています。 ここで、下図(右)のような i=3,,j=5i=3,\\,j=5 といった操作は i+Mji+M ≦ j を満たさないため、行うことができないことに注意してください。

25802968adbadeb2e8567108e61a5bdd.png

1N11 ~ N-1 番のカットラインそれぞれ 11 回以上切断するとウェーハを NN 分割することが出来ます。 うまく機械を操作することで、ウェーハを NN 分割するときのカット長の総和を最小化したいです。 カット長の総和の最小値を求めてください。

制約

  • 1R1031 ≦ R ≦ 10^{3}
  • 2N1032 ≦ N ≦ 10^{3}
  • 1MN11 ≦ M ≦ N - 1
  • RR は整数

部分点

  • M=1M=1 を満たすデータセットに正解した場合は、300300 点が与えられる。
  • 追加制約のないデータセットに正解した場合は、上記とは別に 400400 点が与えられる。

入力

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

RR NN MM

出力

答えを 11 行で出力せよ。絶対誤差、あるいは相対誤差が 10610^{-6} 以下であれば許容される。


入力例 1

100 4 1

出力例 1

373.2050807569

以下のようにカットするのが最適な操作の手順の 11 つです。

  • 11 番と 22 番のカットラインを切断する
  • 00 番と 33 番のカットラインを切断する

このケースは部分点の制約を満たします。


入力例 2

100 4 3

出力例 2

546.4101615138

以下のようにカットするのが最適な操作の手順の 11 つです。

  • 00 番と 33 番のカットラインを切断する
  • 11 番と 44 番のカットラインを切断する
  • 22 番と 55 番のカットラインを切断する

MM が入力例 11 と異なり 33 であるため、11 番と 22 番を同時に切断することや、11 番と 33 番を同時に切断することなどは、機械の制約上指定できないことに注意してください。


入力例 3

43 65 12

出力例 3

2208.8155789165

入力例 4

1000 1000 999

出力例 4

1570743.7385010704