User's AC Ratio

100.0% (1/1)

Submission's AC Ratio

50.0% (4/8)

Description

Easy 與 Hard 的差別只有輸入的範圍。

伍長:「做攻擊發起前準備」
阿明:「報告伍長,請伍長以火力掩護我」
伍長:「白癡歐!念快一點啦!」
阿明:「請鄰兵以火力掩護我」
...

現在國軍正在與 KERORO 軍曹作戰!
由於 KERORO 軍曹他是隻青蛙,所以只能生存在楚河漢界中。國軍的任務是突破楚河漢界,到達彼岸!

現在河邊有一排國軍弟兄,編號從 $1\sim N$,分別來自多個軍團,軍團使用大寫字母作為代號,只有同樣軍團的弟兄能夠有足夠的默契組成一個突擊隊衝擊楚河漢界,然而只有突擊隊人數大於等於 $X$ 人的突擊隊能夠突破楚河漢界到達彼岸,小於 $X$ 人的突擊隊會變成藍星人的樣本被帶到外太空。

由於事態緊急,國軍弟兄們只能與鄰兵組成突擊隊,然後就突擊了,剩下來的國軍弟兄們就會靠攏。

名詞解釋

  • 國軍弟兄:組織突擊隊的基本單位
  • 突擊隊:每一步驟會有一隻突擊隊衝擊楚河漢界
  • 軍團:一種國軍弟兄的屬性,同一隻突擊隊的成員只能是同個軍團出身
  • 鄰兵:位置與自身差一的國軍弟兄

現在你是指揮官,請問你有沒有辦法成功指揮這些弟兄們全部都到達彼岸。

EX: $X=3$, 國軍弟兄共有 $10$ 人,各自的軍團代號:AAABBBCCCA
第一步,你指揮三位隸屬於 $B$ 軍團的國軍弟兄們突擊。(原編號 $4\sim6$)
第二步,你指揮三位隸屬於 $C$ 軍團的國軍弟兄們突擊。(原編號 $7\sim9$)
第三步,你指揮四位隸屬於 $A$ 軍團的國軍弟兄們突擊。(原編號 $1\sim3$ & $10$)
$\Rightarrow$ 任務成功! YA~!

Input Format

輸入只有一行,其中包含一個字串 $S$($len(S) \leq 500$) 與一個整數 $X$($1\leq X\leq 500$),分別代表國軍弟兄們的軍團代號(軍團使用大寫字母作為代號),與突擊隊到達彼岸所需的最少人數。

Output Format

輸出為一個字串,如果你可以成功指揮全部人到達對岸,則輸出 Yes,反之輸出 No

Sample Input 1

AAABBBCCCA 3

Sample Output 1

Yes

Sample Input 2

BBBRRRRRRGGGB 4

Sample Output 2

No

Hints

Problem Source

ICPC Taipei 2020 E

Subtasks

No. Testdata Range Score
1 0~23 100

Testdata and Limits

No. Time Limit (ms) Memory Limit (KiB) Output Limit (KiB) Subtasks
0 3000 262144 65536 1
1 3000 262144 65536 1
2 3000 262144 65536 1
3 3000 262144 65536 1
4 3000 262144 65536 1
5 3000 262144 65536 1
6 3000 262144 65536 1
7 3000 262144 65536 1
8 3000 262144 65536 1
9 3000 262144 65536 1
10 3000 262144 65536 1
11 3000 262144 65536 1
12 3000 262144 65536 1
13 3000 262144 65536 1
14 3000 262144 65536 1
15 3000 262144 65536 1
16 3000 262144 65536 1
17 3000 262144 65536 1
18 3000 262144 65536 1
19 3000 262144 65536 1
20 3000 262144 65536 1
21 3000 262144 65536 1
22 3000 262144 65536 1
23 3000 262144 65536 1