Probabilistyczny algorytm heurystyczy wlasciwie ukonczony