求证思路正确性

我的思路：https://www.luogu.com.cn/discuss/1188267

为什么别人都是有 $2^k$ 的，而我是 $O(k m\log m)$？