#P7977. 「Stoi2033」世界未末日

    ID: 4637 Type: RemoteJudge 1000ms 128MiB Tried: 0 Accepted: 0 Difficulty: 5 Uploaded By: Tags>递推博弈论二分O2优化

「Stoi2033」世界未末日

题目背景

注意:利用提交反馈以套取数据的行为属于作弊

就算是世界要崩溃
亲爱的我也绝不会落泪
不放弃爱过的那种感觉
珍惜着有你记忆的一切
就算是世界要倾斜
亲爱的我也绝不说离别
尽管末日威胁再强烈
有爱就不累
——《世界未末日》

题目描述

Vinsta 和 Stella 有 nn 堆石子,第 ii 堆有 sis_i 个。

她们约定从 Vinsta 开始轮流操作,每次操作可以选择不少于 11 堆且不超过 kk 堆的石子。对于第 ii 堆石子,可以选取两个实数 a,ba,b 满足:

  • a×b=sia \times b=s_i
  • a+b=c,c[1,si]Za+b=c,c\in[1,s_i]\cap\Z

并丢掉第 ii 堆的 cc 个石子,即 sisics_i\leftarrow s_i-c。不能操作者败,她们想要知道 Vinsta 是否有必胜策略。

输入格式

第一行共三个正整数: n,k,Sn,k,S,其中 S=max{si}S=\max\{s_i\}

第二行共 nn 个正整数: sis_i,表示初始时第 ii 堆的石子个数。

输出格式

输出共一行。有必胜策略输出 YES,否则输出 NO

7 1 13
2 3 4 5 7 10 11

YES

8 1 13
2 3 4 5 7 10 11 13

NO

7 2 100
19 26 8 17 11 45 14

YES

提示

数据范围

本题采用捆绑测试。

Subtask 1n1\le n \le 1S1\le S \le 分值
11 300300 300300 77
22 3×1073 \times 10^7 88
33 3×10103\times 10^{10} 1616
44 3×1063\times 10^6 33 33
55 3×1033 \times 10^3
66 3×1073 \times 10^7 1616
77 3×10103\times 10^{10} 4747

对于 100%100\% 的数据, 1kn3×1061 \le k \le n \le 3 \times 10^61S3×10101 \le S \le 3 \times 10^{10}