#include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; #define rep(i, n) for(int i = 0; i < (n); i++) template using vi = vector; template using vii = vector>; template using viii = vector>; template using viiii = vector>; using P = pair; void chmin(ll & x, ll y) { x = min(x, y); } void chmax(ll& x, ll y) { x = max(x, y); } int main() { int n, k; cin >> n >> k; vi cnt(n + 1); rep(i, n) { int a; cin >> a; cnt[a]++; } for (int i = 1; i <= n; i++) { if (cnt[i] <= k && cnt[i] + cnt[0] >= k) { cout << "Yes" << endl; return 0; } } cout << "No" << endl; return 0; }