constraint-programming

0熱度

3回答

我有一個音頻處理應用程序，它接收一個輸入音頻文件，處理它，並且吐出一個修改後的輸出音頻文件。這個音頻處理應用程序有10-15個參數影響它如何處理音頻，從而影響輸出音頻文件的內容（它可能有不同的頻率響應，更響亮，更安靜等）。所有這些參數都有約束範圍（例如，x0必須是< 1和> -1）。輸出音頻文件由一個工具評估得分。該工具知道「理想」輸出應該聽起來像什麼，並相應地對輸出文件進行評分。得分爲1.0意

0熱度

1回答

保證邊界點的二次規劃求解器？

我有一個問題，我已經表示爲具有線性約束的凸二次方程的最小化。問題是我想禁止任何嚴格內部的點（即，如果它位於可行區域的頂點，我只能找到有用的答案）。我想在不修改目標函數的情況下執行此操作。我已經考慮了幾個修改，這將使這是一個沒有問題，但他們都有不幸的結果，使程序非凸。據我估計，我唯一的選擇有效的解決方案將是一個求解器，使用有沒有人知道一個像樣的求解器？我目前的目標函數是parabol ic圓筒

2熱度

2回答

序言：迭代

晚上好，我有一個簡單的問題，並且我警告你，我對prolog很新。假設有三個相同大小的列表，每個只包含1s，0s或-1s。我想驗證的是，對於所有我，這三個列表中的第i個元素，只有一個非零。該代碼會爲一個固定的我： :- use_module(library(clpfd)). compat1(V1,V2,V3,I) :- length(V1,G), nth1(I,V1,

0熱度

1回答

解決約束問題需要幫助（2nd）

我已經解決了以下約束處理任務。你能否確認它是否正確？ One of the prisoners of a high-level security prison sees a way to escape. Almost free, he reaches a corridor of 20 meters long, guarded by 5 cameras, behind which is the

1熱度

1回答

CHOCO約束求解器功能

有誰知道CHOCO是否支持以下功能： Dynamic Variable Ordering 和 Precedence Constraints ?

0熱度

2回答

如何編寫自定義的約束檢查，在一類ATLEAST一個布爾字段爲true

我有一個名爲「調度」其中有7種布爾類型的類。我想在hibernate中編寫一個約束來檢查至少有一個布爾字段是否爲真。這裏是「調度」級。 public class Scheduler { private String description; @NotNull private Boolean sMondays; @NotNull private Boolean sTuesdays;

3熱度

1回答

如何在Gecode中實現'嵌套'成本函數？

我是通用的gecode和約束編程的新手。到目前爲止，我沒有太多麻煩拿起gecode，這很好。但我想知道執行「嵌套」成本函數的最佳方法是什麼。具體而言，我期望儘量減少X，但在X相等的解決方案空間內，更喜歡將Y最小化的解決方案？我可以通過定義一個看起來像X * large_number + Y的成本函數來破解它，但如果有一個好的解決方案，我寧願這樣做。如果任何人都可以指出我解釋如何在Gecode中

1熱度

1回答

如何運行在序言暫停目標與約束

我試圖用prologs約束求解器來解決特定的問題，我堅持：d 的我的問題，需要一個更普遍的版本是這樣的： :- lib(ic).:- lib(ic). solve([A1*X+B1*Y=C1, A2*X+B2*Y=C2]):- X::[0..999], Y::[0..999], X #\= 0, Y #\= 0, A1*X+B1*Y#=C1, % line1 A2*X+B2*Y#=

1熱度

1回答

Swi prologs clpq庫的替代方案，用於單純化

對不起，如果這是錯誤的地方問。我一直在使用SWI Prolog的clpq庫來解決單工。我覺得語法非常簡單和富有表現力。它看起來像這樣： :- use_module(library(clpq)). main(U, V, W) :- { 0 =< U, U =< 1, 0 =< V, V =< 1, 0 =< W, W =< 1 },

1熱度

1回答

完整圖k着色求解器

我正在尋找一個完整的CSP求解器，這意味着它總是會找到一個解決方案，如果它存在並會告訴你，如果沒有解決方案存在。針對圖形着色優化的求解器是優選的，但不是必需的。有很多迭代算法/求解器，但我需要完整性（？）來完成我的工作。我已經使用弱承諾搜索算法實現了自己的求解器，但是我確定有很多優化和基於線程的特性可以提高求解器的速度，並允許我增加變量的數量在我的模擬中使用。我意識到這是一個指數級的難題，但每一