野人与传教士（渡河）问题，输入参数n和k，从文件中读入，答案输出到文件。-Savage and missionaries (crossing) problem, the input parameters n and k, read from the file, the answer is output to a file.