테라와 루루의 과수원에는 그루의 사과나무가 일렬로 심어져 있다. 왼쪽부터 각 나무에 의 번호를 붙인다.
번 나무의 높이는 이고, 이 나무에서 수확할 수 있는 사과의 가치는 이다. 모든 나무의 높이는 서로 다르다.
서로 다른 두 나무 번과 번을 생각하자. 번 나무부터 번 나무까지의 나무 중 번 나무의 높이가 가장 높다면, 번 나무가 번 나무를 감시한다고 한다.
이때 모든 나무는 자기 자신을 감시한다.
테라와 루루는 정확히 그루의 나무를 선택한다. 선택한 각 나무에서 사과를 하나씩 수확한다.
각 에 대해, 번 나무가 감시하는 나무 중 선택한 나무의 수가 이하여야 한다. 이 제한은 번 나무를 선택했는지와 관계없이 적용된다.
모든 조건을 만족하도록 정확히 그루의 나무를 선택했을 때, 수확한 사과의 가치 합의 최댓값을 구하여라.
첫째 줄에 나무의 수 과 선택할 나무의 수 가 공백을 사이에 두고 주어진다. ()
둘째 줄에 각 나무의 높이를 나타내는 개의 정수 이 공백을 사이에 두고 주어진다. 은 의 순열이다.
모든 조건을 만족하도록 정확히 그루의 나무를 선택할 수 있다면, 수확한 사과의 가치 합의 최댓값을 출력한다.
조건을 만족하도록 정확히 그루를 선택할 수 없다면 -1을 출력한다.
번 나무를 고르면 가치의 합은 이지만, 번 나무가 감시하는 나무 중 세 그루를 고르게 되어 를 만족하지 않는다. 최댓값은 번 나무를 고르면 모든 조건을 만족하며, 가치의 합은 이다.
셋째 줄에 각 나무에서 수확할 수 있는 사과의 가치를 나타내는 개의 정수 이 공백을 사이에 두고 주어진다. ()
넷째 줄에 각 나무의 감시 제한을 나타내는 개의 정수 이 공백을 사이에 두고 주어진다. ()
| 3 | 10 |
| 4 | 9 | 수열 이 증가하거나 감소한다. |
| 5 | 25 |
| 6 | 48 | 추가 제한이 없다. |
번 나무의 높이가 가장 크므로 번 나무를 모두 감시한다. 이므로 네 나무 중 최대 두 그루만 고를 수 있다. 따라서 정확히 그루를 고르는 것은 불가능하며, 답은 이다.