说明：  no intro
(Las Vegas algorithm is a probability algorithm. Solutions must be found for the correct solution, but sometimes can not find solution.)