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

문제

KSA의 기숙사에서는 라면을 먹는 것이 금지되어 있다. 그러나 너무나도 배고팠던 가온이는 생활자치부의 눈을 피해 방에 $N$개의 라면을 숨기려고 한다. 각 라면은 $2, 4, \cdots, 2N$의 크기를 가진다.

가온이의 방에는 라면을 숨길 장소가 $K$개 존재한다. $i$번 장소에는 정확히 $C_i$개의 라면만을 숨길 수 있다. $(1 \le i \le K)$

이때 가온이는 가지고 있는 모든 라면을 숨겨야 하며, 각 장소에 숨길 수 있는 라면 개수의 총합은 가지고 있는 라면의 개수와 같다. 즉, $N = \sum_{i=1}^K C_i$이다.

$i$번 장소는 접근성 $A_i$를 가지며, $i$번 장소의 위험도는 다음과 같이 정의된다.

$A_i \times (i$번 장소에 숨긴 라면 크기의 중앙값$)$

단, 길이가 $n$인 수열의 중앙값은 $n$이 짝수일 때 $\cfrac{n}{2}$번째로 작은 값과 $\cfrac{n}{2}+1$번째로 작은 값의 산술평균으로, $n$이 홀수일 때 $\cfrac{n+1}{2}$번째로 작은 값으로 정의된다. 예를 들어 $[11, 16, 18, 12, 14]$의 중앙값은 $14$, $[8, 10, 18, 12, 14, 2]$의 중앙값은 $11$이다.

가온이를 도와 모든 장소의 위험도의 합을 최소화하는 방법을 찾아보자.

입력

첫 번째 줄에 두 개의 정수 $N$, $K$가 공백으로 구분되어 주어진다.

다음 $K$개의 줄 중 $i$번째 줄에 두 개의 정수 $C_i$, $A_i$가 공백으로 구분되어 주어진다.

출력

모든 장소의 위험도의 합의 최솟값을 출력한다. 주어진 조건 하에서 정답은 정수임이 보장된다.

제한

  • $1 \le K \le 2 \times 10^5$
  • $K \le N \le 10^9$
  • $C_i \ge 1$
  • $\sum_{i=1}^K C_i = N$
  • $1 \le A_i \le 1000$

서브태스크

번호배점제한
13

$K=1$

27

$C_i \le 2$

330

$A_i=1$

460

추가 제약 조건 없음

예제 입력 1

5 2
4 3
1 1

예제 출력 1

23

예제 입력 2

8 3
2 3
3 5
3 4

예제 출력 2

