#474. DPMARKET – Hội trợ

Hải Dương tổ chức hội chợ nông sản. Dọc đại lộ Tôn Đức Thắng, ban tổ chức đã xây dựng gian hàng liền nhau đánh số lần lượt . Tuy nhiên chỉ có gian hàng trong số chúng được thuê. Gian hàng thứ được thuê có số hiệu . Không có hai gian hàng được thuê có cùng số hiệu.

Để tiết kiệm chi phí, ban tổ chức chỉ che mưa cho những gian hàng được thuê bằng những tấm bạt. Một tấm bạt phủ được từ gian hàng số hiệu đến gian hàng số hiệu được coi là có kích thước . Giá của một tấm bạt kích thước là . Chú ý rằng những tấm bạt kích thước lớn hơn không nhất thiết phải đắt hơn những tấm bạt kích thước nhỏ hơn.

Hãy giúp ban tổ chức tính số tiền ít nhất để có thể mua bạt che tất cả các gian hàng được thuê. Chú ý rằng trong phương án tối ưu các tấm bạt có thể phủ chồng lên nhau ở một số gian hàng.

Dữ liệu vào:

• Dòng đầu ghi hai số nguyên dương ;
• Dòng thứ hai chứa số nguyên dương ;
• Dòng thứ ba chứa số nguyên .

Hai số liên tiếp được ghi cách nhau một dấu cách.

Dữ liệu ra:

• Một số nguyên duy nhất là tổng chi phí nhỏ nhất mua bạt phủ các gian hàng được thuê.

Ví dụ:

Dữ liệu vào:

6 12
1 2 11 8 4 12 
2 3 4 4 8 9 15 16 17 18 19 19

Dữ liệu ra:

9

Giải thích:

Hình minh họa cho test đề bài:

• Có gian hàng, các gian màu xám là các gian được thuê. Ở trên sử dụng ba tấm bạt kích thước và

Giới hạn:

• .