constraint-programming

0熱度

1回答

我需要關於圖問題的幫助。我正在尋找和現有的解決方案或算法，而不是實施我自己的，如果有一個，請幫助我。我嘗試了谷歌搜索沒有成功。我的問題是：我有幾個地點訪問，並且每個地點都有截止日期。通常情況下，我永遠無法訪問它們，並且超過最後期限。我也有一段時間訪問它們，例如每天8小時。我正在尋找一種算法，可以達到dealine後的最小延遲。例如，我有位置A，B和C.位置A延遲1小時30分，位置B和C每個

0熱度

1回答

使用約束編程生成獨特的解決方案

我對CP和MiniZinc有一個簡短的介紹，但我不是專家。我有一個CP模型，我不能在這裏發佈ATM，在MiniZinc中實現。我需要爲問題生成所有可行的解決方案。我們希望只有少數幾個，比如少於1000個，超過100個。我試圖用-a標誌傳遞給minizinc ver來解決模型。 1.6但我注意到很多正在打印的解決方案都是相同的。 Here他們指的是「投影」。在另一篇文章中，我讀到他們使用了一些

1熱度

1回答

您可以在prolog中的累積謂詞的[limit（x）]選項中使用變量嗎？

我只是想要做這樣的事情 schedule(Activities, GLB) :- get_start_times(Activities,StartTimes), get_resources(Activities,Resources), get_durations(Activities,Durations), sum_list(Durations, Max

3熱度

2回答

Prolog邏輯拼圖和約束編程

我有一個家庭作業任務來定義序言中的10個事實來解決這個難題。 Five translators are working in an international organization: Spaniard, Englishman, Frenchman, German and Russian. Each of them speaks its native language and also tw

0熱度

2回答

MATLAB ga（）忽略用戶提供的初始羣體

我正在嘗試使用MATLAB ga（）函數來解決優化問題。我會盡量簡短。它基本上是一個最小二乘擬合問題，我操縱一些輸入來嘗試匹配一個目標函數。該問題有40個變量。有約束約束，線性等式，線性不等式和非線性約束。之前我讓MATLAB選擇初始人口，但結果很差。我覺得這是由於MATLAB的選擇缺乏多樣性。因此，我編寫了一個函數，該函數可以創建一個滿足除非線性約束條件（這些是模擬後計算）之外的所有約束條件

1熱度

1回答

在基於另一個陣列的SystemVerilog中約束整個陣列

是否可以將SystemVerilog中的整個數組約束爲與另一個數組具有相同的值？我嘗試這樣做： class some_class; rand bit array1[10][10]; rand bit array2[10][10]; constraint arrays_c { array1 == array2; } enclass 這不是

6熱度

1回答

表達設置時間與累積值

有安排上的問題，許多家庭。我期待到那裏我的地方從一個家庭到另一個家庭過渡需要重新配置機器（建立時間）工作/家庭任務的一個問題。我使用cumulatives[2/3]來解決這個問題，但我不確定如何設置時間可以表示。在這個小例子，我有屬於3個不同家庭的10種任務。任何任務都可以在任何機器上運行，但是從一個系列中的一個任務切換到另一個系列中的另一個任務需要添加安裝時間。 :- use_modu

0熱度

1回答

巧克力錯誤：初始傳播：矛盾是由於

我用Choco，當我嘗試解決一個模型，我得到的消息： - Initial Propagation: Contradiction due to [48.89604359598426,4.0] 這是什麼意思？我無法在文檔中找到它。

2熱度

1回答

需要幫助來定義適當的約束條件

我很新來約束編程，並試圖找到一些真實的情況來測試它。我發現一個我認爲可能與CP解決。它在這裏：我有一羣孩子，我必須分配給一些活動。這些孩子填寫一個表格，他們按照喜好指定3個選項。活動有最大數量的參與者，所以，想法是找到一個解決方案，其中的選擇是最好的，沒有beyondind max。因此，在第一種方法中，我爲[1,2,3]域定義了孩子的變量（選擇的數量，活動和孩子在其他地方知道的鏈接）

1熱度

1回答

用最少的步驟可能變換順序

我的問題是，我應該用什麼算法來實現該工程按照以下Python示例功能 translate： >>> translate('aa', 'a') [('S', -1)] >>> translate('a', 'aa') [('R', 0, 'x'), ('S', 1), ('W', 0, 'x')] >>> translate('abc', bca') [('R', 0, 'x'), ('R