solver

    3熱度

    1回答

    我正在尋找迭代線性系統求解器來計算連續變化的場。爲了使模擬正常工作,我需要爲每個時間步重新計算字段(可能是幾次)。幸運的是,我對每個時間步驟都有一個很好的初步猜測,所以最好將它提供給迭代求解器。係數矩陣非常密集。 問題是我在網上查了幾個迭代求解器,例如Gmm ++,IML ++,ITL,DUNE/ISTL等等。他們要麼是稀疏系統,要麼不提供接口來輸入初始猜測(我可能是錯誤的,因爲我沒有時間去瀏覽所

    0熱度

    3回答

    我正在編寫一個數獨求解器(仍然需要編寫盒子檢查並實際完成程序),但我正在測試它,因爲我知道。我現在測試的難題是「非常容易」,因爲在任何行/列中只有一個空單元格。難題從「空」單元開始爲零。我的問題是,當我運行程序並在solve()被調用後打印拼圖時,零不會改變,原始拼圖只會打印出來。不知道我的問題是什麼,會感謝某些方向! public ArrayList<Integer> create(){

    2熱度

    1回答

    我正在使用微軟求解器,並想問我如何找到 使用LP而不僅僅是最優解決方案的K最佳解決方案? 我知道CPLEX有解決方案池功能爲 示例。 謝謝你的幫助。 Paul。

    4熱度

    1回答

    我希望這對某人是顯而易見的。我只有一個香草使用GLPK/MathProg。 我無法搞清楚在GNU MathProg(內GLPK)的語法來做到以下幾點,例如: set PartsOfWeek; set WeekDays; data; set PartsOfWeek := WorkWeek WeekEnd; set WorkWeek := Mon Tue Wed Thu Fri; set

    3熱度

    1回答

    我試圖用Z3 SMT求解器證明以下內容:((x*x) + x) = ((~x * ~x) + ~x)。 這是正確的,因爲c語言中的溢出語義。 現在,我寫了下面的SMT-LIB代碼: (declare-fun a() Int) (define-fun myadd ((x Int) (y Int)) Int (mod (+ x y) 4294967296)) (define-fun mynot

    5熱度

    2回答

    我最近一直在研究回溯數獨求解算法,現在我想問一下我應該如何將我的solve()方法從void更改爲布爾值。 我用一個很簡單的回溯算法,以及它目前工作正常,但我寧願有一個布爾值,而不是無效的,因爲有printstack是不是很好... 謝謝! public class Backtracking{ static int backtrack = 0; //check if valid in

    1熱度

    2回答

    我有一個簡單的優化問題,並且正在爲此尋找java軟件。 Apache的數學優化軟件看起來就像是我想要的,但我不能找到文檔,以滿足我的需要(其中這些需求是有用的初學者/非數學專業!) 有誰知道工作的,簡單,舉例? 萬一有幫助,問題是,我想找到的最大r其中 r1 = s1 * m1 r2 = s2 * m2 而且有定義的變量之間的關係的一些約束和公式。 Excel解算器可以很好地解決這個問題。

    5熱度

    4回答

    我最近開始使用MathNet來實現我們的線性代數,但是我有一些麻煩將MATLAB函數轉換爲MathNet。 在MATLAB中我經常使用的簡單解決使用反斜槓操作符: C = A \ B 什麼是這個在MathNet等效? 我在使用C = Inv(A)* B的小矩陣中得到了相同的結果,但我不知道結果是否精確。

    0熱度

    2回答

    我試圖建立一個程序,將激進的最簡單的激進形式。我,有情,沒有運氣。 我在找一種方法,需要輸入String並返回String。 輸入String:sqrt[160]。我已經讓我的方法取出數值(160)。 現在,我只是需要一些突破160並返回一個String,如:提前"4*sqrt[10]" 謝謝! 注: 上面的僅僅是一個例子

    3熱度

    2回答

    我是編程新手(Python是我的第一語言),但我喜歡設計算法。我目前正在研究一個方程組(整數),我找不到任何關於解決我的特定問題的參考。 讓我解釋一下。 我有一個公式(一個測試,如果你願意): raw_input == [(90*x + a) * y] + z 其中a是某個常數。 我的問題是,變量z的計數方式非常類似於斐波那契數列,而變量x是z的步長。所以我的意思是(對斐波那契數列)是在z序列