它是否能 $O(\log n)$ 维护下面的操作？

• 给定一个 01 序列。
• 操作 $1$：修改 $a_x$。
• 操作 $2$：查询 $a_x$ 后面第一个 $0$ 的位置。