关于编程之美老师们的题与封闭假设

7 8 9 101112

1 2 3 4  5    6

排序。

同一排左边的要求比右边的大。

同一列上面的比下面的大。

这个首先1和12的位置不变咯。

下面的组合

上面的一个元素和下面的对调。由于顺序是确定的。那么调动一个的组合是

X 8 9 10 11 12

1 2 3 4    5   Y

下面的上去只能是最前面。上面的下来只能是最后。

 

C5，1 *C5,1 没有约束的条件。

调动两个。那么就不能调动同时调动11和10.

结果是C5，2*（C5,2-1）

调动三个的就不能是11，10，9和11，9，8

再去掉就是

C5，3*（C5，3-1）

不可能调动四个。

上面的值加起来就好了

 

封闭世界假设。

所有的规则都是查得到的。查不到的规则是无法判断的。PROLOG语言的局限性在这里。