將 SoPlex 參數傳遞給 SCIP

[英]Passing SoPlex parameters to SCIP

我在 AMPL 模式下使用 SCIP 求解器，將 SoPlex 作為 LP 求解器。 這是在https://scipopt.org/index.php#download提供的預編譯版本。 我正在求解混合 integer 程序 (MIP)，並希望讓 SoPlex 對 LP 子問題使用對偶單純形算法。 ...

SCIP：獲取目標變量的系數 function 的靈敏度范圍

[英]SCIP: get sensitivity range of the objective function coefficient of a variable

我正在 SCIP 中實現一個分支規則（使用 C api）。 在BRANCHEXECLP回調期間，我需要獲得候選變量的目標 function 系數的靈敏度范圍。 有沒有辦法獲得這些信息？ 我想要一個 function 來獲得變量x的范圍[x1, x2] ，這樣通過在此范圍內的值更改x的目標系數不會改變 ...

使用 SCIP 定義混合整數問題中的 OR 約束

[英]Defining OR-constraint in mixed-integer problem with SCIP

我正在嘗試使用 SCIP 工具 ( https://github.com/scipopt/PySCIPOpt ) 的 python 接口來解決混合整數優化問題。 我想定義一個具有三個約束的 OR 約束，但必須只滿足其中一個。 例如，我想最小化一個變量x具有三個約束x>=1, x>=2, ...

編寫 MPS 我得到“操作系統錯誤：SCIP：無法創建文件！”

[英]Writing an MPS I get "OS Error: SCIP: cannot create file!"

我試圖使用 pyscipopt.writeProblem() 編寫一個 MPS，但我收到了這個錯誤，這是我以前從未遇到過的，除了它的消息之外似乎沒有任何可用的信息。 認證有問題嗎？ SCIP 或 PyScipOpt 是否安裝不正確？ 我首先以管理員身份運行它，我還嘗試重新安裝 PyScipOpt ...

SCIP：如何在解決 MILP 問題時設置初始猜測

[英]SCIP: How to set an initial guess when solving a MILP problem

由於 SCIP 庫的文檔很差，我不明白允許設置初始猜測的 SCIP 方法的順序。 我有n 個變量（整數和連續）和約束的問題。 我想做以下事情。 首先，解決問題並獲得解決方案。 然后在問題中引入一個額外的變量和一些相關的約束。 得到的解作為n+1個變量和約束的新問題的初始猜測（部分猜測）。 按照我的想 ...

我如何加入 Zimpl 中的集合？

[英]How can I join sets in Zimpl?

我從文件中讀取了兩個m*n （月 * 夜）維度的參數： A[m,n]和B[m,n] 我怎樣才能從這兩個參數中創建一個集合/參數，以便新集合具有相同的索引m*n ，並且元素組合為集合，中間有一個額外的零？ 例如，假設A["D", 5] = 35, B["D", 5] = 2 ， 我想要C["D", ...

SCIP：在不更改 model 的情況下重新運行問題

[英]SCIP: rerun of the problem without changing the model

我想我錯過了 SCIP 庫的使用。 我有一個 MILP 問題，想在一個可執行問題的框架內比較求解器在沒有初始猜測的情況下的性能。 也就是說，我創建一個問題，解決它，然后使用獲得的解決方案作為初始猜測並再次運行該問題。 但。 求解器的第二次運行什么也不做。 我讀到在第一次運行求解器后，問題的階段更改為 ...

如何在 SCIP 中指定編程類型

[英]How to Specify the Programming Type in SCIP

我正在 Python 中使用 PYSCIPOPT 解決優化問題。我知道我不需要指定問題類型，它會自動為我檢測。 但我有一個特殊的情況，它可能會有用。 我原來的問題是 MINLP，但 PYSCIPOPT 無法解決它。 所以我使用外部代碼來建議對 integer 變量的猜測，之后我修復了 integer ...

在 SCIP 分支定界中強制提前退出

[英]force early exit in SCIP branch-and-bound

在 SCIPopt 中使用自定義分支或節點選擇規則時，是否可以在找到某個已知解決方案后強制立即退出分支定界搜索？ 我想說一個特定的節點是我要采取的解決方案，然后 B&B 程序應該立即退出。 我查看了自定義分支 ( https://www.scipopt.org/doc/html/BRANCH ...

SCIP 沒有為 MIQP 問題找到好的解決方案，而 CPLEX 很快找到了一個

[英]SCIP does not find good solution for MIQP problem while CPLEX finds one very quickly

我想使用 SCIP 解決具有 267 個變量 [1] 的混合 integer 二次規划問題。 CPLEX 可以在大約 30 秒內解決問題，並且已經在幾分之一秒內找到了非常接近最佳的解決方案 [2、3]。 不幸的是，SCIP 確實在努力解決這個問題，即使運行了 20 多分鍾后也無法找到接近最佳的解決 ...

在 SCIP 中解決多個 LP

[英]Solving multiple LPs in SCIP

我需要在 pyscipopt 中從頭開始實現 benders 分解。 我解決了一個主問題 LP，然后解決了一個子問題，它給出了主問題的違反約束。 我添加了那個約束，這個循環一直持續到我找到最佳解決方案。 在pyscipopt中，我使用model.freeTransform()然后添加新的約束，然后 ...

在 SCIP 分隔符中計算畫面的非基本項

[英]compute the tableau's nonbasic term in SCIP separator

在傳統的單純形算法表示法中，我們在當前基礎選擇 B 處有 x，如下所示： x B = A B -1 b - A B -1 A N x N 。 我如何計算 SCIP 中分隔符內的 A B -1 A N項，或者至少迭代它的列？ 我看到三個有用的方法： getLPColsData 、 getLPRows ...

C++ 中使用 Google 或工具進行線性規划：使用回調 function 停止搜索

[英]Linear Programming with Google or-tools in C++: Use callback function to stop search

我正在使用 Google 的 or-tools 庫結合 SCIP 求解器來求解 integer 線性程序，通過利用 MP Solver MPSolver 。 我希望每次找到新的候選解決方案時都會調用一個可自定義的回調 function。 這個回調 function 應該能夠評估解決方案，並且如果基於 ...

SCIP：為大型 LP 找到可行但非最優的解決方案

[英]SCIP: Find a feasible but not optimal solution to a large LP

我在 soplex 郵件列表上問過這個問題，但還沒有答案： http://listserv.zib.de/pipermail/soplex/2022-August/000001.html 我試過scip，花了30秒。 也許是因為它執行預求解。 有沒有一種簡單的方法可以實現我的目標： 指定一個初始解 ...

使用 scip 快速第一個可行的 MILP 解決方案的提示

[英]Tips for fast first feasible solution of a MILP using scip

我有一個 MINLP 問題。 對於使用 SCIP 的小型實例，我可以很快（幾秒鍾）解決它。 但是，在大型情況下，需要很長時間（數小時）才能找到可行的解決方案。 我想知道這里是否有人對如何更快地找到快速解決方案有一些提示。 我事先不知道任何初始解決方案，並且將啟發式設置為更具侵略性或更快或 null ...

可行性公差 SCIP

[英]Feasibility tolerances SCIP

SCIP 有一個參數，我們可以在其中設置約束的可行性容差（ numerics/feastol ）。 這是相對公差還是絕對公差？ 如果是相對公差，你能解釋一下它是如何計算的嗎？ 使用哪種規范等。我試圖查看文檔，但找不到。 ...

SCIP - SCIPOptSuite - LNK2001 - 未解析的外部符號

[英]SCIP - SCIPOptSuite - LNK2001 - unresolved external symbol

我是SCIP的新手，當我嘗試構建從此鏈接獲得的分支和價格框架時遇到了這個問題。 供您參考，我使用的是 MS Visual Studio 2019。我已經下載並安裝了預編譯包。 然后，我在我在VS 2019中構建的項目的屬性中進行了以下步驟。 C/C++ -> 常規 -> 附加包含目錄 ...

SCIPopt 的 setppc 的感應

[英]induction for SCIPopt's setppc

關於 SCIP 的“集合分區/打包/覆蓋的約束處理程序”： 無需我直接調用 setppc 函數就可以推斷出它支持的所有形式是否足夠聰明？ 它可以處理/檢測sum(x) == y的形式，其中 x 是二進制變量列表，y 也是二進制變量？ 小於或等於的相同問題？ 它的文檔聲明它需要一個等於 ...

通過 pyscipopt 自定義傳播器

[英]custom propagator via pyscipopt

我正在嘗試為 SCIP 編寫自定義值傳播器。 我有一些復雜的邏輯可以檢測到附加值，只要一個或多個固定（通過分支機制），這些值也可以固定。 我有下面的代碼顯然使一切都不可行（這是不正確的）。 我的問題： 價值傳播者是否適合這樣做？ 或者我應該使用約束處理程序的傳播機制（約束處理程序中沒有其他內容 ...

獲取 SCIP 中的節點被修剪的原因

[英]Getting the reason why a node in SCIP was pruned

我已經在 C++ 中使用 SCIP 實現了分支和剪切算法。 我的優化問題有一個最小化目標函數，目前我的代碼有一個我正在努力修復的錯誤。 我的問題的最佳值為 100，但程序返回 101。查看分支定界樹（使用可視化工具），我看到 SCIP 正在修剪 LP 界限為 100 的節點。此外，經過進一步調查，我 ...