怕有人誤會所以特別說明一下，題敘中的狀態指的是是否有空的狀態，因此不會交換序列 $a$ 與序列 $b$ 的值。