序言问题使用否定运算符 \+ 查找最大值

发布于 2024-10-22 02:45:44 字数 142 浏览 1 评论 0 原文

我有一些值 H，我想使用 \+ 找到最大的值，我该怎么做？

maxValue(X) :-
  Get(Id, X),
  \+( Get(Id, Y), X < Y ).

不知道。。请帮忙，谢谢！

原文

I have got some values H, and I would like to find the maximum one using \+, how can i do it?

maxValue(X) :-
  Get(Id, X),
  \+( Get(Id, Y), X < Y ).

don't have a clue....please help, thanks!

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

七分※倦醒 2024-10-29 02:45:44

使用否定是找到最大值的一种方法。它确实有效。
这是一个例子：

   p(2).  
   p(1).  
   p(3).  

   ?- p(X), \+ (p(Y), Y > X).  
   X = 3

但复杂度为 O(n*n)，其中 n 是
事实的数量。但最大可以是
在 O(n) 中确定。所以也许下面是
对于大型事实库更有效：

   :- dynamic(the_max/1).  
   update_max(X) :-  
      the_max(Y), X>Y, !, retract(the_max(Y)), assertz(the_max(X)).  
   update_max(_).  

   find_max(X) :-  
      assertz(the_max(0)),  
      (p(Y), update_max(Y), fail; true),  
      retract(the_max(X)).  

   ?- find_max(X).  
   X = 3

但是请注意，当您从多个线程使用它时，
你需要稍微调整一下，即设置 the_max
线程本地。

此致

Using negation is one way to find the maximum. And it really works.
Here is an example:

   p(2).  
   p(1).  
   p(3).  

   ?- p(X), \+ (p(Y), Y > X).  
   X = 3

But the complexity will be O(n*n) where n is
the number of facts. But the maximum can be
determined in O(n). So maybe the following is
more efficient for large fact bases:

   :- dynamic(the_max/1).  
   update_max(X) :-  
      the_max(Y), X>Y, !, retract(the_max(Y)), assertz(the_max(X)).  
   update_max(_).  

   find_max(X) :-  
      assertz(the_max(0)),  
      (p(Y), update_max(Y), fail; true),  
      retract(the_max(X)).  

   ?- find_max(X).  
   X = 3

But watch out, when you use it from multiple threads,
you need to adapt it a little, i.e. make the_max
thread local.

Best Regards

回复收藏 0 原文