constraint-programming

3热度

4回答

如何限制列表中数字的重复？以下代码示例中适合的约束条件是什么？ limit(X) :- length(X,10), domain(X,1,4), % WANTED CONSTRAINT: maximum repetition of each number is 5 times. labeling([],X). 一些样本查询和期望答案： ?- limit

5热度

1回答

在序言

求解方程系统假设我有一个数量的X，我想解方程的系统，比如Y + Z = X，Z * Y = 1 现在，这已解Y = 1/Z和Z =（sqrt（X * X-4）+ X）/ 2或（X-（sqrt（X * X-4））））/ 2。这样我就可以在序言写： solve(X,Y,Z):- Y is (sqrt(X*X-4)+X)/2, Z is 1/Y. solve(X,Y,Z):- Y is (X-(s

0热度

1回答

重复在Z3py

匹配模型在下面的工作例子中，我试图检索匹配的型号，在这种情况下有两种型号满足： t1= cl7 t2= cl4 t3= cl5 和 t1= cl4 t2= cl3 t3= cl9 的问题是重复匹配模型，直到运行解算器超时。如何检索满意的模型而不重复。非常感谢， S, (cl1, cl2, cl3, cl4, cl5, cl6, cl7,cl8,cl9) = EnumSo

0热度

1回答

掌握IBM iLog计划程序

我正在寻找IBM iLog计划程序，特别是与以下链接相关的手册的版本，我希望使用所提供的方法来实现类似类型的项目。我无法找到任何相关软件，它们提供了组成IBM iLog Scheduler的核心组件。我有CPLEX工作室，但我不确定这两者是否已连接？任何人都可以指出我在正确的方向获取iLog Scheduler的工作版本。 https://mail-attachment.googleusercon

0热度

1回答

如何在Z3py函数中使用超过255个参数？

我想恳请，如何有超过255个参数的Z3 Python函数 h1, h2 = Consts('h1 h2', S) def fun(h1 , h2): return Or( And(h1 == cl_4712, h2 == me_1935), And(h1 == cl_1871, h2 == me_1935), And(h1 == cl_4712, h2 == me_19

0热度

1回答

回顾Z3py中的匹配模型？

在下面的工作示例中，如何检索匹配的模型？ S, (cl_3,cl_39,cl_11, me_32,m_59,m_81) = EnumSort('S', ['cl_3','cl_39','cl_11','me_32','me_59','me_81']) h1, h2 = Consts('h1 h2', S) def fun(h1 , h2): co

16热度

4回答

年轻的桌面编程

一个奇怪的问题如下：我正在做一个解决问题的比赛@我的学校，他们让我们用电脑。由于我是竞争对手中唯一知道如何编码的人，因此我使用C和Pascal程序更快地解决问题。我用伪码到代码练习，算法，Collatz猜想验证等来完成。现在，昨天我正在接受下一个挑战（4月18日）的训练，并且我看到了Young young的练习。它被这样描述（我会尽我所能从意大利语翻译）： “Ferrers图是N盒分布在一

0热度

1回答

ValueError异常：需要超过2123个值

我想运行一个非常大的Z3 Python程序，如下面的示例： S, (cl_3,cl_39,cl_11, me_32,m_59,m_81 …………) = EnumSort('S',['cl_3','cl_39','cl_11','me_32','me_59','me_81', …………..]) ######################################### def fun(h

2热度

1回答

算法 - 创建考试时间表

我有一个基于三个因素创建考试时间表的问题：房间，课程和日期。有一定数量的房间r，课程c和天d，每天有三个插槽。还有一套学生和学生到课程的映射，这样就不会有任何冲突。我试图找到一个算法，发现这适合最大流量问题。我正在为此制作流程网络图。感谢

11热度

1回答

有界0-1多背包的任何伪多项式算法？

假设有n个项，例如：I ，我，....我Ñ，它们中的每一个已知的有界权重w 1 ，瓦特，... w n。还有一套m背包，例如ķ，K 2 和k米。背包是同质的，它们都具有相同的容量W.函数F可以确定每个背包的得分。 F的输入是每个背包中的项目。所以， Score of each knapsack i = F(Items in knapsack i) 现在我想放在背包有些项目以这样一种方式：物品