問題 思考の過程が想定解と違ったので．（追記）答えは合うのですがかなり怪しいところがあるので，正当性の証明（または反例）を募集しています． 解法 長さ \(2^N\) の配列同士の (bitwise) OR convolution: $$ (f \ast g)[i] = \sum_{(j | j') = i} f[j] …