constraint-programming

38熱度

9回答

約束編程入門

尋找技巧，教程，書籍和其他資源開始約束編程。

4熱度

2回答

CLP和SQL之間的關係是什麼？

在閱讀constraint-logic programming時，我不禁注意到與SQL編程有明顯的關係。 SQL是否是「約束邏輯編程」的實例？

1熱度

2回答

Microsoft Solver Foundation約束

我試圖使用Microsoft Solver Foundation 2來解決一個相當複雜的情況，但是即使我儘可能愚蠢地模型化了一個UnsupportedModelException，我仍然堅持着。有沒有人有我做錯什麼的想法？以下是重現問題行爲所需的最少示例。 var ctx = SolverContext.GetContext(); var model = ctx.CreateModel();

2熱度

4回答

哪個算法可以解決這個約束規劃問題？

我需要解決一個工作情感問題，我想找到最好的高效算法來解決這個問題。假設有一些工人可以完成幾種任務。我們也有每週必須完成的一系列任務。每項任務都需要一些時間。每個任務都必須由某人來完成。每名工作人員必須每週工作N到P小時。這個問題的第一部分似乎是約束規劃算法的一個很好的候選者。但是，這是複雜的：因爲工人可以做不同的任務，他們也可能有偏好（或願望）。如果一個人想滿足所有人的願望，那麼這個問題就沒

7熱度

4回答

調度應用程序中的約束圖轉換

我正在開發一個交互式作業調度應用程序。給定一組具有相應容量/可用性配置文件的資源，一組要在這些資源上執行的作業以及一組確定作業順序的約束條件以及我想讓用戶手動移動的作業的最早/最近開始/結束時間周圍的工作。本質上，我希望用戶能夠「抓取」作業網絡的一個節點，並及時拖拽該作業網絡，而不會違反任何約束條件。該圖顯示了一個簡單的示例配置。最後的三角形工作表示所有工作的最後完成時間，工作之間的連接線對工作

0熱度

1回答

Java約束庫（JCL）問題：如何表示加法？

我必須使用Java Constraints Library來解決CSP邏輯問題。現在我已經設法表示了這個問題的一些限制，其中大部分是基於「等於」和「不等於」的二元約束。我的疑問是，如何表示基於附加的約束？例如：變量1屬於DomainA中變量2屬於域B variable3屬於DomainA中 variable4屬於域B 現在約束：的變量1和變量2之和是大於variable3和 variabl