部分和完全正确性 any legal any legal input input algorithm A algorithm A f indeed this point is reached this point is reached then and output this is the desired output output this is the desired output Partial correctness Total correctness部分和完全正确性