簡體 English 中英

Gecode和G12（MIP）是否使用無限精度算法？

[英]Do Gecode and G12 (MIP) use infinite precision arithmetic?

原文 2018-12-26 10:22:43 3 1 minizinc/ gecode/ flatzinc/ mzn2fzn

我只想知道這兩個MiniZinc求解器是否默認都使用無限精度算法。

1 個解決方案

Gecode和G12求解器都不支持無限精度。 我知道的這些求解器和所有其他MiniZinc求解器都僅支持浮點運算。 部分原因是MiniZinc編譯器不支持無限精度（請參閱如何通過非標准FlatZinc擴展獲取有理數的精確無窮表示形式？）。

如何通過非標准FlatZinc擴展獲得有理數的精確無窮表示形式？

[英]How to obtain an exact infinite-precision representation of rational numbers via a non-standard FlatZinc extension?

Minizinc，Gecode，如何通過多解決方案模型在分布式服務器上獲得相同的解決方案？

[英]Minizinc, Gecode, how to get an identical solutions across distributed servers, with multi-solution model?

使用MiniZinc模型從Java調用gecode

[英]Call gecode from Java using MiniZinc model

使用累積約束時的無限值

[英]infinite value while using cumulative constraint

錯誤：Gecode：Float::linear：數量超出限制

[英]Error: Gecode: Float::linear: Number out of limits

minizinc修復功能的用途是什么？

[英]What is the use of minizinc fix function?

MiniZinc中搜索注釋的影響是什么？

[英]What does the impact search annotation do in MiniZinc?

基數約束類型失敗；如何正確使用minizinc卡

[英]Cardinality constraint type failure; how to use minizinc `card` correctly

想要計算數組中的第 n 個最大值使用 Minizinc

[英]Want caculate the n-th largest value in an array Use Minizinc

需要無限時間來滿足約束並產生輸出的問題

[英]Problem taking infinite time to satisfy constraints and produce output

暫無

暫無

聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

相關問題 如何通過非標准FlatZinc擴展獲得有理數的精確無窮表示形式？ Minizinc，Gecode，如何通過多解決方案模型在分布式服務器上獲得相同的解決方案？使用MiniZinc模型從Java調用gecode 使用累積約束時的無限值錯誤：Gecode：Float::linear：數量超出限制 minizinc修復功能的用途是什么？ MiniZinc中搜索注釋的影響是什么？基數約束類型失敗；如何正確使用minizinc卡想要計算數組中的第 n 個最大值使用 Minizinc 需要無限時間來滿足約束並產生輸出的問題

相關標簽

粵ICP備18138465號 © 2020-2024 STACKOOM.COM