Correção do calculo probabilistico (ASOHeuristic) e refatoração para
usar PriorityQueue.