結果
| 問題 | 
                            No.2777 Wild Flush
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2024-06-07 22:17:57 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 92 ms / 2,000 ms | 
| コード長 | 1,439 bytes | 
| コンパイル時間 | 326 ms | 
| コンパイル使用メモリ | 81,852 KB | 
| 実行使用メモリ | 99,804 KB | 
| 最終ジャッジ日時 | 2024-12-26 08:25:55 | 
| 合計ジャッジ時間 | 3,202 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 5 | 
| other | AC * 24 | 
ソースコード
# ゆーさんはN枚のカードを持っている
# すべてのカードにはちょうど1つのマークが書かれており、
# マークはマーク0, マーク1, ..., マークN の N+1種類である
# 持っているカードを順にカード1, カード2, ..., カードNとしたとき
# i枚目(where 1<=i<=N)のカードのマークはA_iである
# マーク0のカードは後述するカードを出す操作の直前に
# マーク1~Nのうちの任意のマークのカードに置き換えることができる
# 持っているカードからちょうどK枚のカードを選んで出す
# 出したカード全てが同じマークのカードになるようにカードを出せるかを判定せよ
#
# 1 <= K <= N <= 100000
# 0 <= A_i <= N (where 1<=i<=N)
import sys
import itertools
import time
from math import radians, sin, cos, tan, sqrt
from collections import deque
def input():
    return sys.stdin.readline().replace('\n','')
sys.setrecursionlimit(1000000)
md1 = 998244353
md2 = 10 ** 9 + 7
N, K = map(int, input().split())
A = list(map(int, input().split()))
dct = {}
for i in range(0, N):
    if A[i] not in dct:
        dct[A[i]] = 0
    dct[A[i]] += 1
flag = False
for i in range(1, N+1):
    card = 0
    if 0 in dct:
        card += dct[0]
    if i in dct:
        card += dct[i]
    
    if K <= card:
        flag = True
        break
if flag:
    print('Yes')
else:
    print('No')