题目链接
2种方法

结论版

一个很显然的结论就是\(n\)个数里两两之间最小异或和一定是相邻的\(2\)个数
于是就有了以下\(DP\)，
先将原数列排序
令\(f[i]\)表示最大的数为\(a_i\)的情况下最多能选几个数
显然有以下转移

\[f[i]=\max_{a_j\xor a_i \neq k} {f[j]} + 1 \]