minizinc中約束的最大數量是多少

我無法找到任何有關minizinc的求解器可以處理的最大變量和約束數量的參考。具體而言，我對minizinc的mip求解器感興趣。當我有大約15k的約束和大約1000個變量時，我在8GB的Mac上遇到堆棧溢出錯誤。有誰知道這是否接近minizinc的真正限制嗎？minizinc中約束的最大數量是多少

來源

2013-10-28 Tomato

Stackoverflow錯誤無法通過使用大量RAM（如8GB）來解決。它基本上是使用遞歸函數（超過1024個調用）的代碼，它應該使用循環代替。 –

感謝評論，@GeoffreyDeSmet。在minizinc中沒有直接寫遞歸函數的方法，因此它必須與一些內部minizinc的限制有關。 – Tomato

即我必須指定太多的約束或使用太多的變量。我所有的約束都是帶求和功能的簡單循環，所以不用任何recusion。 – Tomato

看起來像minizinc由於太多的限制而崩潰。我能夠使用另一個名爲SCIP的開源MIP求解器/優化框架來模擬我的問題。我不得不學習如何使用稱爲ZIMP的數學語言進行建模。

來源

2013-11-06 07:20:06 Tomato

minizinc中約束的最大數量是多少

回答

相關問題