Algorithm Halt Correctness Efficiency Output is good is not enough. My algo can work well with high probability!