用三维数组STATE(0:n,0:n,0:n)代表渡河过程中所有状态（合法的和非法的）。STATE(x1,x2,x3)为真，表示该状态已经出现过（“已达”）；为假，表示未曾出现过（“未达”）。