結果
| 問題 | 
                            No.2777 Wild Flush
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2024-06-07 21:56:10 | 
| 言語 | C++23  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 51 ms / 2,000 ms | 
| コード長 | 507 bytes | 
| コンパイル時間 | 3,065 ms | 
| コンパイル使用メモリ | 250,264 KB | 
| 実行使用メモリ | 5,248 KB | 
| 最終ジャッジ日時 | 2024-12-26 07:53:28 | 
| 合計ジャッジ時間 | 4,657 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 5 | 
| other | AC * 24 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=0;i<(int)n;i++)
int main(){
	int n,k;
	cin >> n >> k;
	vector<int> a(n);
	rep(i,n){
		cin >> a[i];
	}
	int count=0;
	rep(i,n){
		if(a[i]==0){
			count++;
		}
	}
	k-=count;
	if(k<=0){
		cout << "Yes\n";
		return 0;
	}
	sort(a.begin(), a.end());
	for(int i=1;i<=n;i++){
		auto itr=lower_bound(a.begin(), a.end(),i+1)-lower_bound(a.begin(), a.end(),i);
		if(itr>=k){
			cout << "Yes" << endl;
			return 0;
		}
	}
	cout << "No" << endl;
}