时间
总览
日记
名称
等级
序号
说明
总数:商人m,仆从n,集合S 彼岸:商人x,仆从y,船状态d,次数k S = { (x,y) | x >= y ^ m - x >= n - y} 起始状态:(0, 0, 0) 结束状态:(m, n, 1)
ID
分类
下级图表
类型
日期
返回