Questions tagged «constraint-programming»

如果我遇到难题，一种标准方法是将其表示为SAT实例，然后尝试在其上运行SAT解算器。另一种标准方法是将其表示为约束满足问题，然后尝试使用CSP求解器。两者在某种程度上可以用输入格式自然地表达出什么样的问题，感觉有点相似。 是否有任何准则或经验法则针对特定问题如何识别哪种方法更可能产生良好的结果？对于SAT求解器比CSP求解器能更好地处理哪些类型的问题，是否有人能提供任何指导？反之亦然？ （显然，这两种方法都可以解决一些简单的问题。还有一些困难的问题都无法通过两种方法解决。让我们将它们放在一边。指导最有用的情况是其中任何一个SAT都存在问题求解器的性能优于CSP求解器，或者CSP求解器的性能优于SAT求解器如何识别SAT求解器比CSP求解器更合适，或者CSP求解器比SAT求解器更适合SAT求解器-即首先尝试哪种方法？）

18 heuristics  sat-solvers  constraint-programming 

是“晚会上”之类的问题可解的Prolog的？例如： Burdock Muldoon和Carlotta Pinkstone都说如果Albus Dumbledore来，他们会来的。阿不思·邓布利多（Albus Dumbledore）和黛西·多德里奇（Daisy Dodderidge）都表示，如果卡洛塔·平石（Carlotta Pinkstone）来，他们会来的。阿不思·邓布利多（Albus Dumbledore），牛d（Burdock Muldoon）和卡洛塔·平斯通（Carlotta Pinkstone）都说，如果埃尔弗里达·克拉格（Elfrida Clagg）来，他们会来的。卡洛塔·平斯通斯通（Carlotta Pinkstone）和黛西·多德里奇（Daisy Dodderidge）都说，如果法尔科·埃萨隆（Falco Aesalon）来，他们会来的。Burdock Muldoon，Elfrida Clagg和Falco Aesalon都说，如果Carlotta Pinkstone和Daisy Dodderidge都来，他们会来的。黛西·多德里奇（Daisy Dodderidge）表示，如果阿不思·邓布利多（Albus Dumbledore）和Burdock Muldoon都来，她会来的。需要说服谁参加聚会，以确保所有受邀者都参加？ 我试图在GNU Prolog中表达这一点： attend(BM) :- attend(AD). attend(CP) :- attend(AD). attend(AD) :- attend(CP). attend(DD) :- attend(CP). attend(AD) :- attend(EC). attend(BM) :- attend(EC). attend(CP) :- attend(EC). attend(CP) :- attend(FA). attend(DD) …

18 logic  constraint-programming  prolog  logic-programming 

考虑一个CSP模型，其中更改特定变量的值非常昂贵。在搜索过程中，目标函数是否还考虑变量值的变化次数？ 一个示例：昂贵的更改变量可能在某些其他代理程序的控制下，并且涉及使该代理程序更改变量会产生一些开销。另一个示例：变量参与其中一个约束，并且满足此约束包括调用昂贵的函数（例如模拟器），例如是约束，而是昂贵的-计算功能。因此，和是变化昂贵的变量。z=f(x,y)z=f(x,y)z = f(x, y)fffxxxyyy

10 algorithms  constraint-programming