解题思路

1. 功能码兼容关系就是二进制下的超集关系：$x$ 兼容 $y$ 当且仅当 $y$ 的 1 位都是 $x$ 的 1 位，即 $y$ 是 $x$ 的子集。每个功能码都兼容自身，因此若某个 $w$ 在集合中存在真超集 $w'$，则选 $w'$ 一定能覆盖 $w$，不必再选 $w$。
2. 于是答案等于：去重后的功能码中，不存在集合内真超集的个数，也就是偏序下的极大元个数。
3. 值域为 $[0,2^{18})$，可以用子集 DP 判断「是否存在真超集」。令 $\textit{has}[x]$ 表示 $x$ 是否在输入中出现过，$\textit{dp}[x]$ 表示是否存在 $x$ 的真超集（出现在集合中，或该真超集自身还有超集）。
4. 从大到小枚举 $x$，对每一位 0 尝试把它翻成 1 得到 $x' = x\lor 2^j$，转移$$\textit{dp}[x]\ \leftarrow\ \textit{dp}[x]\ \lor\ \textit{dp}[x']\ \lor\ \textit{has}[x'].$$ 因为比 $x$ 大的数已经处理完，所有真超集的信息都会沿「恰好多一个 1」的边传到 $x$。
5. 对去重后的每个 $x$，若 $\textit{dp}[x]$ 为真则删去，剩下的个数就是答案。