野人与传教士 用回溯的方法解决n，k下的传教士野人问题。 输入为n和k， 输出是一个字符串的数组，表示渡河的过程，第i个元素表示第i步摆渡后的状态 第0个元素表示初始状态，如 "(3,3,1)" …………………… 最后一个元素表示最终状态，即 "(0,0,0)" 如果没有解，返回一个只有一个元素"no solution"的字符串数组-Savage and missionaries