野人与传教士

用回溯的方法解决n，k下的传教士野人问题。

　　　　输入为n和k，

　　　　输出是一个字符串的数组，表示渡河的过程，第i个元素表示第i步摆渡后的状态

　　　　　　第0个元素表示初始状态，如 "(3,3,1)"

　　　　　　……………………

　　　　　　最后一个元素表示最终状态，即 "(0,0,0)"

　　　　如果没有解，返回一个只有一个元素"no solution"的字符串数组-Savage and missionaries