constraint-satisfaction

3熱度

1回答

在對一個約束滿足問題應用弧一致性（AC3）算法時，如果一個變量的域爲空，那麼下一步是什麼？ 1) halt. 2) do backtrack. 3) start from another initial state. 4) it depends on that we are in which step. 解決方案（4）。我認爲（1）是真實的，因爲這意味着我們找不到任何一致的任務並停

-1熱度

2回答

在Python中獲取__CPROVER_assert的效果？

我必須聲明值val1> = val2。就模型檢查而言，證人（反例）必須斷言val1> = val2。我可以在C（CBMC）通過輕鬆做到這一點： C1 = True; C1 = (C1 && (val1 >= val2)); __CPROVER_assert(!C1 ,"constraint sat"); 有沒有辦法做到這一點在Python？更新： C1 = True C1 = C1

0熱度

2回答

如何在Prolog中解決這個難題？（搶劫）

三名涉嫌搶劫的犯罪嫌疑人，愛麗絲，鮑勃，卡爾。至少其中一人是有罪的。這裏的條件是：如果A是有罪的，他正好有1幫兇。如果B有罪，他恰好有2個同謀。誰是有罪？我該如何編寫一個Prolog腳本來解決guilty(X)給幫派帶來的問題？

4熱度

1回答

爲什麼弧一致性算法O（cd^3）的複雜性？

爲什麼Arc-Consistency Algorithm O的複雜性（cd ）？

2熱度

1回答

學習序言，數獨求解器

我的問題是：在學習序言時，我想製作一個NxN數獨求解器。該解算器將得到輸入像 [[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]] 當他們中的一些可能是變量。求解器必須解決這個數獨。問題是方式更小： firstElementsOf([],_). firstElementsOf([[X|_]|Rest2],Y) :- firstEleme

0熱度

1回答

建模：有效地建模子集選擇

我想用Optaplanner建模和解決的問題是爲體育團隊（這裏：足球）創建一個名單。即：從所有可用的玩家中，根據若干標準選擇11。我使用硬/中/軟分數來定義有效的解決方案，例如一個嚴格的標準，指定一名守門員必須出現在名單中。玩家選擇的順序並不重要。我現在有這個作爲我PlanningEntity： @PlanningEntity public class Roster { @Plan

3熱度

2回答

獲取序言給算術

所有的可能性我想知道是否在序言中就可以得到它的蠻力都這樣的事情可能算了一筆賬： 6 is Z + Q Z = 1 Q = 5 Z = 2 Q = 4 Z = 3 Q = 3

0熱度

1回答

什麼時候應該停止擴展CSP的視野？

您應該何時停止擴大CSP規劃師的視野？具體來說，是否存在約束滿足問題規劃器的一個條件，即當在某個範圍內與搜索的弧一致性失敗時，意味着弧的一致性也將在所有更長的範圍內失敗。

2熱度

1回答

Choco求解器 - 如果在運行時間非常長的情況下，如何獲得最接近的解決方案（滿足大多數約束）？

在巧克力求解器中，如果找到解決方案可能需要很長時間，您如何獲得最接近的解決方案（目前滿足大多數約束的解決方案，但可能無法滿足所有約束）？例如，如果我正在爲解決方案運行Model.getSolver（）。solve（），並且我已經決定儘管找不到解決方案需要足夠長時間，但是如何輸出最接近的解決方案至今？

0熱度

1回答

關於sat4j，如何使用sat4j來解決僞布爾問題？

我有僞布爾問題，我需要用sat4j來解決它。有人可以幫助我嗎？這裏是我的問題：我有一個名爲的變量列表：A，B，C，d，E，F 而且我所代表的值的列表：＃ 1，＃2，＃3 ..... H（A，＃1）是指分配＃1到我有一些實施例C onstraints： h(a,#1)=1 h(a,#1)+h(b,#1)+h(c,#1)=1 h(a,#1)+h(a,#5)>=1 h(b,#2)+h(b,