prim算法是最优解么