시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 1024 MB42327523469.643%

문제

현대자동차에서 근무하고 있는 로하는 주어진 작업 슬롯 하나로 $N$개의 자동차를 생산하는 공정을 계획하려 한다. 각 $i$번째 자동차는 생산하기 위해 $s_i$단계의 생산 프로세스를 거쳐야 한다. 작업 슬롯은 수직선상에서 $\left[ 0,1 \right)$로 표현할 수 있으며, $i$번째 자동차 생산이 진행 중인 경우 이 중 $\frac{1}{s_i}$ 크기의 반열린 구간을 차지한다. $0$초부터 시작해서 $1$초마다 다음과 같은 일이 순서대로 일어난다.

  • 먼저 할당된 생산 프로세스부터, 작업 슬롯의 모든 생산 프로세스들은 자신의 크기만큼 뒤로 움직인다. 즉, 작업 슬롯의 전체 구간을 $\left[ 0,1 \right)$로 표현했을 때, $i$번째 생산 프로세스가 $\left[ \frac{j-1}{s_i} ,\frac{j}{s_i} \right)$의 구간을 차지하고 있었다면, 이동 후 $\left[ \frac{j}{s_i} ,\frac{j+1}{s_i} \right)$의 구간을 차지하게 된다. 단, 이동 시 다른 생산 프로세스가 차지하는 구간과 겹치게 되는 경우에는 움직이지 않는다. 슬롯을 통과하여 $[0,1)$ 밖으로 나온 경우 이 생산 프로세스는 완료된 것이며, 더 이상 공간을 차지하지 않는다.
  • 로하는 아직 할당하지 않은 생산 프로세스 중 하나를 골라 슬롯에 할당하거나 할당하지 않을 수 있다. $i$번째 생산 프로세스를 할당할 경우 슬롯의 $\left[ 0,\frac{1}{s_i} \right)$ 부분에 생산 프로세스를 할당한다. 단, 다른 생산 프로세스가 차지하고 있는 구간과 겹치는 경우 할당할 수 없다.

모든 자동차가 작업 슬롯을 거쳐 생산될 때까지 걸리는 최소 시간이 몇 초인지 구하여라.

입력

첫 번째 줄에 생산해야 하는 자동차의 개수 $N$이 주어진다. $(1\leq N\leq 200\, 000)$

두 번째 줄에 $N$개의 자동차의 생산 프로세스에 대한 각각의 단계 수 $s_1,s_2,\ldots ,s_N$이 공백으로 구분되어 주어진다. $(1\leq s_i\leq 200\, 000)$

출력

첫 번째 줄에, 모든 자동차가 작업 슬롯을 거쳐 끝날 때까지 걸리는 최소 시간을 초 단위로 출력한다.

예제 입력 1

4
5 7 8 11

예제 출력 1

14

노트

반열린구간 $[a, b)$ 는 $a$ 이상 $b$ 미만의 모든 수를 포함하는 구간이다.

