0

在给定以下密码约束的情况下，创建一个生成所有可能密码的 ASP 模型。存在多少个密码？

请不要评论答案，而只是告诉我我的 cligo 解决方案在程序中的错误之处。


NV = 1.. N.   %numerical values
sc = #;*;$;!; %special characters
c = 1..c.     %characters 
pcn = 1..cn.  %password character numbers

2.) 密码必须至少包含 4 个字符，最多包含 6 个字符，其中包含数字和特殊字符。

:-Pass(P #count (cn : in(p,cn)) < 4.
:-Pass(P #count (cn : in(p,cn)) > 6.

3.) 密码必须至少包含一个数字字符。

1{in(p,sc) : sc(sc))1 :- Pass(p).

4.) 密码必须至少有一个特殊字符。

1{in(p,NV) : NV(N))1 :- Pass(p).

5.) 密码不能有连续的重复字符 [无效密码示例：9988*] [有效密码示例：9897#]

:-in(a,b,p1), in(c,d,P2), consecutive(a,b,c,d), pass(p1), pass(p2), pass(p3), pass(p4), pass(p5), pass(p6), G1==G2,, G3==G4, G5==G6.

#show/6.

编辑添加我还认为另一种看待问题的方式可能是

char= 1..13.

consecutive(1,1,2,2).consecutive(3,3,4,4).consecutive(5,5,6,6).consecutive(7,7,8,8).consecutive(9,9,10,10).consecutive(11,11,12,12).

:-Pass(P #count (cn : in(p,cn)) < 4.
:-Pass(P #count (cn : in(p,cn)) > 6.

%3.) 密码必须至少有一个小于和大于 9 的数字字符，大于 9 是特殊字符。

1{in(p,char) : Char(c))1 > 9 :- Pass(p).
1{in(p,char) : Char(c))1 < 9 :- Pass(p).

5.) 密码不能有连续的重复字符 [无效密码示例：9988*] [有效密码示例：9897#]

:-in(X,p1), in(Y,P2), consecutive(X1,X2,Y1,Y2), pass(p1), pass(p2), pass(p3), pass(p4), pass(p5), pass(p6), P1==P2,, P3==P4, P5==P6.
4

1 回答 1

0

您的代码不符合 CLINGO 的基本语法要求。例如，在第一部分中，当您声明密码中单个元素的所有可能选择时，您应该将它们定义为谓词，例如

number(0..9).
sc("#";"*";"$";"!").

请注意，特殊字符必须在 CLINGO 中作为字符串引用。我什至不知道是什么c = 1..c意思？另外，是character number指字符的长度还是字符的位置？无论如何，这些在 CLINGO中必须被视为事实。

接下来是约束。的用法#count也是错误的：

:-Pass(P #count (cn : in(p,cn)) < 4.

以这一行为例，Pass(...)meansPass是谓词或函数，但是 CLINGO 中的所有谓词都必须小写。#count后面应该跟花括号而不是对位。由于您的问题的描述不清楚，我只能给您一个简化的非常简单的示例来展示有关您的问题的可能用法。

如果我们简化问题：

密码长度为 6，仅由数字 0~9构成，唯一的限制是 密码不能有连续的重复字符

一种可能的方法可能是：（按照您的想法，因为您要求不要给出全部答案）

首先，生成长度为 6 的所有可能的密码。

number(0..9).
position(1..6).
1{final_password(P, N):number(N)}1 :- position(P). % each position should be assigned with one and only one number
#show final_password/2.

您将获得 1000000(10^6) 个答案集，其中之一可能是

final_password(1,6) final_password(2,4) final_password(3,9) final_password(4,2) final_password(5,2) final_password(6,3)

第一个数字final_password表示数字的位置，第二个是数值。因此，对应的密码为649223。

这显然不符合连续不重复的约束。所以我们添加约束：

:- final_password(P, V), final_password(Q, V), Q = P + 1. %constraint(A)

这次答案集的数量减少到 590490 个，并且之前的错误答案集被约束（A）消除。

您可以通过进行小的更改将其他元素（例如特殊字符）带入密码，例如：

number(0..9).
position(1..6).
special_character("*").
num(P) | special_char(P) :- position(P).% each position should be 
assigned with one and only one number
1{final_password(P, N):number(N)}1 :- num(P).
1{final_password(P, N):special_character(N)}1 :- special_char(P).
:- final_password(P, V), final_password(Q, V), Q = P + 1.
#show final_password/2.

此外，如果您要求密码中的数字元素数量应大于 3，那么我们可以添加

:- #count{number(N) : final_password(P, N)} <=3.

CLINGO的基本语法大家好像不太熟悉，CLINGO的语法可以参考官方文档CLINGO Guide。

于 2020-04-05T14:58:16.360 回答