小船渡河问题分析及模型求解方法总结