C - Summarize to the Power of Two 解题报告

A sequence a1,a2,…,ana1,a2,…,an is called good if, for each element aiai, there exists an element ajaj (i≠ji≠j) such that ai+ajai+aj is a power of two (that is, 2d2d for some non-negative integer dd).

For example, the following sequences are good:

• [5,3,11][5,3,11] (for example, for a1=5a1=5 we can choose a2=3a2=3. Note that their sum is a power of two. Similarly, such an element can be found for a2a2 and a3a3),
• [1,1,1,1023][1,1,1,1023],
• [7,39,89,25,89][7,39,89,25,89],
• [][].

Note that, by definition, an empty sequence (with a length of 00) is good.

For example, the following sequences are not good:

• [16][16] (for a1=16a1=16, it is impossible to find another element ajaj such that their sum is a power of two),
• [4,16][4,16] (for a1=4a1=4, it is impossible to find another element ajaj such that their sum is a power of two),
• [1,3,2,8,8