85
W3sicHJvYmxlbV9pZCI6IjM1MzAyIiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHViNzdjXHViYTc0IFx1YzIyOFx1YWUzMFx1YWUzMCIsImRlc2NyaXB0aW9uIjoiPHA+S1NBXHVjNzU4IFx1YWUzMFx1YzIxOVx1YzBhY1x1YzVkMFx1YzExY1x1YjI5NCBcdWI3N2NcdWJhNzRcdWM3NDQgXHViYTM5XHViMjk0IFx1YWM4M1x1Yzc3NCBcdWFlMDhcdWM5YzBcdWI0MThcdWM1YjQgXHVjNzg4XHViMmU0LiBcdWFkZjhcdWI3ZWNcdWIwOTggXHViMTA4XHViYjM0XHViMDk4XHViM2M0IFx1YmMzMFx1YWNlMFx1ZDMyMFx1YjM1OCBcdWFjMDBcdWM2MjhcdWM3NzRcdWIyOTQgXHVjMGRkXHVkNjVjXHVjNzkwXHVjZTU4XHViZDgwXHVjNzU4IFx1YjIwOFx1Yzc0NCBcdWQ1M2NcdWQ1NzQgXHViYzI5XHVjNWQwICROJFx1YWMxY1x1Yzc1OCBcdWI3N2NcdWJhNzRcdWM3NDQgXHVjMjI4XHVhZTMwXHViODI0XHVhY2UwIFx1ZDU1Y1x1YjJlNC4gXHVhYzAxIFx1Yjc3Y1x1YmE3NFx1Yzc0MCAkMiwgNCwgXFxjZG90cywgMk4kXHVjNzU4IFx1ZDA2Y1x1YWUzMFx1Yjk3YyBcdWFjMDBcdWM5YzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YWMwMFx1YzYyOFx1Yzc3NFx1Yzc1OCBcdWJjMjlcdWM1ZDBcdWIyOTQgXHViNzdjXHViYTc0XHVjNzQ0IFx1YzIyOFx1YWUzOCBcdWM3YTVcdWMxOGNcdWFjMDAgJEskXHVhYzFjIFx1Yzg3NFx1YzdhY1x1ZDU1Y1x1YjJlNC4gJGkkXHViYzg4IFx1YzdhNVx1YzE4Y1x1YzVkMFx1YjI5NCBcdWM4MTVcdWQ2NTVcdWQ3ODggJENfaSRcdWFjMWNcdWM3NTggXHViNzdjXHViYTc0XHViOWNjXHVjNzQ0IFx1YzIyOFx1YWUzOCBcdWMyMTggXHVjNzg4XHViMmU0LiAkKDEgXFxsZSBpIFxcbGUgSykkPFwvcD5cclxuXHJcbjxwPlx1Yzc3NFx1YjU0YyBcdWFjMDBcdWM2MjhcdWM3NzRcdWIyOTQgXHVhYzAwXHVjOWMwXHVhY2UwIFx1Yzc4OFx1YjI5NCBcdWJhYThcdWI0ZTAgXHViNzdjXHViYTc0XHVjNzQ0IFx1YzIyOFx1YWNhOFx1YzU3YyBcdWQ1NThcdWJhNzAsIFx1YWMwMSBcdWM3YTVcdWMxOGNcdWM1ZDAgXHVjMjI4XHVhZTM4IFx1YzIxOCBcdWM3ODhcdWIyOTQgXHViNzdjXHViYTc0IFx1YWMxY1x1YzIxOFx1Yzc1OCBcdWNkMWRcdWQ1NjlcdWM3NDAgXHVhYzAwXHVjOWMwXHVhY2UwIFx1Yzc4OFx1YjI5NCBcdWI3N2NcdWJhNzRcdWM3NTggXHVhYzFjXHVjMjE4XHVjNjQwIFx1YWMxOVx1YjJlNC4gXHVjOTg5LCAkTiA9IFxcc3VtX3tpPTF9XksgQ19pJFx1Yzc3NFx1YjJlNC48XC9wPlxyXG5cclxuPHA+JGkkXHViYzg4IFx1YzdhNVx1YzE4Y1x1YjI5NCBcdWM4MTFcdWFkZmNcdWMxMzEgJEFfaSRcdWI5N2MgXHVhYzAwXHVjOWMwXHViYTcwLCAkaSRcdWJjODggXHVjN2E1XHVjMThjXHVjNzU4IDxzdHJvbmc+XHVjNzA0XHVkNWQ4XHViM2M0PFwvc3Ryb25nPlx1YjI5NCBcdWIyZTRcdWM3NGNcdWFjZmMgXHVhYzE5XHVjNzc0IFx1YzgxNVx1Yzc1OFx1YjQxY1x1YjJlNC48XC9wPlxyXG5cclxuPHAgc3R5bGU9XCJ0ZXh0LWFsaWduOiBjZW50ZXI7XCI+JEFfaSBcXHRpbWVzIChpJFx1YmM4OCBcdWM3YTVcdWMxOGNcdWM1ZDAgXHVjMjI4XHVhZTM0IFx1Yjc3Y1x1YmE3NCBcdWQwNmNcdWFlMzBcdWM3NTggXHVjOTExXHVjNTU5XHVhYzEyJCkkPFwvcD5cclxuXHJcbjxwPlx1YjJlOCwgXHVhZTM4XHVjNzc0XHVhYzAwICRuJFx1Yzc3OCBcdWMyMThcdWM1ZjRcdWM3NTggXHVjOTExXHVjNTU5XHVhYzEyXHVjNzQwICRuJFx1Yzc3NCBcdWM5ZGRcdWMyMThcdWM3N2MgXHViNTRjICRcXGNmcmFje259ezJ9JFx1YmM4OFx1YzlmOFx1Yjg1YyBcdWM3OTFcdWM3NDAgXHVhYzEyXHVhY2ZjICRcXGNmcmFje259ezJ9KzEkXHViYzg4XHVjOWY4XHViODVjIFx1Yzc5MVx1Yzc0MCBcdWFjMTJcdWM3NTggXHVjMGIwXHVjMjIwXHVkM2M5XHVhZGUwXHVjNzNjXHViODVjLCAkbiRcdWM3NzQgXHVkNjQwXHVjMjE4XHVjNzdjIFx1YjU0YyAkXFxjZnJhY3tuKzF9ezJ9JFx1YmM4OFx1YzlmOFx1Yjg1YyBcdWM3OTFcdWM3NDAgXHVhYzEyXHVjNzNjXHViODVjIFx1YzgxNVx1Yzc1OFx1YjQxY1x1YjJlNC4gXHVjNjA4XHViOTdjIFx1YjRlNFx1YzViNCAkWzExLCAxNiwgMTgsIDEyLCAxNF0kXHVjNzU4IFx1YzkxMVx1YzU1OVx1YWMxMlx1Yzc0MCAkMTQkLCAkWzgsIDEwLCAxOCwgMTIsIDE0LCAyXSRcdWM3NTggXHVjOTExXHVjNTU5XHVhYzEyXHVjNzQwICQxMSRcdWM3NzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YWMwMFx1YzYyOFx1Yzc3NFx1Yjk3YyBcdWIzYzRcdWM2NDAgXHViYWE4XHViNGUwIFx1YzdhNVx1YzE4Y1x1Yzc1OCA8c3Ryb25nPlx1YzcwNFx1ZDVkOFx1YjNjNDxcL3N0cm9uZz5cdWM3NTggXHVkNTY5XHVjNzQ0IFx1Y2Q1Y1x1YzE4Y1x1ZDY1NFx1ZDU1OFx1YjI5NCBcdWJjMjlcdWJjOTVcdWM3NDQgXHVjYzNlXHVjNTQ0XHViY2Y0XHVjNzkwLjxcL3A+XHJcbiIsImlucHV0IjoiPHA+XHVjY2FiIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgXHViNDUwIFx1YWMxY1x1Yzc1OCBcdWM4MTVcdWMyMTggJE4kLCAkSyRcdWFjMDAgXHVhY2Y1XHViYzMxXHVjNzNjXHViODVjIFx1YWQ2Y1x1YmQ4NFx1YjQxOFx1YzViNCBcdWM4ZmNcdWM1YjRcdWM5YzRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YjJlNFx1Yzc0YyAkSyRcdWFjMWNcdWM3NTggXHVjOTA0IFx1YzkxMSAkaSRcdWJjODhcdWM5ZjggXHVjOTA0XHVjNWQwIFx1YjQ1MCBcdWFjMWNcdWM3NTggXHVjODE1XHVjMjE4ICRDX2kkLCAkQV9pJFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC48XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5cdWJhYThcdWI0ZTAgXHVjN2E1XHVjMThjXHVjNzU4IDxzdHJvbmc+XHVjNzA0XHVkNWQ4XHViM2M0PFwvc3Ryb25nPlx1Yzc1OCBcdWQ1NjlcdWM3NTggXHVjZDVjXHVjMTlmXHVhYzEyXHVjNzQ0IFx1Y2Q5Y1x1YjgyNVx1ZDU1Y1x1YjJlNC4gXHVjOGZjXHVjNWI0XHVjOWM0IFx1Yzg3MFx1YWM3NCBcdWQ1NThcdWM1ZDBcdWMxMWMgXHVjODE1XHViMmY1XHVjNzQwIFx1YzgxNVx1YzIxOFx1Yzc4NFx1Yzc3NCBcdWJjZjRcdWM3YTVcdWI0MWNcdWIyZTQuPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMSIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiS29yZWFuIiwibGltaXQiOiI8dWw+XHJcbjxsaT4kMSBcXGxlIEsgXFxsZSAyIFxcdGltZXMgMTBeNSQ8XC9saT5cclxuPGxpPiRLIFxcbGUgTiBcXGxlIDEwXjkkPFwvbGk+XHJcbjxsaT4kQ19pIFxcZ2UgMSQ8XC9saT5cclxuPGxpPiRcXHN1bV97aT0xfV5LIENfaSA9IE4kPFwvbGk+XHJcbjxsaT4kMSBcXGxlIEFfaSBcXGxlIDEwMDAkPFwvbGk+XHJcbjxcL3VsPlxyXG4iLCJzdWJ0YXNrMSI6IjxwPiRLPTEkPFwvcD5cclxuIiwic3VidGFzazIiOiI8cD4kQ19pIFxcbGUgMiQ8XC9wPlxyXG4iLCJzdWJ0YXNrMyI6IjxwPiRBX2k9MSQ8XC9wPlxyXG4iLCJzdWJ0YXNrNCI6IjxwPlx1Y2Q5NFx1YWMwMCBcdWM4MWNcdWM1N2QgXHVjODcwXHVhYzc0IFx1YzVjNlx1Yzc0YzxcL3A+XHJcbiJ9LHsicHJvYmxlbV9pZCI6IjM1MzAyIiwicHJvYmxlbV9sYW5nIjoiMSIsInRpdGxlIjoiSGlkaW5nIEluc3RhbnQgTm9vZGxlcyIsImRlc2NyaXB0aW9uIjoiPHA+QXQgdGhlIGRvcm1pdG9yeSBvZiBLU0EsIGVhdGluZyBpbnN0YW50IG5vb2RsZXMgaXMgcHJvaGliaXRlZC4gSG93ZXZlciwgc2luY2UgR2FvbiB3YXMgZXh0cmVtZWx5IGh1bmdyeSwgaGUgZGVjaWRlZCB0byBzZWNyZXRseSBoaWRlICROJCBwYWNrcyBvZiBpbnN0YW50IG5vb2RsZXMgaW4gaGlzIHJvb20gd2l0aG91dCBnZXR0aW5nIGNhdWdodCBieSB0aGUgRGVwYXJ0bWVudCBvZiBTdHVkZW50IEFmZmFpcnMuIEVhY2ggaW5zdGFudCBub29kbGUgcGFjayBoYXMgYSBzaXplIG9mICQyLCA0LCBcXGNkb3RzLCAyTiQuPFwvcD5cclxuXHJcbjxwPlRoZXJlIGFyZSAkSyQgcG9zc2libGUgaGlkaW5nIHNwb3RzIGluIEdhb24mIzM5O3Mgcm9vbS4gVGhlICRpJC10aCBwbGFjZSBjYW4gaGlkZSBleGFjdGx5ICRDX2kkIGluc3RhbnQgbm9vZGxlIHBhY2tzLiAkKDEgXFxsZSBpIFxcbGUgSykkPFwvcD5cclxuXHJcbjxwPkdhb24gbXVzdCBoaWRlIGFsbCBvZiB0aGUgaW5zdGFudCBub29kbGVzIGhlIGhhcywgYW5kIHRoZSB0b3RhbCBudW1iZXIgb2YgaW5zdGFudCBub29kbGUgcGFja3MgdGhhdCBjYW4gYmUgaGlkZGVuIGFjcm9zcyBhbGwgcGxhY2VzIGlzIGVxdWFsIHRvIHRoZSBudW1iZXIgaGUgb3ducy4gVGhhdCBpcywgJE4gPSBcXHN1bV97aT0xfV57S30gQ19pJC48XC9wPlxyXG5cclxuPHA+VGhlICRpJC10aCBoaWRpbmcgc3BvdCBoYXMgYW4gYWNjZXNzaWJpbGl0eSB2YWx1ZSAkQV9pJCwgYW5kIHRoZSA8c3Ryb25nPnJpc2s8XC9zdHJvbmc+IG9mIHRoZSAkaSQtdGggcGxhY2UgaXMgZGVmaW5lZCBhczogJCRBX2kgXFx0aW1lcyAoXFx0ZXh0e3RoZSBtZWRpYW4gb2YgdGhlIHNpemVzIG9mIHRoZSBpbnN0YW50IG5vb2RsZXMgaGlkZGVuIGluIHRoZSAkaSQtdGggcGxhY2V9KSQkPFwvcD5cclxuXHJcbjxwPlRoZSBtZWRpYW4gb2YgYSBzZXF1ZW5jZSBvZiBsZW5ndGggJG4kIGlzIGRlZmluZWQgYXMgZm9sbG93czo8XC9wPlxyXG5cclxuPHVsPlxyXG5cdDxsaT5JZiAkbiQgaXMgZXZlbiwgaXQgaXMgdGhlIGFyaXRobWV0aWMgbWVhbiBvZiB0aGUgJFxcY2ZyYWN7bn17Mn0kLXRoIHNtYWxsZXN0IHZhbHVlIGFuZCB0aGUgJFxcY2ZyYWN7bn17Mn0rMSQtdGggc21hbGxlc3QgdmFsdWUuPFwvbGk+XHJcblx0PGxpPklmICRuJCBpcyBvZGQsIGl0IGlzIHRoZSAkXFxjZnJhY3tuKzF9ezJ9JC10aCBzbWFsbGVzdCB2YWx1ZS48XC9saT5cclxuPFwvdWw+XHJcblxyXG48cD5Gb3IgZXhhbXBsZSwgdGhlIG1lZGlhbiBvZiAkWzExLCAxNiwgMTgsIDEyLCAxNF0kIGlzICQxNCQsIGFuZCB0aGUgbWVkaWFuIG9mICRbOCwgMTAsIDE4LCAxMiwgMTQsIDJdJCBpcyAkMTEkLjxcL3A+XHJcblxyXG48cD5IZWxwIEdhb24gZmluZCBhIHdheSB0byBoaWRlIHRoZSBpbnN0YW50IG5vb2RsZXMgc28gdGhhdCB0aGUgc3VtIG9mIHRoZSA8c3Ryb25nPnJpc2tzPFwvc3Ryb25nPiBvdmVyIGFsbCBoaWRpbmcgc3BvdHMgaXMgbWluaW1pemVkLjxcL3A+XHJcbiIsImlucHV0IjoiPHA+VGhlIGZpcnN0IGxpbmUgY29udGFpbnMgdHdvIHNwYWNlLXNlcGFyYXRlZCBpbnRlZ2VycyAkTiQgYW5kICRLJC48XC9wPlxyXG5cclxuPHA+VGhlICRpJC10aCBsaW5lIG9mIHRoZSBmb2xsb3dpbmcgJEskIGxpbmVzIGNvbnRhaW5zIHR3byBzcGFjZS1zZXBhcmF0ZWQgaW50ZWdlcnMgJENfaSQgYW5kICRBX2kkLjxcL3A+XHJcbiIsIm91dHB1dCI6IjxwPlByaW50IHRoZSBtaW5pbXVtIHBvc3NpYmxlIHN1bSBvZiB0aGUgPHN0cm9uZz5yaXNrczxcL3N0cm9uZz4gb3ZlciBhbGwgaGlkaW5nIHNwb3RzLiZuYnNwO0l0IGlzIGd1YXJhbnRlZWQgdGhhdCB0aGUgYW5zd2VyIGlzIGFuIGludGVnZXIgdW5kZXIgdGhlIGdpdmVuIGNvbnN0cmFpbnRzLjxcL3A+XHJcbiIsImhpbnQiOiIiLCJvcmlnaW5hbCI6IjAiLCJodG1sX3RpdGxlIjoiMCIsInByb2JsZW1fbGFuZ190Y29kZSI6IkVuZ2xpc2giLCJsaW1pdCI6Ijx1bD5cclxuXHQ8bGk+JDEgXFxsZSBLIFxcbGUgMiBcXHRpbWVzIDEwXjUkPFwvbGk+XHJcblx0PGxpPiRLIFxcbGUgTiBcXGxlIDEwXjkkPFwvbGk+XHJcblx0PGxpPiRDX2kgXFxnZSAxJDxcL2xpPlxyXG5cdDxsaT4kXFxzdW1fe2k9MX1eSyBDX2kgPSBOJDxcL2xpPlxyXG5cdDxsaT4kMSBcXGxlIEFfaSBcXGxlIDEwMDAkPFwvbGk+XHJcbjxcL3VsPlxyXG4iLCJzdWJ0YXNrMSI6IjxwPiRLPTEkPFwvcD5cclxuIiwic3VidGFzazIiOiI8cD4kQ19pIFxcbGUgMiQ8XC9wPlxyXG4iLCJzdWJ0YXNrMyI6IjxwPiRBX2k9MSQ8XC9wPlxyXG4iLCJzdWJ0YXNrNCI6IjxwPk5vIGFkZGl0aW9uYWwgY29uc3RyYWludHM8XC9wPlxyXG4ifV0=

채점 및 기타 정보

  • 예제는 채점하지 않는다.
  • 이 문제의 채점 우선 순위는 2이다.