- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
假设我想找到 argmax(x,y,z) -1/2(20x^2+32xy +16y^2)+2x+2y。
受制于:
x>=0,y>=0,z>=0 和 -x-y+z =0。
我知道设置为 0 的偏导数是:
-20x-16y+2=0 和 -16x-16y+2 =0
所以我们可以有 x=0 和 y =1/8 和 z=1/8。
我将如何在 Swi-prolog 中做到这一点?我看到有用于线性求解的库单纯形,但这是一个二次问题,但偏导数不是。 (我有一点困惑!)
这就是我所拥有的:
:- use_module(library(simplex)).
my_constraints(S):-
gen_state(S0),
constraint([-20*x, -16*y] = 0, S0, S1),
constraint([-16*x,-16*y] = 0, S1,S2),
constraint([x] >= 0,S2,S3),
constraint([y] >= 0,S3,S4),
constraint([z] >= 0,S4,S5),
constraint([-x-y+z] = 0,S5,S).
?- my_constraints(S), variable_value(S,x,Val1),variable_value(S,y,Val2).
false.
最佳答案
这里有几个问题。首先,只是为了解决这个问题:library(simplex)
只能处理线性 约束。所以是的,它不能——至少不能直接——用于解决你的实际问题。
但是library(simplex)
无论如何通常都很有用,所以我想快速指出以下几点:
variable_value/3
仅适用于 已解决 画面。这意味着您必须调用 maximize/3
第一的。?- my_constraints(S), maximize([x,y], S, Max), variable_value(Max, x, X).
S = ...,
Max = ...,
X = 0.
my_constraint/1
的最终目标。至 constraint([-1*x, -1*y,z] = 0, S5, S)
符合此库所需的语法。 library(simplex)
仍然可以间接用于解决您的问题。
关于prolog - swi prolog 中的优化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37142066/
谁赋予了 SWI-Prolog 幽默感? Welcome to SWI-Prolog (threaded, 64 bits, version 7.3.35) SWI-Prolog comes with
简单的例子: ?- between(1,10,X). X = 1 ; X = 2 ; X = 3 ; X = 4 ; X = 5 ; X = 6 ; X = 7 ; X = 8 ; X = 9 ; X
我有这个字符串: B='Dogs cats birds and fish'. 我需要它以下面的格式出现: Dogs, cats, birds, and fish 有没有可能发生这种情况? 我试过 nl
我正在为 Prolog 查询编写一个部分评估器。我尝试使用 expand_goal/2 扩展查询,但它只是统一了 Input与 Output在这种情况下: :- initialization(main
在 SWI Prolog 终端中如何查看当前工作目录并更改当前工作目录? 我发现: 工作目录(CWD,CWD) 但我不认为这是我需要的 最佳答案 要获取当前工作目录,请使用 working_direc
如何关闭 swi-prolog 中的警告。 Clauses of XXX/AA are not together in the source-file 很烦人。 最佳答案 相反,您可以修复警告。 di
我正在尝试使用此处文档中所谓的内置谓词 split_string/4:http://www.swi-prolog.org/pldoc/man?predicate=split_string/4 但是,当
从https://stackoverflow.com/a/44524628?noredirect=1跟进 :-use_module(library(http/http_client)). :-use_
我在序言SWI与CHR(约束处理规则)创建多个谜题解决者 一切都很好,但是,我喜欢测试哪个求解器是最好的。 因此,我想搞清楚,这解算器使用回溯的最少。 是否有一种聪明的方法可以找出(或打印出)求解器解
我正在尝试开发有关使用 swi-prolog 的常见问题解答(faq)。我将 swi-prolog 用于桌面(AMD64,多线程,版本 8.2.3)。 常见问题解答中的问题和答案以土耳其的母语编写。当
我在 Prolog 中编写了一个快速谓词,尝试使用 CLP(FD) 及其求解方程组的能力。 problem(A, B) :- A-B #= 320, A #= 21*B. 当我在 SW
我对 prolog 很困惑,它与我曾经使用过的任何语言(多种语言)都不同,我如何从以下位置获取 argv[0]: current_prolog_flag(argv, Argv), write(Argv
我正在尝试使用SWI-prolog将规则动态添加到知识库中,其中该规则的主体事先未知。 所需的规则如下所示: rule(a) :- fact(1), fact(2). 通常,您只需声明 assert(
我正在使用 SWI-Prolog 并且我正在尝试打印一个列表,但是如果该列表有 9 个以上的项目 - 它看起来像这样 - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] 有没
我将用户输入重定向到文件see('entradasaida.txt')。很好 虽然,当我尝试从该流输入文件读取时,swi给了我这个错误: ERROR: entradasaida.txt:3:0: Sy
在“序言中的专家系统”一书中,我遇到了一个障碍。书中定义了一个简单的shell如下: solve :- abolish(known, 3), define(known, 3), to
我正在尝试比较 prolog 中的两个 peano 数,但有些结果是错误的。 任何人都可以帮助我,这是我的代码: %Not Equal notequal(0,s(A),X). notequal(s(A
假设我有一个包含以下内容的文件 main.pl /* I tried these one at a time, not all at once... */ [externalFile]. ['exte
append/3是一个非常强大的谓词。假设我想要一个以相同方式工作的谓词,但对于 SWI-Prolog 的字符串。 我看到的最简单的方法是使用 string_codes/2 将这些字符串转换为列表。
我正在努力理解如何正确使用 discontiguous/1 (SWI) Prolog 中的谓词。 让 buumi.pl成为这个伪事实的小文件: discontiguous(buumi/1). buum
我是一名优秀的程序员,十分优秀!