ABCコンテスト67のソートの問題(?)がわからないです

Question

##問題文
すぬけくんは N本の棒を持っています。 i番目の棒の長さは liです。

すぬけくんは K本の棒を選んでつなげて、ヘビのおもちゃを作りたいです。

ヘビのおもちゃの長さは選んだ棒たちの長さの総和で表されます。 ヘビのおもちゃの長さとしてありうる長さのうち、最大値を求めなさい。

##制約
1≤K≤N≤50
1≤li≤50
liは整数

という中で自分は

#include <bits/stdc++.h>
using namespace std;

int main(){
  int N,K;
  int a[60];
  cin >> N >> K;
  for (int i = 0; i < N; ++i) cin >> a[i];
  
  sort(a, a + N, greater<int>());
  int length = 0;
  for (int i = 0;i < N;i++){
    if (N >= K) length += a[i];
    else{
      length += 0;
  }
}
    cout << length << endl;
}

で提出したところ、WAと帰ってきました。

やったこと

2つめの「for()」を取っ払い、int length = 0の後にint i = 0;を入れました。するとそれでもWAでした。原因がわかる方いらっしゃいましたら教えていただけると幸いです。そもそもWAと出たときに何を考えればいいかも教えていただけると尚幸いです。よろしくお願いします。

Comments

[cateye]

>1≤li≤50・・・では、全て同じ長さでも良いことに成りますが・・・他に制約はないですか？

[cunwe]

https://atcoder.jp/contests/abc067/tasks/abc067_b
こちらをご覧いただければと思うのですが、これ以上の制約の記述はありません。

Answer 1

if (N >= K) length += a[i];

ここですね。

WAが出た時には、途中途中の計算が想定通りの値になってるかデバッグしたり、変数を表示したりして確認するのがまず第一です。

Comments

[cunwe]

これではsortしたものを大きい順にK個足していくということが言えてないということですか？

[yudedako67]

そうです。NとKを比較してますが、それは問題の制約上常に、N>=Kを満たすとされてる変数です。

[cunwe]

既にそうなっているのに僕がまた書いてしまったということですか、ありがとうございました！