Bu algoritmaya yönelik herhangi bir kanitlama var mı yükseliş odaklı