本题题解区原先所有题解都没有说明为什么在 $\mathcal O(\log n)$ 次变化后所有灯的亮度都变成了 $n$，已经全部撤下。

欢迎大家提交包含证明的新题解。