传教士与野人问题。完美版。getStrategy函数参数是N和k，返回的是一个字符串数组，代表一个状态序列，数组中的每一个元素代表一个状态，每一个状态表示为（a，b，c），其中a表示左岸的传教士数目，b表示左岸的野人数目，c表示船是否在左岸，c=1为船在左岸，c=0为船在右岸。如果问题无解，返回只有一个元素 “no solution”的数组。-Missionaries and savages the problem. Perfect version. getStrategy function p