集合、堆疊、佇列和優先佇列的高效線性化監控

本文提出了一種針對集合、堆疊、佇列和優先佇列資料結構進行線性化監控的高效演算法，並證明了在特定條件下，該問題可以在線性時間內解決。