商人过河模型问题的求解