总数：商人m，仆从n，集合S 彼岸：商人x，仆从y，船状态d，次数k S = { (x,y) | x >= y ^ m - x >= n - y} 起始状态：(0, 0, 0) 结束状态：(m, n, 1)