Ищу Теорему!

[IvanMIPT]

Нахожусь в поиске теоремы из сферы Computer Science. Примерная суть следующая: "от любого дерева, к любому можно перейти за (O(n) - O(const))", const по-видимому понимается в том же смысле, что и H в оценке O(nH) алгоритма "Прохода Джарвиса". Вобщем понимаю, что похоже на "поди туда не знаю куда, принеси то, не знаю что, но всё же был бы признателен, если бы вдруг кто-нибудь прояснил ситуацию, отписавшись в теме и дав ссылку на какую-нибудь статью или прочий ресурс

[Esp_]

А из какой это примерно задачи?