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