시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 (추가 시간 없음) 1024 MB (추가 메모리 없음)50024818049.451%

문제

외계인 윤이는 지구를 정복하고자 세계의 중심 도시인 울산을 침략했다. 울산에는 $N$개의 빌딩이 일렬로 늘어서 있고, 왼쪽에서 $i$번째 건물의 높이는 $h_i$이다.

윤이는 울산을 파괴하기 위해 다음과 같은 계획을 세웠다. 윤이는 매일 UFO를 타고 울산의 상공을 가르며 가장 높이가 높은 빌딩에 레이저를 발사할 것이다. 레이저에 맞은 빌딩은 높이가 $1$ 낮아진다. 만약 그 날에 가장 높이가 높은 빌딩이 여러 개라면, 해당하는 모든 빌딩에 레이저를 발사한다. 만약 이미 모든 빌딩의 높이가 $0$이 되었다면, 윤이는 더 이상 레이저를 발사하지 않는다.

윤이는 지금까지 $D$일 동안 계획을 착실하게 수행해 왔다. 윤이가 $D$일 동안 레이저를 발사한 총 횟수를 구하시오.

입력

첫 번째 줄에 건물의 개수 $N$과 윤이가 계획을 수행한 날의 수 $D$가 공백으로 구분되어 주어진다. ($1\le N\le 300\ 000$, $1\le D\le 300\ 000$)

두 번째 줄에 건물의 높이를 나타내는 $N$개의 정수 $h_i$가 공백으로 구분되어 주어진다. ($1\le h_i\le 300\ 000$)

출력

윤이가 $D$일 동안 레이저를 발사한 총 횟수를 출력한다. (32비트 정수 범위를 넘을 수 있음에 유의하라.)

예제 입력 1

5 3
1 3 2 5 4

예제 출력 1

6
  • 처음 건물의 높이는 $[1,3,2,5,4]$이다.
  • 첫 번째 날에 윤이는 레이저를 $1$회 발사하며, 건물의 높이는 $[1,3,2,4,4]$가 된다.
  • 두 번째 날에 윤이는 레이저를 $2$회 발사하며, 건물의 높이는 $[1,3,2,3,3]$이 된다.
  • 세 번째 날에 윤이는 레이저를 $3$회 발사하며, 건물의 높이는 $[1,2,2,2,2]$가 된다.

 

예제 입력 2

5 2
1 1 1 1 1

예제 출력 2

5
  • 처음 건물의 높이는 $[1,1,1,1,1]$이다.
  • 첫 번째 날에 윤이는 레이저를 $5$회 발사하며, 건물의 높이는 $[0,0,0,0,0]$이 된다.
  • 두 번째 날에 이미 모든 건물의 높이가 $0$이므로 윤이는 레이저를 발사하지 않는다.
