solver

3熱度

2回答

我正在嘗試在Excel中爲一所學校運行成本分析。在不同的價格下，我們獲得不同數量的學生，並基於此，我們需要分析爲每個部門聘用不同類型教師的成本。我們使用求解器計算每個部門的需求。我們需要運行求解器10次來計算10年的成本。我們是否改變了重複這一過程所需的費用。有什麼辦法可以自動化求解器觸發器嗎？如果不是最好的選擇？有沒有其他軟件可以讓我的生活變得輕鬆？

2熱度

1回答

Z3 SMT求解器中的常數相等

我正在使用Microsoft的Z3 SMT解算器，並試圖定義自定義排序的常量。似乎這樣的常量默認情況下不是不相等的。假設你有下面的程序： (declare-sort S 0) (declare-const x S) (declare-const y S) (assert (= x y)) (check-sat) 這將給「坐」，因爲這是當然的完全可能是同一類的兩個常數是相等的。因爲我

1熱度

2回答

Java遞推數獨求解器，遞歸函數不返回正確的值

我正在使用一個數獨解算器，並且無法正確返回/終止解算器功能。 moveOn()函數中的show()被調用，它顯示完成的數獨罰款，但解決返回false。我試圖解決問題解決時返回true，解決問題時爲null，但不知道如何完成此操作。 L是板的長度（一個9×9的數獨將具有L = 9） getSquare(r,c)返回一個2維陣列代表獨板不同校驗功能檢查的值看看一個值是否可以放在特定的位置。他們不是問

1熱度

1回答

在Python上解決端視圖難題

我正在爲解決Python上的端視圖難題工作。這是我迄今爲止所擁有的。我很抱歉亂碼，但我是新來的。我的問題是規則。整個一代和跑步等工作正常。有人可以給我任何建議或幫助考慮規則？ import re import sys katia=0 def read_data(filename): try: f = open(filename, "r") except:

2熱度

1回答

除了簡單求解器之外，還有什麼軟件可以解決給定輸入/輸出的數字電路？

全部 - 我已經發現一些所謂的「簡單的解算器」設在這裏： http://home.roadrunner.com/~ssolver/syn.html ，你可以在這裏下載 http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html 我的問題是：簡單解決唯一一個爲你解決數字電路給你想要的輸入/輸出嗎？除了解決數字電

2熱度

1回答

改進我的掃雷算法c＃

我正在做一個掃雷遊戲，到目前爲止它完全可玩，你可以完成遊戲。但是，我的解決算法很糟糕。這很雜亂，我正在尋找一種更乾淨的方式，也許帶有循環，但我什麼都想不到。這裏是我目前使用：我有四個全局列表： List<String> flaggedButtons = new List<String>(); List<String> minedNodes = new List<String>();

0熱度

1回答

MATLAB求解器，調用公式中的預定義變量

所以我想知道如何向方程本身輸入預定義的變量。這是代碼。 function[A, B, C] = A_B_C_problem_generalized(lambda_1, lambda_2, mu_1, mu_2, gamma_1, gamma_2) clear clc syms a1 a2 a4 b1 b2 b4 c1 c2 c4 [a1, a2, a4, b1, b2, b4, c1

1熱度

1回答

C++：解決三次方程

這site解決了三次方程，並擁有它採用我寫了這個函數來得到相同的結果的公式，但它不工作 void cubicFormula(float a, float b, float c, float d, float *results) { float a2 = a*a; float b2 = b*b; float b3 = b2*b; float q = (3

4熱度

1回答

Sympy nsolve函數和多種解決方案

我在python中做了這個小測試程序，看看solve和nsolve是如何工作的。 from sympy import * theta = Symbol('theta') phi = Symbol('phi') def F(theta,phi): return sin(theta)*cos(phi)+cos(phi)**2 def G(phi): return ((1

2熱度

2回答

解決方案軟件用於查找純整數MIP的所有解法

我有一組問題（方程組和不等式），我知道所有變量都必須是整數，並且有許多解決方案。我知道，如果我採取任何隨機目標函數並讓lp或mip解算器將其解決，它會找到解決方案，但我希望全部解決方案的問題，當然，儘可能高效。我並不在乎優化任何東西，但顯然大多數處理它的軟件確實如此。有沒有解決方案可以做到這一點？如果是這樣，哪一個是最好/最簡單的一個，或者你會推薦哪一個？至多可以用作C/C++庫。