seuOJ310 - 姬哥做水题

• 题目类型：传统
• 输入文件：标准输入流
• 输出文件：标准输出流
• 时间限制：1000 ms
• 空间限制：256 MiB
• 题目标签：冬季, 校赛, 决赛, 2020

题目描述

这一天，姬哥正在补题，他看到了这样一个题：

给定一个正整数序列 $a_i(1\leq i\leq n,1\leq n\leq 1000000,1\leq a_i\leq 10^{18})$ 与一个整数 $k(1\leq k\leq 10^{18})$，请问序列中是否存在两个正整数 $a_i,a_j(i\neq j)$ 满足 $2\times(a_i\&a_j)=k-(a_i\oplus a_j)$。其中 $\oplus$ 代表 xor（位异或）运算，$\&$ 代表 and（位与）运算。

姬哥直呼水题，他不屑于做这样的题，所以请你帮他解决。若序列中存在这样两个数满足条件则输出 YES，否则输出 NO。

输入格式

第一行两个正整数 $n,k$，表示序列长度以及给定的正整数。

第二行 $n$ 个正整数用空格分隔，表示序列 $a_i$。

输出格式

输出一行 YES 或 NO，含义见题目描述。

样例

输入样例

5 10
2 3 5 5 6

输出样例

YES

样例说明

$a_3,a_4$ 满足条件，$2\times(5\& 5)=10-(5\oplus 5)$。