נתון מערך \(A\) של \(m\) מספרים שלמים ושונים זה מזה, כאשר \(m \le n\). ערכי האיברים במערך הם בתחום \([0, \frac{n^2}{\log n}]\). בנוסף, נתון עץ חיפוש בינארי \(T\) המכיל \(n\) צמתים. יש לתאר אלגוריתם אשר בודק האם כל איברי המערך \(A\) מופיעים בעץ \(T\) בסיבוכיות זמן של \(O(n)\).