[ Mo's algorithm ]莫隊算法

對於一些詢問區間答案的資料結構題，我們已經知道了區間[l,r]的答案，且能在極少的時間( \(\ord 1 \) or \(\ord{logN}\) )內得到區間[l+1,r]、[l-1,r]、[l,r+1]、[l,r-1]的答案，題目也准許離線，只要滿足這些性質就可以使用莫隊。

首先我們須將所有詢問記錄下來，將序列分成sqrt(n)塊，找出每筆詢問l所在的塊，每塊內r由小排到大

這裡n是序列的長度

之後就按造順序一個一個將序列元素在一些維護費用很小的資料結構進行插入刪除，直到等於當前區間為止，此時就可以把這個資料結構的答案存到ans陣列裡，然後結束後一次輸出

這裡進行一下簡單的證明:

• 假設序列長度為N，我們將序列每K個分成一塊，在排完序後，左界屬於同一塊的詢問，每次都不會移動操過K次；而左界屬於不同塊的操作，從第i塊移動到第i+1塊最多要移動2*K次，總共分成N/K塊，故移動次數加起來不操過2*K*(N/K)=2*N次，因此左界移動的複雜度為\(\ord{Q*K}+\ord N\)，Q為詢問次數
• 對於右界，在同一塊內因為是遞增的關係所以移動次數不會操過N次，而最多只有N/K塊，因此複雜度為\(\ord{N*N/K}\)
• 這個時候我們可以取K=sqrt(N)得到一個複雜度為\(\ord{Q*K+N+N*N/K}=\ord{(Q+N)*sqrt(N)}\)的方法

這是區間眾數的模板(對於每個詢問l,r輸出區間[l,r]眾數的個數):