W3sicHJvYmxlbV9pZCI6IjMwODc0IiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiUGlwZWxpbmVkIiwiZGVzY3JpcHRpb24iOiI8cD5cdWQ2MDRcdWIzMDBcdWM3OTBcdWIzZDlcdWNjMjhcdWM1ZDBcdWMxMWMgXHVhZGZjXHViYjM0XHVkNTU4XHVhY2UwIFx1Yzc4OFx1YjI5NCBcdWI4NWNcdWQ1NThcdWIyOTQgXHVjOGZjXHVjNWI0XHVjOWM0IFx1Yzc5MVx1YzVjNSBcdWMyYWNcdWI4NmYgXHVkNTU4XHViMDk4XHViODVjICROJFx1YWMxY1x1Yzc1OCBcdWM3OTBcdWIzZDlcdWNjMjhcdWI5N2MgXHVjMGRkXHVjMGIwXHVkNTU4XHViMjk0IFx1YWNmNVx1YzgxNVx1Yzc0NCBcdWFjYzRcdWQ2OGRcdWQ1NThcdWI4MjQgXHVkNTVjXHViMmU0LiBcdWFjMDEgJGkkXHViYzg4XHVjOWY4IFx1Yzc5MFx1YjNkOVx1Y2MyOFx1YjI5NCBcdWMwZGRcdWMwYjBcdWQ1NThcdWFlMzAgXHVjNzA0XHVkNTc0ICRzX2kkXHViMmU4XHVhY2M0XHVjNzU4IFx1YzBkZFx1YzBiMCBcdWQ1MDRcdWI4NWNcdWMxMzhcdWMyYTRcdWI5N2MgXHVhYzcwXHVjY2QwXHVjNTdjIFx1ZDU1Y1x1YjJlNC4gXHVjNzkxXHVjNWM1IFx1YzJhY1x1Yjg2Zlx1Yzc0MCBcdWMyMThcdWM5YzFcdWMxMjBcdWMwYzFcdWM1ZDBcdWMxMWMgJFxcbGVmdFsgMCwxIFxccmlnaHQpJFx1Yjg1YyBcdWQ0NWNcdWQ2MDRcdWQ1NjAgXHVjMjE4IFx1Yzc4OFx1YzczY1x1YmE3MCwgJGkkXHViYzg4XHVjOWY4IFx1Yzc5MFx1YjNkOVx1Y2MyOCBcdWMwZGRcdWMwYjBcdWM3NzQgXHVjOWM0XHVkNTg5IFx1YzkxMVx1Yzc3OCBcdWFjYmRcdWM2YjAgXHVjNzc0IFx1YzkxMSAkXFxmcmFjezF9e3NfaX0kIFx1ZDA2Y1x1YWUzMFx1Yzc1OCBcdWJjMThcdWM1ZjRcdWI5YjAgXHVhZDZjXHVhYzA0XHVjNzQ0IFx1Y2MyOFx1YzljMFx1ZDU1Y1x1YjJlNC4gJDAkXHVjZDA4XHViZDgwXHVkMTMwIFx1YzJkY1x1Yzc5MVx1ZDU3NFx1YzExYyAkMSRcdWNkMDhcdWI5YzhcdWIyZTQgXHViMmU0XHVjNzRjXHVhY2ZjIFx1YWMxOVx1Yzc0MCBcdWM3N2NcdWM3NzQgXHVjMjFjXHVjMTFjXHViMzAwXHViODVjIFx1Yzc3Y1x1YzViNFx1YjA5Y1x1YjJlNC48XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5cdWJhM2NcdWM4MDAgXHVkNTYwXHViMmY5XHViNDFjIFx1YzBkZFx1YzBiMCBcdWQ1MDRcdWI4NWNcdWMxMzhcdWMyYTRcdWJkODBcdWQxMzAsIFx1Yzc5MVx1YzVjNSBcdWMyYWNcdWI4NmZcdWM3NTggXHViYWE4XHViNGUwIFx1YzBkZFx1YzBiMCBcdWQ1MDRcdWI4NWNcdWMxMzhcdWMyYTRcdWI0ZTRcdWM3NDAgXHVjNzkwXHVjMmUwXHVjNzU4IFx1ZDA2Y1x1YWUzMFx1YjljY1x1ZDA3YyBcdWI0YTRcdWI4NWMgXHVjNmMwXHVjOWMxXHVjNzc4XHViMmU0LiBcdWM5ODksIFx1Yzc5MVx1YzVjNSBcdWMyYWNcdWI4NmZcdWM3NTggXHVjODA0XHVjY2I0IFx1YWQ2Y1x1YWMwNFx1Yzc0NCAkXFxsZWZ0WyAwLDEgXFxyaWdodCkkXHViODVjIFx1ZDQ1Y1x1ZDYwNFx1ZDU4OFx1Yzc0NCBcdWI1NGMsICRpJFx1YmM4OFx1YzlmOCBcdWMwZGRcdWMwYjAgXHVkNTA0XHViODVjXHVjMTM4XHVjMmE0XHVhYzAwICRcXGxlZnRbIFxcZnJhY3tqLTF9e3NfaX0gLFxcZnJhY3tqfXtzX2l9IFxccmlnaHQpJFx1Yzc1OCBcdWFkNmNcdWFjMDRcdWM3NDQgXHVjYzI4XHVjOWMwXHVkNTU4XHVhY2UwIFx1Yzc4OFx1YzVjOFx1YjJlNFx1YmE3NCwgXHVjNzc0XHViM2Q5IFx1ZDZjNCAkXFxsZWZ0WyBcXGZyYWN7an17c19pfSAsXFxmcmFje2orMX17c19pfSBcXHJpZ2h0KSRcdWM3NTggXHVhZDZjXHVhYzA0XHVjNzQ0IFx1Y2MyOFx1YzljMFx1ZDU1OFx1YWM4YyBcdWI0MWNcdWIyZTQuIFx1YjJlOCwgXHVjNzc0XHViM2Q5IFx1YzJkYyBcdWIyZTRcdWI5NzggXHVjMGRkXHVjMGIwIFx1ZDUwNFx1Yjg1Y1x1YzEzOFx1YzJhNFx1YWMwMCBcdWNjMjhcdWM5YzBcdWQ1NThcdWIyOTQgXHVhZDZjXHVhYzA0XHVhY2ZjIFx1YWNiOVx1Y2U1OFx1YWM4YyBcdWI0MThcdWIyOTQgXHVhY2JkXHVjNmIwXHVjNWQwXHViMjk0IFx1YzZjMFx1YzljMVx1Yzc3NFx1YzljMCBcdWM1NGFcdWIyOTRcdWIyZTQuIFx1YzJhY1x1Yjg2Zlx1Yzc0NCBcdWQxYjVcdWFjZmNcdWQ1NThcdWM1ZWMgJFswLDEpJCBcdWJjMTZcdWM3M2NcdWI4NWMgXHViMDk4XHVjNjI4IFx1YWNiZFx1YzZiMCBcdWM3NzQgXHVjMGRkXHVjMGIwIFx1ZDUwNFx1Yjg1Y1x1YzEzOFx1YzJhNFx1YjI5NCBcdWM2NDRcdWI4Y2NcdWI0MWMgXHVhYzgzXHVjNzc0XHViYTcwLCBcdWIzNTQgXHVjNzc0XHVjMGMxIFx1YWNmNVx1YWMwNFx1Yzc0NCBcdWNjMjhcdWM5YzBcdWQ1NThcdWM5YzAgXHVjNTRhXHViMjk0XHViMmU0LjxcL2xpPlxyXG5cdDxsaT5cdWI4NWNcdWQ1NThcdWIyOTQgXHVjNTQ0XHVjOWMxIFx1ZDU2MFx1YjJmOVx1ZDU1OFx1YzljMCBcdWM1NGFcdWM3NDAgXHVjMGRkXHVjMGIwIFx1ZDUwNFx1Yjg1Y1x1YzEzOFx1YzJhNCBcdWM5MTEgXHVkNTU4XHViMDk4XHViOTdjIFx1YWNlOFx1Yjc3YyBcdWMyYWNcdWI4NmZcdWM1ZDAgXHVkNTYwXHViMmY5XHVkNTU4XHVhYzcwXHViMDk4IFx1ZDU2MFx1YjJmOVx1ZDU1OFx1YzljMCBcdWM1NGFcdWM3NDQgXHVjMjE4IFx1Yzc4OFx1YjJlNC4gJGkkXHViYzg4XHVjOWY4IFx1YzBkZFx1YzBiMCBcdWQ1MDRcdWI4NWNcdWMxMzhcdWMyYTRcdWI5N2MgXHVkNTYwXHViMmY5XHVkNTYwIFx1YWNiZFx1YzZiMCBcdWMyYWNcdWI4NmZcdWM3NTggJFxcbGVmdFsgMCxcXGZyYWN7MX17c19pfSBcXHJpZ2h0KSQgXHViZDgwXHViZDg0XHVjNWQwIFx1YzBkZFx1YzBiMCBcdWQ1MDRcdWI4NWNcdWMxMzhcdWMyYTRcdWI5N2MgXHVkNTYwXHViMmY5XHVkNTVjXHViMmU0LiBcdWIyZTgsIFx1YjJlNFx1Yjk3OCBcdWMwZGRcdWMwYjAgXHVkNTA0XHViODVjXHVjMTM4XHVjMmE0XHVhYzAwIFx1Y2MyOFx1YzljMFx1ZDU1OFx1YWNlMCBcdWM3ODhcdWIyOTQgXHVhZDZjXHVhYzA0XHVhY2ZjIFx1YWNiOVx1Y2U1OFx1YjI5NCBcdWFjYmRcdWM2YjAgXHVkNTYwXHViMmY5XHVkNTYwIFx1YzIxOCBcdWM1YzZcdWIyZTQuPFwvbGk+XHJcbjxcL3VsPlxyXG5cclxuPHA+XHViYWE4XHViNGUwIFx1Yzc5MFx1YjNkOVx1Y2MyOFx1YWMwMCBcdWM3OTFcdWM1YzUgXHVjMmFjXHViODZmXHVjNzQ0IFx1YWM3MFx1Y2NkMCBcdWMwZGRcdWMwYjBcdWI0MjAgXHViNTRjXHVhZTRjXHVjOWMwIFx1YWM3OFx1YjlhY1x1YjI5NCBcdWNkNWNcdWMxOGMgXHVjMmRjXHVhYzA0XHVjNzc0IFx1YmE4NyBcdWNkMDhcdWM3NzhcdWM5YzAgXHVhZDZjXHVkNTU4XHVjNWVjXHViNzdjLjxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHVjY2FiIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgXHVjMGRkXHVjMGIwXHVkNTc0XHVjNTdjIFx1ZDU1OFx1YjI5NCBcdWM3OTBcdWIzZDlcdWNjMjhcdWM3NTggXHVhYzFjXHVjMjE4ICROJFx1Yzc3NCBcdWM4ZmNcdWM1YjRcdWM5YzRcdWIyZTQuICQoMVxcbGVxIE5cXGxlcSAyMDBcXCwgMDAwKSQ8XC9wPlxyXG5cclxuPHA+XHViNDUwIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgJE4kXHVhYzFjXHVjNzU4IFx1Yzc5MFx1YjNkOVx1Y2MyOFx1Yzc1OCBcdWMwZGRcdWMwYjAgXHVkNTA0XHViODVjXHVjMTM4XHVjMmE0XHVjNWQwIFx1YjMwMFx1ZDU1YyBcdWFjMDFcdWFjMDFcdWM3NTggXHViMmU4XHVhY2M0IFx1YzIxOCAkc18xLHNfMixcXGxkb3RzICxzX04kXHVjNzc0IFx1YWNmNVx1YmMzMVx1YzczY1x1Yjg1YyBcdWFkNmNcdWJkODRcdWI0MThcdWM1YjQgXHVjOGZjXHVjNWI0XHVjOWM0XHViMmU0LiAkKDFcXGxlcSBzX2lcXGxlcSAyMDBcXCwgMDAwKSQ8XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWNjYWIgXHViYzg4XHVjOWY4IFx1YzkwNFx1YzVkMCwgXHViYWE4XHViNGUwIFx1Yzc5MFx1YjNkOVx1Y2MyOFx1YWMwMCBcdWM3OTFcdWM1YzUgXHVjMmFjXHViODZmXHVjNzQ0IFx1YWM3MFx1Y2NkMCBcdWIwNWRcdWIwYTAgXHViNTRjXHVhZTRjXHVjOWMwIFx1YWM3OFx1YjlhY1x1YjI5NCBcdWNkNWNcdWMxOGMgXHVjMmRjXHVhYzA0XHVjNzQ0IFx1Y2QwOCBcdWIyZThcdWM3MDRcdWI4NWMgXHVjZDljXHViODI1XHVkNTVjXHViMmU0LjxcL3A+XHJcbiIsImhpbnQiOiI8cD5cdWJjMThcdWM1ZjRcdWI5YjBcdWFkNmNcdWFjMDQgJFthLCBiKSQgXHViMjk0ICRhJCBcdWM3NzRcdWMwYzEgJGIkIFx1YmJmOFx1YjljY1x1Yzc1OCBcdWJhYThcdWI0ZTAgXHVjMjE4XHViOTdjIFx1ZDNlY1x1ZDU2OFx1ZDU1OFx1YjI5NCBcdWFkNmNcdWFjMDRcdWM3NzRcdWIyZTQuPFwvcD5cclxuIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4ifSx7InByb2JsZW1faWQiOiIzMDg3NCIsInByb2JsZW1fbGFuZyI6IjEiLCJ0aXRsZSI6IlBpcGVsaW5lZCIsImRlc2NyaXB0aW9uIjoiPHA+TG9oYSwgYW4gZW1wbG95ZWUgYXQmbmJzcDtIeXVuZGFpIE1vdG9yIENvbXBhbnksIGhhcyBwbGFubmVkIGEgcHJvZHVjdGlvbiBwcm9jZXNzIG9mIG1ha2luZyAkTiQgY2FycyZuYnNwO3VzaW5nIGEgc2luZ2xlJm5ic3A7dGFzayBzbG90LiBNYWtpbmcgdGhlJm5ic3A7JGkkLXRoIGNhciByZXF1aXJlcyBhIHByb2Nlc3MgY29tcG9zZWQmbmJzcDtvZiAkc19pJCBzdGVwcy4gVGhlIHRhc2sgc2xvdCBjYW4gYmUgcmVwcmVzZW50ZWQgYXMgdGhlIHJhbmdlICRcXGxlZnRbIDAsMSBcXHJpZ2h0KSQgb24gdGhlIG51bWJlciBsaW5lLCBhbmQgaWYgdGhlIHByb2Nlc3MgZm9yJm5ic3A7dGhlICRpJC10aCBjYXIgaXMgYXNzaWduZWQsIGl0Jm5ic3A7dGFrZXMgdXAgYSBoYWxmLW9wZW4gaW50ZXJ2YWwmbmJzcDtvZiBzaXplICRcXGZyYWN7MX17c19pfSQgaW4gdGhlIHNsb3QuIFN0YXJ0aW5nIGZyb20gJDAkIHNlY29uZHMsIHRoZSBiZWxvdyBldmVudHMgb2NjdXIgaW4gb3JkZXIgZWFjaCBzZWNvbmQuJm5ic3A7PFwvcD5cclxuXHJcbjx1bD5cclxuXHQ8bGk+U3RhcnRpbmcgZnJvbSB0aGUgcHJvY2VzcyBhc3NpZ25lZCBlYXJsaWVyLCBlYWNoIHByb2Nlc3MgaW4gdGhlIHRhc2sgc2xvdCBtb3ZlcyB0byB0aGUgYmFjayBieSBleGFjdGx5IHRoZSBzaXplIG9mIHRoZSBpbnRlcnZhbCZuYnNwO2l0IHRha2VzIHVwLiBUaGF0IGlzLCBpZiB3ZSByZXByZXNlbnQgdGhlIHNsb3QgYXMgdGhlIHJhbmdlICRcXGxlZnRbIDAsMSBcXHJpZ2h0KSQsIGFuZCBpZiB0aGUgJGkkLXRoIHByb2Nlc3Mgd2FzIHRha2luZyB1cCAkXFxsZWZ0WyBcXGZyYWN7ai0xfXtzX2l9ICxcXGZyYWN7an17c19pfSBcXHJpZ2h0KSQsIGl0IG5vdyB0YWtlcyB1cCAkXFxsZWZ0WyBcXGZyYWN7an17c19pfSAsXFxmcmFje2orMX17c19pfSBcXHJpZ2h0KSQuIEhvd2V2ZXIsIGlmIG1vdmluZyB0aGUgcHJvY2VzcyBjYXVzZXMgdGhlIG5ldyBpbnRlcnZhbCB0byBvdmVybGFwIHdpdGggdGhlIGludGVydmFsIHRha2VuIHVwIGJ5IGFub3RoZXIgcHJvY2VzcywgbW92ZW1lbnQgZG9lcyBub3QgdGFrZSBwbGFjZS4gSW4gYWRkaXRpb24sIGlmIHRoZSBuZXcgaW50ZXJ2YWwgZ29lcyBwYXN0IHRoZSByYW5nZSAkWzAsMSkkLCBpdCBtZWFucyB0aGUgcHJvY2VzcyZuYnNwO2hhcyBiZWVuIGNvbXBsZXRlZCBhbmQgbm8gbG9uZ2VyIHRha2VzIHVwIHNwYWNlIGluIHRoZSBzbG90LjxcL2xpPlxyXG5cdDxsaT5Mb2hhIGNhbiBzZWxlY3QgYW4gdW5hc3NpZ25lZCBwcm9jZXNzJm5ic3A7YW5kIG1heSBvciBtYXkgbm90IGNob29zZSB0byBhc3NpZ24gaXQgdG8gdGhlIHRhc2sgc2xvdC4gSWYgdGhlICRpJC10aCBwcm9jZXNzIHdhcyBzZWxlY3RlZCwgaXQgaXMgYXNzaWduZWQgdG8gdGhlIGludGVydmFsICRcXGxlZnRbIDAsXFxmcmFjezF9e3NfaX0gXFxyaWdodCkkLiBIb3dldmVyLCBpZiB0aGUgaW50ZXJ2YWwgdG8gYmUgYXNzaWduZWQgb3ZlcmxhcHMgd2l0aCB0aGUgaW50ZXJ2YWwgdGFrZW4gdXAgYnkgYW5vdGhlciB0YXNrLCBMb2hhIGNhbm5vdCBhc3NpZ24gdGhhdCBwcm9jZXNzLjxcL2xpPlxyXG48XC91bD5cclxuXHJcbjxwPkZpbmQgdGhlIHNob3J0ZXN0IHRpbWUgaW4gc2Vjb25kcyBpdCB0YWtlcyBmb3IgYWxsIGNhcnMgdG8gYmUgbWFkZSZuYnNwO3VzaW5nIHRoZSB0YXNrIHNsb3QuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5UaGUgZmlyc3QgbGluZSBvZiBpbnB1dCBjb250YWlucyBhIHNpbmdsZSBpbnRlZ2VyICROJCwgZGVub3RpbmcgdGhlIG51bWJlciBvZiBjYXJzIHRvIGJlIG1hZGUuICQoMVxcbGVxIE5cXGxlcSAyMDBcXCwgMDAwKSQ8XC9wPlxyXG5cclxuPHA+VGhlIHNlY29uZCBsaW5lIG9mIGlucHV0IGNvbnRhaW5zICROJCBzcGFjZS1zZXBhcmF0ZWQgaW50ZWdlcnMgJHNfMSxzXzIsXFxsZG90cyAsc19OJCwgZGVub3RpbmcgdGhlIG51bWJlciBvZiBzdGVwcyBjb21wb3NpbmcgdGhlIHByb2Nlc3MgZm9yIG1ha2luZyBlYWNoIGNhci4gJCgxXFxsZXEgc19pXFxsZXEgMjAwXFwsIDAwMCkkPFwvcD5cclxuIiwib3V0cHV0IjoiPHA+VGhlIGZpcnN0IGxpbmUgb2Ygb3V0cHV0IHNob3VsZCBjb250YWluIHRoZSZuYnNwO3Nob3J0ZXN0IHRpbWUgaW4gc2Vjb25kcyBpdCB0YWtlcyBmb3IgYWxsIGNhcnMgdG8gYmUgbWFkZSZuYnNwO3VzaW5nIHRoZSB0YXNrIHNsb3QuPFwvcD5cclxuIiwiaGludCI6IjxwPlRoZSBoYWxmLW9wZW4gaW50ZXJ2YWwgJFthLGIpJCBpcyB0aGUgcmFuZ2UgdGhhdCBpbmNsdWRlcyBhbGwgbnVtYmVycyBncmVhdGVyIHRoYW4gb3IgZXF1YWwgdG8gJGEkIGFuZCBsZXNzIHRoYW4gJGIkLjxcL3A+XHJcbiIsIm9yaWdpbmFsIjoiMCIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCJ9XQ==