n = 3 # n個傳教士、n個野人m = 2 # 船能載m人x = [] # 一個解，就是船的一系列狀態X = [] # 一組解is_found = False # 全局終止標志# 計算船的合法狀態空間（二維）def get_states(k): # 船準備跑第k趟  global n, m, x  if k%2==0: # 從左到右，只考慮原左岸人數    s1, s2 = n - sum(s[0] for s in x), n - sum(s[1] for s in x)  else:    # 從右到左，只考慮原右岸人數（將船的歷史狀態累加可得?。。。?   s1, s2 = sum(s[0] for s in x), sum(s[1] for s in x)  for i in range(s1 + 1):    for j in range(s2 + 1):      if 0 < i+j <= m and (i*j == 0 or i >= j):        yield [(-i,-j), (i,j)][k%2==0]  # 生成船的合法狀態# 沖突檢測def conflict(k): # 船開始跑第k趟  global n, m, x  # 若船上載的人與上一趟一樣（會陷入死循環?。。。。? if k > 0 and x[-1][0] == -x[-2][0] and x[-1][1] == -x[-2][1]:    return True  # 任何時候，船上傳教士人數少于野人，或者無人，或者超載（計算船的合法狀態空間時已經考慮到了。）  #if 0 < abs(x[-1][0]) < abs(x[-1][1]) or x[-1] == (0, 0) or abs(sum(x[-1])) > m:  #  return True  # 任何時候，左岸傳教士人數少于野人  if 0 < n - sum(s[0] for s in x) < n - sum(s[1] for s in x):    return True  # 任何時候，右岸傳教士人數少于野人  if 0 < sum(s[0] for s in x) < sum(s[1] for s in x):    return True  return False # 無沖突# 回溯法def backtrack(k): # 船準備跑第k趟  global n, m, x, is_found  if is_found: return # 終止所有遞歸  if n - sum(s[0] for s in x) == 0 and n - sum(s[1] for s in x) == 0: # 左岸人數全為0    print(x)    is_found = True  else:    for state in get_states(k): # 遍歷船的合法狀態空間      x.append(state)      if not conflict(k):        backtrack(k+1) # 深度優先      x.pop()  # 回溯# 測試backtrack(0)