W3sicHJvYmxlbV9pZCI6IjI2MTIzIiwicHJvYmxlbV9sYW5nIjoiMCIsInRpdGxlIjoiXHVjNjc4XHVhY2M0IFx1Y2U2OFx1YjdiNVx1Yzc5MCBcdWM3MjRcdWM3NzQiLCJkZXNjcmlwdGlvbiI6IjxwPlx1YzY3OFx1YWNjNFx1Yzc3OCBcdWM3MjRcdWM3NzRcdWIyOTQgXHVjOWMwXHVhZDZjXHViOTdjIFx1YzgxNVx1YmNmNVx1ZDU1OFx1YWNlMFx1Yzc5MCBcdWMxMzhcdWFjYzRcdWM3NTggXHVjOTExXHVjMmVjIFx1YjNjNFx1YzJkY1x1Yzc3OCBcdWM2YjhcdWMwYjBcdWM3NDQgXHVjZTY4XHViN2I1XHVkNTg4XHViMmU0LiBcdWM2YjhcdWMwYjBcdWM1ZDBcdWIyOTQgJE4kXHVhYzFjXHVjNzU4IFx1YmU0Y1x1YjUyOVx1Yzc3NCBcdWM3N2NcdWI4MmNcdWI4NWMgXHViMjk4XHVjNWI0XHVjMTFjIFx1Yzc4OFx1YWNlMCwgXHVjNjdjXHVjYWJkXHVjNWQwXHVjMTFjICRpJFx1YmM4OFx1YzlmOCBcdWFjNzRcdWJiM2NcdWM3NTggXHViMTkyXHVjNzc0XHViMjk0ICRoX2kkXHVjNzc0XHViMmU0LjxcL3A+XHJcblxyXG48cD5cdWM3MjRcdWM3NzRcdWIyOTQgXHVjNmI4XHVjMGIwXHVjNzQ0IFx1ZDMwY1x1YWQzNFx1ZDU1OFx1YWUzMCBcdWM3MDRcdWQ1NzQgXHViMmU0XHVjNzRjXHVhY2ZjIFx1YWMxOVx1Yzc0MCBcdWFjYzRcdWQ2OGRcdWM3NDQgXHVjMTM4XHVjNmUwXHViMmU0LiBcdWM3MjRcdWM3NzRcdWIyOTQgXHViOWU0XHVjNzdjIFVGT1x1Yjk3YyBcdWQwYzBcdWFjZTAgXHVjNmI4XHVjMGIwXHVjNzU4IFx1YzBjMVx1YWNmNVx1Yzc0NCBcdWFjMDBcdWI5NzRcdWJhNzAgXHVhYzAwXHVjN2E1IFx1YjE5Mlx1Yzc3NFx1YWMwMCBcdWIxOTJcdWM3NDAgXHViZTRjXHViNTI5XHVjNWQwIFx1YjgwOFx1Yzc3NFx1YzgwMFx1Yjk3YyBcdWJjMWNcdWMwYWNcdWQ1NjAgXHVhYzgzXHVjNzc0XHViMmU0LiBcdWI4MDhcdWM3NzRcdWM4MDBcdWM1ZDAgXHViOWRlXHVjNzQwIFx1YmU0Y1x1YjUyOVx1Yzc0MCBcdWIxOTJcdWM3NzRcdWFjMDAgJDEkIFx1YjBhZVx1YzU0NFx1YzljNFx1YjJlNC4gXHViOWNjXHVjNTdkIFx1YWRmOCBcdWIwYTBcdWM1ZDAgXHVhYzAwXHVjN2E1IFx1YjE5Mlx1Yzc3NFx1YWMwMCBcdWIxOTJcdWM3NDAgXHViZTRjXHViNTI5XHVjNzc0IFx1YzVlY1x1YjdlYyBcdWFjMWNcdWI3N2NcdWJhNzQsIFx1ZDU3NFx1YjJmOVx1ZDU1OFx1YjI5NCBcdWJhYThcdWI0ZTAgXHViZTRjXHViNTI5XHVjNWQwIFx1YjgwOFx1Yzc3NFx1YzgwMFx1Yjk3YyBcdWJjMWNcdWMwYWNcdWQ1NWNcdWIyZTQuIFx1YjljY1x1YzU3ZCBcdWM3NzRcdWJiZjggXHViYWE4XHViNGUwIFx1YmU0Y1x1YjUyOVx1Yzc1OCBcdWIxOTJcdWM3NzRcdWFjMDAgJDAkXHVjNzc0IFx1YjQxOFx1YzVjOFx1YjJlNFx1YmE3NCwgXHVjNzI0XHVjNzc0XHViMjk0IFx1YjM1NCBcdWM3NzRcdWMwYzEgXHViODA4XHVjNzc0XHVjODAwXHViOTdjIFx1YmMxY1x1YzBhY1x1ZDU1OFx1YzljMCBcdWM1NGFcdWIyOTRcdWIyZTQuPFwvcD5cclxuXHJcbjxwPlx1YzcyNFx1Yzc3NFx1YjI5NCBcdWM5YzBcdWFlMDhcdWFlNGNcdWM5YzAgJEQkXHVjNzdjIFx1YjNkOVx1YzU0OCBcdWFjYzRcdWQ2OGRcdWM3NDQgXHVjYzI5XHVjMmU0XHVkNTU4XHVhYzhjIFx1YzIxOFx1ZDU4OVx1ZDU3NCBcdWM2NTRcdWIyZTQuIFx1YzcyNFx1Yzc3NFx1YWMwMCAkRCRcdWM3N2MgXHViM2Q5XHVjNTQ4IFx1YjgwOFx1Yzc3NFx1YzgwMFx1Yjk3YyBcdWJjMWNcdWMwYWNcdWQ1NWMgXHVjZDFkIFx1ZDY5Zlx1YzIxOFx1Yjk3YyBcdWFkNmNcdWQ1NThcdWMyZGNcdWM2MjQuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5cdWNjYWIgXHViYzg4XHVjOWY4IFx1YzkwNFx1YzVkMCBcdWFjNzRcdWJiM2NcdWM3NTggXHVhYzFjXHVjMjE4ICROJFx1YWNmYyBcdWM3MjRcdWM3NzRcdWFjMDAgXHVhY2M0XHVkNjhkXHVjNzQ0IFx1YzIxOFx1ZDU4OVx1ZDU1YyBcdWIwYTBcdWM3NTggXHVjMjE4ICREJFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC4gKCQxXFxsZSBOXFxsZSAzMDBcXCAwMDAkLCAkMVxcbGUgRFxcbGUgMzAwXFwgMDAwJCk8XC9wPlxyXG5cclxuPHA+XHViNDUwIFx1YmM4OFx1YzlmOCBcdWM5MDRcdWM1ZDAgXHVhYzc0XHViYjNjXHVjNzU4IFx1YjE5Mlx1Yzc3NFx1Yjk3YyBcdWIwOThcdWQwYzBcdWIwYjRcdWIyOTQgJE4kXHVhYzFjXHVjNzU4IFx1YzgxNVx1YzIxOCAkaF9pJFx1YWMwMCBcdWFjZjVcdWJjMzFcdWM3M2NcdWI4NWMgXHVhZDZjXHViZDg0XHViNDE4XHVjNWI0IFx1YzhmY1x1YzViNFx1YzljNFx1YjJlNC4gKCQxXFxsZSBoX2lcXGxlIDMwMFxcIDAwMCQpPFwvcD5cclxuIiwib3V0cHV0IjoiPHA+XHVjNzI0XHVjNzc0XHVhYzAwICREJFx1Yzc3YyBcdWIzZDlcdWM1NDggXHViODA4XHVjNzc0XHVjODAwXHViOTdjIFx1YmMxY1x1YzBhY1x1ZDU1YyBcdWNkMWQgXHVkNjlmXHVjMjE4XHViOTdjIFx1Y2Q5Y1x1YjgyNVx1ZDU1Y1x1YjJlNC4gKDMyXHViZTQ0XHVkMmI4IFx1YzgxNVx1YzIxOCBcdWJjOTRcdWM3MDRcdWI5N2MgXHViMTE4XHVjNzQ0IFx1YzIxOCBcdWM3ODhcdWM3NGNcdWM1ZDAgXHVjNzIwXHVjNzU4XHVkNTU4XHViNzdjLik8XC9wPlxyXG4iLCJoaW50IjoiIiwib3JpZ2luYWwiOiIxIiwiaHRtbF90aXRsZSI6IjAiLCJwcm9ibGVtX2xhbmdfdGNvZGUiOiJLb3JlYW4iLCJzYW1wbGVfZXhwbGFpbl8xIjoiPHVsPlxyXG5cdDxsaT5cdWNjOThcdWM3NGMgXHVhYzc0XHViYjNjXHVjNzU4IFx1YjE5Mlx1Yzc3NFx1YjI5NCAkWzEsMywyLDUsNF0kXHVjNzc0XHViMmU0LjxcL2xpPlxyXG5cdDxsaT5cdWNjYWIgXHViYzg4XHVjOWY4IFx1YjBhMFx1YzVkMCBcdWM3MjRcdWM3NzRcdWIyOTQgXHViODA4XHVjNzc0XHVjODAwXHViOTdjICQxJFx1ZDY4YyBcdWJjMWNcdWMwYWNcdWQ1NThcdWJhNzAsIFx1YWM3NFx1YmIzY1x1Yzc1OCBcdWIxOTJcdWM3NzRcdWIyOTQgJFsxLDMsMiw0LDRdJFx1YWMwMCBcdWI0MWNcdWIyZTQuPFwvbGk+XHJcblx0PGxpPlx1YjQ1MCBcdWJjODhcdWM5ZjggXHViMGEwXHVjNWQwIFx1YzcyNFx1Yzc3NFx1YjI5NCBcdWI4MDhcdWM3NzRcdWM4MDBcdWI5N2MgJDIkXHVkNjhjIFx1YmMxY1x1YzBhY1x1ZDU1OFx1YmE3MCwgXHVhYzc0XHViYjNjXHVjNzU4IFx1YjE5Mlx1Yzc3NFx1YjI5NCAkWzEsMywyLDMsM10kXHVjNzc0IFx1YjQxY1x1YjJlNC48XC9saT5cclxuXHQ8bGk+XHVjMTM4IFx1YmM4OFx1YzlmOCBcdWIwYTBcdWM1ZDAgXHVjNzI0XHVjNzc0XHViMjk0IFx1YjgwOFx1Yzc3NFx1YzgwMFx1Yjk3YyAkMyRcdWQ2OGMgXHViYzFjXHVjMGFjXHVkNTU4XHViYTcwLCBcdWFjNzRcdWJiM2NcdWM3NTggXHViMTkyXHVjNzc0XHViMjk0ICRbMSwyLDIsMiwyXSRcdWFjMDAgXHViNDFjXHViMmU0LjxcL2xpPlxyXG48XC91bD5cclxuXHJcbjxwPiZuYnNwOzxcL3A+XHJcbiIsInNhbXBsZV9leHBsYWluXzIiOiI8dWw+XHJcblx0PGxpPlx1Y2M5OFx1Yzc0YyBcdWFjNzRcdWJiM2NcdWM3NTggXHViMTkyXHVjNzc0XHViMjk0ICRbMSwxLDEsMSwxXSRcdWM3NzRcdWIyZTQuPFwvbGk+XHJcblx0PGxpPlx1Y2NhYiBcdWJjODhcdWM5ZjggXHViMGEwXHVjNWQwIFx1YzcyNFx1Yzc3NFx1YjI5NCBcdWI4MDhcdWM3NzRcdWM4MDBcdWI5N2MgJDUkXHVkNjhjIFx1YmMxY1x1YzBhY1x1ZDU1OFx1YmE3MCwgXHVhYzc0XHViYjNjXHVjNzU4IFx1YjE5Mlx1Yzc3NFx1YjI5NCAkWzAsMCwwLDAsMF0kXHVjNzc0IFx1YjQxY1x1YjJlNC48XC9saT5cclxuXHQ8bGk+XHViNDUwIFx1YmM4OFx1YzlmOCBcdWIwYTBcdWM1ZDAgXHVjNzc0XHViYmY4IFx1YmFhOFx1YjRlMCBcdWFjNzRcdWJiM2NcdWM3NTggXHViMTkyXHVjNzc0XHVhYzAwICQwJFx1Yzc3NFx1YmJjMFx1Yjg1YyBcdWM3MjRcdWM3NzRcdWIyOTQgXHViODA4XHVjNzc0XHVjODAwXHViOTdjIFx1YmMxY1x1YzBhY1x1ZDU1OFx1YzljMCBcdWM1NGFcdWIyOTRcdWIyZTQuPFwvbGk+XHJcbjxcL3VsPlxyXG4ifSx7InByb2JsZW1faWQiOiIyNjEyMyIsInByb2JsZW1fbGFuZyI6IjEiLCJ0aXRsZSI6Ill1bmVlIHRoZSBBbGllbiBJbnZhZGVyIiwiZGVzY3JpcHRpb24iOiI8cD5ZdW5lZSB0aGUgYWxpZW4gaXMgaW52YWRpbmcgVWxzYW4sIHRoZSB3b3JsZCZyc3F1bztzIGNlbnRyYWwgY2l0eSwgdG8gY29ucXVlciB0aGUgRWFydGguIFRoZXJlIGFyZSAkTiQgYnVpbGRpbmdzIGluIGEgcm93IGluIFVsc2FuLCBhbmQgdGhlIGhlaWdodCBvZiB0aGUgJGkkLXRoIGJ1aWxkaW5nIGZyb20gdGhlIGxlZnQgaXMgJGhfaSQuPFwvcD5cclxuXHJcbjxwPll1bmVlIG1hZGUgdGhlIGZvbGxvd2luZyBwbGFuIHRvIGRlc3Ryb3kgVWxzYW4uIEV2ZXJ5IGRheSwgWXVuZWUgd2lsbCByaWRlIGEgVUZPIHRvIGZseSB0aHJvdWdoIHRoZSBza3kgb3ZlciBVbHNhbiwgYW5kIGZpcmUgbGFzZXJzIGF0IHRoZSB0YWxsZXN0IGJ1aWxkaW5ncy4gQnVpbGRpbmdzIGhpdCBieSB0aGUgbGFzZXIgbG9zZSAkMSQgaW4gaGVpZ2h0LiBJZiB0aGVyZSBhcmUgbXVsdGlwbGUgdGFsbGVzdCBidWlsZGluZ3Mgb24gdGhhdCBkYXksIFl1bmVlIHdpbGwgZmlyZSBsYXNlcnMgYXQgYWxsIG9mIHRoZW0uIElmIGFsbCB0aGUgYnVpbGRpbmdzIGFyZSBhbHJlYWR5ICQwJCBpbiBoZWlnaHQsIFl1bmVlIHdpbGwgbm90IGZpcmUgYW55IG1vcmUgbGFzZXJzLjxcL3A+XHJcblxyXG48cD5ZdW5lZSBoYXMgYmVlbiBjYXJyeWluZyBvdXQgdGhlIHBsYW4gZm9yICREJCBkYXlzIHNvIGZhci4gRmluZCB0aGUgdG90YWwgbnVtYmVyIG9mIHRpbWVzIFl1bmVlIGZpcmVkIHRoZSBsYXNlciBmb3IgJEQkIGRheXMuPFwvcD5cclxuIiwiaW5wdXQiOiI8cD5JbiB0aGUgZmlyc3QgbGluZSwgdGhlIG51bWJlciBvZiBidWlsZGluZ3MgJE4kIGFuZCB0aGUgbnVtYmVyIG9mIGRheXMgJEQkIGFyZSBnaXZlbiwgc2VwYXJhdGVkIGJ5IHdoaXRlc3BhY2UuICgkMVxcbGUgTlxcbGUgMzAwXFwgMDAwJCwgJDFcXGxlIERcXGxlIDMwMFxcIDAwMCQpPFwvcD5cclxuXHJcbjxwPlRoZSBzZWNvbmQgbGluZSBnaXZlcyAkTiQgaW50ZWdlcnMgJGhfaSQgcmVwcmVzZW50aW5nIHRoZSBidWlsZGluZyBoZWlnaHRzLiAoJDFcXGxlIGhfaVxcbGUgMzAwXFwgMDAwJCk8XC9wPlxyXG4iLCJvdXRwdXQiOiI8cD5QcmludCB0aGUgdG90YWwgbnVtYmVyIG9mIHRpbWVzIFl1bmVlIGZpcmVkIHRoZSBsYXNlciBmb3IgJEQkIGRheXMuIChOb3RlIHRoYXQgaXQgY2FuIGV4Y2VlZCB0aGUgcmFuZ2Ugb2YgMzItYml0IGludGVnZXIgdHlwZS4pPFwvcD5cclxuIiwiaGludCI6IiIsIm9yaWdpbmFsIjoiMCIsImh0bWxfdGl0bGUiOiIwIiwicHJvYmxlbV9sYW5nX3Rjb2RlIjoiRW5nbGlzaCIsInNhbXBsZV9leHBsYWluXzEiOiI8dWw+XHJcblx0PGxpPlRoZSBpbml0aWFsIGJ1aWxkaW5nIGhlaWdodHMgYXJlICRbMSwzLDIsNSw0XSQuPFwvbGk+XHJcblx0PGxpPk9uIGRheSAxLCBZdW5lZSBmaXJlcyB0aGUgbGFzZXIgJDEkIHRpbWVzLCBhbmQgdGhlIGJ1aWxkaW5nIGhlaWdodHMgYmVjb21lICRbMSwzLDIsNCw0XSQuPFwvbGk+XHJcblx0PGxpPk9uIGRheSAyLCBZdW5lZSBmaXJlcyB0aGUgbGFzZXIgJDIkIHRpbWVzLCBhbmQgdGhlIGJ1aWxkaW5nIGhlaWdodHMgYmVjb21lICRbMSwzLDIsMywzXSQuPFwvbGk+XHJcblx0PGxpPk9uIGRheSAzLCBZdW5lZSBmaXJlcyB0aGUgbGFzZXIgJDMkIHRpbWVzLCBhbmQgdGhlIGJ1aWxkaW5nIGhlaWdodHMgYmVjb21lICRbMSwyLDIsMiwyXSQuPFwvbGk+XHJcbjxcL3VsPlxyXG4iLCJzYW1wbGVfZXhwbGFpbl8yIjoiPHVsPlxyXG5cdDxsaT5UaGUgaW5pdGlhbCBidWlsZGluZyBoZWlnaHRzIGFyZSAkWzEsMSwxLDEsMV0kLjxcL2xpPlxyXG5cdDxsaT5PbiBkYXkgMSwgWXVuZWUgZmlyZXMgdGhlIGxhc2VyICQ1JCB0aW1lcywgYW5kIHRoZSBidWlsZGluZyBoZWlnaHRzIGJlY29tZSAkWzAsMCwwLDAsMF0kLjxcL2xpPlxyXG5cdDxsaT5PbiBkYXkgMiwgWXVuZWUgbm8gbG9uZ2VyIGZpcmVzIHRoZSBsYXNlciBiZWNhdXNlIHRoZSBidWlsZGluZyBoZWlnaHRzIGFyZSBhbHJlYWR5ICQwJC4mbmJzcDs8XC9saT5cclxuPFwvdWw+XHJcbiJ9XQ==