思路发现\(2^k\)大的数，最终的答案一定由前\(k+1\)小的元素组成。考虑数学归纳法，显然当\(k=1\)成立。假令\(k'\)时成立，证明\(k=k'+1\)时成立即可：若第\(k\)位有两个及以上的\(0\)，显然最终答案的第\(k\)位一定为\(0\)，因此考虑前面的\(k-1\)位，显然取