半逆解法