範圍最值查詢

範圍最值查詢(英語:Range Minimum Query),是針對資料集的一種條件查詢。若給定一個陣列,範圍最值查詢指定一個範圍條件,要求取出中最大/小的元素。

,條件為的範圍最值查詢返回1,它是子陣列中最小的元素。

通常情況下,陣列A是靜態的,即元素不會變化,例如插入、刪除和修改等,而所有的查詢是以線上的方式給出的,即預先並不知道所有查詢的參數。

RMQ問題有預處理之後每次查詢的演算法[1]

範圍最值查詢問題(RMQ)與最近公共祖先(LCA)問題有直接聯絡,它們可以互相轉化。RMQ的演算法常常應用在嚴格或者近似子串匹配等問題的處理中。

演算法

Sparse Table

建立一個二維陣列   的整數值。

在這個陣列中   表示範圍   中的最大值(例如   中的最大值被計為  )。

建立陣列的過程可以在   時間內完成。具體演算法類似於動態規劃。以下是 C++ 語言描述的代碼,陣列約定從 0 開始:

void Initialise(vector<int> &Array)
{
	int Length = (int)Array.size();

	// 长度为 0 时,表示数据自身。
	for (int i = 0; i < Length; ++i) F[i][0] = Array[i];
	
	for (int j = 1; (1 << j) <= Length; ++j)
		for (int i = 0; i + (1 << j) - 1 < Length; ++i)
			F[i][j] = min(
				F[i][j - 1], F[i + (1 << (j - 1))][j - 1]
			); // 分成长度相等的两段
}

當我們需要計算一個區間中的最大值(例如   時),我們先求出這個區間的長度(即 8 - 3 + 1 = 6)。

然後我們算出不大於它的最大   值的指數(即 2)。我們要查詢分別以 3 開頭,和以 8 結尾的兩個長度為   的區間的最大值。

顯然    也就是(  )的最大值就是   的最大值。查詢的時間是常數,代碼如下:

int Query(int Left, int Right)
{
	int i = 0;
	
	while (1 << (i + 1) <= Right - Left + 1) ++i;
	
	return min(
		F[Left][i], F[Right - (1 << i) + 1][i]
	);
}

程式預處理的時間複雜度是  的,單次詢問的時間複雜度是 的。整個程式的空間複雜度是 

Method of Four Russians

Method of Four Russians英語Method of Four Russians先對陣列進行分塊,再預處理出每個塊里的ST表,以及每個塊的最值構成的陣列的ST表。然後每次查詢時,只需算出中間連續幾個塊的最小值與兩邊不完整的塊的最小值的最小值。程式預處理的時間複雜度是  的,單次詢問的時間複雜度是 的。整個程式的空間複雜度是 。還可以再最佳化,使預處理的時間複雜度是  的,單次詢問的時間複雜度是 的,空間複雜度是 [2]

資料結構

如果使用線段樹等資料結構,則可以做到預處理的時間複雜度是  ,單次詢問的時間複雜度是 。整個程式的空間複雜度是 。優點是可以支援動態修改。

應用

在Fischer和Heun(2007)中可以找到一些應用。[3]:3

計算樹中的最近公共祖先

範圍最值查詢可被用於解決最近公共祖先問題[4][5]。有根樹S中的節點v與w的最近公共祖先是在從根到w和v的路徑上最深的公共節點u(其可能是v或w)。 Gabow, Bentley和Tarjan(1984)表明,最近公共祖先問題可以線上性時間內規約到範圍最值查詢問題。由此可見,與範圍最值查詢問題一樣,最近公共祖先問題可以在常數時間內進行單次查詢,並僅使用線性空間[3]

參考資料

  1. ^ Fischer, Johannes; Heun, Volker (2007), "A New Succinct Representation of RMQ-Information and Improvements in the Enhanced Suffix Array.", Proceedings of the International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies, Lecture Notes in Computer Science, 4614, Springer-Verlag, pp. 459–470, doi:10.1007/978-3-540-74450-4_41
  2. ^ Arlazarov et al. 1970.
  3. ^ 3.0 3.1 Fischer, Johannes; Heun, Volker. Combinatorics, Algorithms, Probabilistic and Experimental Methodologies. Proceedings of the International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies. LNCS 4614. Springer: 459–470. 2007. ISBN 978-3-540-74449-8. doi:10.1007/978-3-540-74450-4_41. 
  4. ^ Bender, Michael A.; Farach-Colton, Martín; Pemmasani, Giridhar; Skiena, Steven; Sumazin, Pavel. Lowest common ancestors in trees and directed acyclic graphs (PDF). Journal of Algorithms. 2005, 57 (2): 75–94 [2022-08-23]. doi:10.1016/j.jalgor.2005.08.001. (原始內容存檔 (PDF)於2012-01-06). 
  5. ^ Bender, Michael; Farach-Colton, Martín. LATIN 2000: Theoretical Informatics. LATIN 2000: Theoretical Informatics. LNCS 1776. Springer: 88–94. 2000. ISBN 978-3-540-67306-4. doi:10.1007/10719839_9.