- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我最近开始使用 sicstus prolog,并有这个作业要用 CLP(约束逻辑编程)来解决,请帮助我理解问题,我应该寻找什么以及我做错了什么。所以,
某建筑公司:
BC 假装 build 一座地上 150 层、地下 15 层的摩天大楼,该建筑必须如何组织才能最大化利润并最小化所需时间?
将问题定义为约束满足问题并使用 CLP 解决它,以便可以使用不同的参数(更多或更少的楼层,或调整团队的位置时间)来解决它。
到目前为止我所拥有的:
:- use_module(library(clpfd)).
start(Fdigs,Floors,Vars):-
length(Vars,5),
%S -> start, E -> end, D -> duration
%t -> transport, e -> excavating, f -> floor (build)
Vars=[St,Et,Se,Ee,Cost],
Se #>= Et,
Ee #= Se + 10,
Et #>=6,
Cost #>= Ee * 80, %transport cost since it starts at 0 Ee will be the days needed
domain(Vars,0,2000),
construct(0,Fdigs,Floors,Vars),
labeling([minimize(Cost)],Vars).
construct(Stock,0,Floors,Vars).
construct(Stock,Fdigs,Floors,[St,Et,Se,Ee,Cost]):-
Tasks=[
task(St,6,Et,0,1), %transport task
task(Se,10,Ee,5,2) %dig task, 5 because I'm digging all then building (20-15)
%10 because build is 10 so dig is 10
],
cumulative(Tasks,[limit(Stock)]),
Nfdigs is Fdigs - 1,
Nstock is Stock + 25,
construct(Nstock,Nfdigs,[Et,_Et,Ee,_Ee,Cost]).
当然它不起作用,因为我无法对需要 5 个资源的任务使用累积,而 0 个资源的限制是我无法解决的许多问题中的第一个......
最佳答案
这是我到目前为止想到的,似乎更容易并得到了我预期的结果:
:- use_module(library(clpfd)).
start(Floors,Fdigs,Vars):-
length(Vars,20),
domain(Vars,0,999999999), %all vars must be bounded
Vars=[ % S-start,D-duration,E-end,C-cost (money)
St,Dt,Et,Ct, % transport vars
Se,De,Ee,Ce, % excavation vars
Sb,Db,Eb,Cb, % building vars
Sc,Dc,Ec,Cc, % electricity vars
Machines,Crane,Cost,Time],
Machines in 1..2,
Crane in 0..1,
St is 0,
Dt is ceiling(((Floors*15)+(Fdigs*20))/25)*6,
Et is Dt,
Ct is 80 * Dt,
Se is 0,
De #= (13 - (Machines*3)) * Fdigs,
Ee #= De,
Ce #= De * (75*Machines),
Sb #>=6 #/\ Sb #>= Ee,
Db #= ((Fdigs * (10-(Crane*3))) + (Floors * (10-(Crane*3)))),
Eb #= Sb + Db,
Cb #= (Fdigs + Floors) * 150 + (Crane*Db*120),
Sc #= (Eb * 75 / 100),
Dc #>= (Eb * 25 / 100) + 5 #/\ Dc #=((Floors + Fdigs) * 5) + 5,
Ec #= Sc + Dc #/\ Ec #> Eb,
Cc is (Fdigs + Floors) * 200,
%Costs
Cost #= (Ct + Ce + Cb + Cc),
%Times (will be end time of final & nonoverlaping task)
Time #= Ec,
%labeling([minimize(Cost)],Vars), % - cost, + time
labeling([maximize(Cost)],Vars), % + cost, - time
writeVars(Vars).
writeVars([St,Dt,Et,Ct,Se,De,Ee,Ce,Sb,Db,Eb,Cb,Sc,Dc,Ec,Cc,Machines,Crane,Cost,Time]):-
write('1 '),write(St),write(' '),write(Dt),write(' '),write(Et),write(' '),write(Ct),write('\n'),
write('2 '),write(Se),write(' '),write(De),write(' '),write(Ee),write(' '),write(Ce),write('\n'),
write('3 '),write(Sb),write(' '),write(Db),write(' '),write(Eb),write(' '),write(Cb),write('\n'),
write('4 '),write(Sc),write(' '),write(Dc),write(' '),write(Ec),write(' '),write(Cc),write('\n'),
write('Cost: '),write(Cost),write('\n'),
write('Time: '),write(Time),write('\n'),
write('Crane: '),write(Crane),write('\n'),
write('Machines: '),write(Machines).
%write('4 ',St,' ', Dt,' ', Et,' ', Ct),
%write('5 ',St,' ', Dt,' ', Et,' ', Ct).
非常欢迎任何可以改进我的答案的建议、评论。
关于prolog - 任务计划 sicstus prolog,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13771188/
Task.WaitAll 方法等待所有任务,Task.WaitAny 方法等待一个任务。如何等待任意N个任务? 用例:下载搜索结果页面,每个结果都需要一个单独的任务来下载和处理。如果我使用 WaitA
我正在查看一些像这样的遗留 C# 代码: await Task.Run(() => { _logger.LogException(LogLevel.Error, mes
如何在 Linux 中运行 cron 任务? 关注此Q&A ,我有这个 cron 任务要运行 - 只是将一些信息写入 txt 文件, // /var/www/cron.php $myfile = fo
原谅我的新手问题,但我想按顺序执行三个任务并在剧本中使用两个角色: 任务 角色 任务 角色 任务 这是我到目前为止(任务,角色,任务): --- - name: Task Role Task ho
我有一个依赖于 installDist 的自定义任务 - 不仅用于执行,还依赖于 installDist 输出: project.task('run', type: JavaExec, depends
从使用 Wix 创建的 MSI 运行卸载时,我需要在尝试删除任何文件之前强行终止在后台运行的进程。主要应用程序由一个托盘图标组成,它反射(reflect)了 bg 进程监控本地 Windows 服务的
我想编写 Ant 任务来自动执行启动服务器的任务,然后使用我的应用程序的 URL 打开 Internet Explorer。 显然我必须执行 startServer先任务,然后 startApplic
使用 ASP.NET 4.5,我正在尝试使用新的 async/await 玩具。我有一个 IDataReader 实现类,它包装了一个特定于供应商的阅读器(如 SqlDatareader)。我有一个简
使用命令 gradle tasks可以得到一份所有可用任务的报告。有什么方法可以向此命令添加参数并按任务组过滤任务。 我想发出类似 gradle tasks group:Demo 的命令筛选所有任务并
除了sshexec,还有什么办法吗?任务要做到这一点?我知道您可以使用 scp 复制文件任务。但是,我需要执行其他操作,例如检查是否存在某些文件夹,然后将其删除。我想使用类似 condition 的东
假设我有字符串 - "D:\ApEx_Schema\Functions\new.sql@@\main\ONEVIEW_Integration\3" 我需要将以下内容提取到 diff 变量中 - 文档名
我需要编写一个 ant 任务来确定某个文件是否是只读的,如果是,则失败。我想避免使用自定义选择器来为我们的构建系统的性质做这件事。任何人都有任何想法如何去做?我正在使用 ant 1.8 + ant-c
这是一个相当普遍的计算机科学问题,并不特定于任何操作系统或框架。 因此,我对与在线程池上切换任务相关的开销感到有些困惑。在许多情况下,给每个作业分配自己的特定线程是没有意义的(我们不想创建太多硬件线程
我正在使用以下 Ansible playbook 一次性关闭远程 Ubuntu 主机列表: - hosts: my_hosts become: yes remote_user: my_user
如何更改 Ant 中的当前工作目录? Ant documentation没有 任务,在我看来,最好的做法是不要更改当前工作目录。 但让我们假设我们仍然想这样做——你会如何做到这一点?谢谢! 最佳答案
是否可以运行 cronjob每三天一次?或者也许每月 10 次。 最佳答案 每三天运行一次 - 或更短时间在月底运行一次。 (如果上个月有 31 天,它将连续运行 2 天。) 0 0 */3 * *
如何在 Gradle 任务中执行托管在存储库中的工具? 在我的具体情况下,我正在使用 Gradle 构建一个 Android 应用程序。我添加了一项任务,将一些 protobuf 数据从文本编码为二进
我的项目有下一个结构: Root |- A |- C (depends on A) \- B (depends on A) 对于所有子项目,我们使用自己的插件生成资源:https://githu
我设置了一个具有4个节点的Hadoop群集,其中一个充当HDFS的NameNode以及Yarn主节点。该节点也是最强大的。 现在,我分发了2个文本文件,一个在node01(名称节点)上,一个在node
在 TFS 2010 中为多个用户存储任务的最佳方式是什么?我只能为一项任务分配一个。 (例如:当我计划向所有开发人员演示时) (这是一个 Scrum Msf 敏捷项目,其中任务是用户故事的一部分)
我是一名优秀的程序员,十分优秀!