在最近幾天內,帝國山群調查委員會(Imperial Orology Inquiry Committee, IOIC)需要為山峰的圖片重新建檔。
根據以前的資料,一個山峰都是由一張照片組成,由於解析度的限制,照片的寬度為 $N$ 個像素。
如果記由左到右第 $i$ 等分的山峰高度為 $h_i$ 個像素,那麼可以找到一個山峰位置 $k$ 滿足:
委員會發現,僅僅是為了紀錄山峰,圖片上其他不重要的天空資訊可以去除,因此他們想要為每一個山峰由左至右切成許多段,而每一段都只紀錄該部份當中到最高山峰的位置。
也就是說,假設某一段記錄了原本照片中第 $l$ 到第 $r$ 等分,那委員會只會為這段留下長為 $\max_{l\leq i\leq r}h_i$,寬為 $r - l + 1$ 的照片。
只不過這樣可以省下多少空間呢?儲存一張長 $H$ 寬 $W$ 的圖片需要花費 $H \times W + T$ 單位的空間,其中 $T$ 代表每個檔案標頭需要的空間,是一個固定的常數。請你寫一隻程式計算給定的山峰照片在所有分段方式中所需的最少儲存空間。
輸入的第一行有兩個以空白分開的整數 $N, T$,接著下一行有 $N$ 個以空白分開的整數,第 $i$ 個為 $h_i$。
輸出給定山峰照片的最少儲存空間。
在範例當中,如果切成三張圖片:
總空間是 $33$,並且是最小的空間花費。
No. | Testdata Range | Constraints | Score |
---|---|---|---|
1 | 0 | 範例測資。 | 0 |
2 | 0~18 | 無特別限制。 | 100 |