ページが読み込まれませんか? こちらをクリックすると直るかもしれません。
Placeholder

#8096
サブタスク

멋진 수열 1s 32MB

問題

멋진 수열은 정렬하였을 때 피보나치 수열을 이루는 수열을 의미한다.

피보나치 수열은 첫째 항과 둘째 항이 1이며 그 뒤의 모든 항은 바로 앞 두 항의 합인 수열이다.

처음 여섯 항은 각각 1, 1, 2, 3, 5, 8이다.

예를 들어 4 1 2 1 3 1 1 와 같은 수열이 주어진다면, 아래와 같은 멋진 수열들이 존재한다.

  • 길이 3의 멋진 수열: 4 [1 2 1] 3 1 1

  • 길이 4의 멋진 수열: 4 [1 2 1 3] 1 1

  • 길이 4의 멋진 수열: 4 1 [2 1 3 1] 1

  • 길이 2의 멋진 수열: 4 1 2 1 3 [1 1]

길이 N의 수열이 주어졌을 때, 해당 수열에 길이 M의 멋진 수열이 존재하는지 알아내는 프로그램을 작성하시오.


入力

첫 줄에 두 정수 NM이 주어진다.

두 번째 줄에 수열을 이루는 N개의 정수가 한 줄에 공백으로 구분되어 주어진다.

[제약 조건]

  • 1 \le N \le 100

  • 1 \le M \le N

  • 수열을 이루는 원소들은 모두 1 이상 10^9 이하의 정수로 주어진다.


出力

첫 줄에 길이 M의 멋진 수열이 존재한다면 "YES"를, 아니라면 "NO"를 출력한다.


部分問題

番号 点数 条件
#110点

N \le 4

#220点

M=5

#370点

추가 제약조건 없음


例題 #1

6 3
1 3 1 2 3 1
NO

例題 #2

7 4
1 5 1 1 2 3 8
YES


出典

klee
ログインしないとコードを書けません。