Question

我正在努力学习prolog，因为我下学期将在学校上学AI课程。我已经能够掌握基础知识，可以做基于关系的东西，但是，我一直在努力学习排列和组合学，它们看起来非常简单，但它引发了一个我无法弄清楚的问题怎么解决。假设我想知道1和0的排列，并且某个条件必须连续至少4个1。我不知道在哪里开始尝试找到解决方案，但最后我希望代码能做到这样的事情：

?- placeOnesAndZeros(9,X).
% where 9 is the length of the list/array and X is the permutations

[0,0,0,0,0,0,0,0,0]
[1,1,1,1,0,0,0,0,0]
[0,1,1,1,1,0,0,0,0]
[0,0,1,1,1,1,0,0,0]
[0,0,0,1,1,1,1,0,0]
[0,0,0,0,1,1,1,1,0]
[0,0,0,0,0,1,1,1,1]
[1,1,1,1,0,1,1,1,1]
[1,1,1,1,1,0,0,0,0]
[0,1,1,1,1,1,0,0,0]
[0,0,1,1,1,1,1,0,0]
[0,0,0,1,1,1,1,1,0]
[0,0,0,0,1,1,1,1,1]
[1,1,1,1,1,1,0,0,0]
[0,1,1,1,1,1,1,0,0]
[0,0,1,1,1,1,1,1,0]
[0,0,0,1,1,1,1,1,1]
[1,1,1,1,1,1,1,0,0]
[0,1,1,1,1,1,1,1,0]
[0,0,1,1,1,1,1,1,1]
[1,1,1,1,1,1,1,1,0]
[0,1,1,1,1,1,1,1,1]
[1,1,1,1,1,1,1,1,1]

提前谢谢！

编辑代码：

printList([ ]).
printList([H|T]) :- print(H), nl, printList(T).

eval([],_).
eval([H|T],[1,0]):-member(H,[1,0]),eval(T,[1,0]).

placeOnesAndZeros(N, L):-length(L,N), eval(L,[1,0]).

Answer 1

生成并测试它是用于搜索解决方案空间的基本技术的名称。在Prolog中，它实际上是内置的。只需提供一个过滤器，丢弃不需要的内容：

?- placeOnesAndZeros(9,L),once(append(_,[1,1,1,1|_],L)).

一次/ 1是必需的，否则追加/ 3可能多次成功。要检查方法的正确性，以下是如何计算我们获得的解决方案的数量：

?- aggregate(count,L^H^T^(placeOnesAndZeros(9,L),once(append(H,[1,1,1,1|T],L))),C).
C = 111.

使用aggregate_all可以避免对变量L，H，T（最后2个只引入聚合）的量化：

?- aggregate_all(count,(placeOnesAndZeros(9,L),once(append(_,[1,1,1,1|_],L))),C).
C = 111.

修改的

正如@lurker所说，我的过滤器不正确。尝试改为

atLeastFourOnes(L) :- memberchk(1,L), atLeastFourOnes_(L).

atLeastFourOnes_([]).
atLeastFourOnes_([0|L]) :- atLeastFourOnes_(L).
atLeastFourOnes_([1,1,1,1|L]) :- stripOnes(L,R), atLeastFourOnes_(R).

产生

?- placeOnesAndZeros(9,L),atLeastFourOnes(L).
L = [1, 1, 1, 1, 1, 1, 1, 1, 1] ;
L = [1, 1, 1, 1, 1, 1, 1, 1, 0] ;
L = [1, 1, 1, 1, 1, 1, 1, 0, 0] ;
...

?- aggregate(count,L^(placeOnesAndZeros(9,L),atLeastFourOnes(L)),C).
C = 22.

Prolog Permutations

1 个答案: