Warning: file_get_contents(/data/phpspider/zhask/data//catemap/9/java/366.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Java Choco解算器-在运行时间过长的情况下,如何获得最接近的解决方案(满足大多数约束)?_Java_Constraints_Constraint Programming_Choco_Constraint Satisfaction - Fatal编程技术网

Java Choco解算器-在运行时间过长的情况下,如何获得最接近的解决方案(满足大多数约束)?

Java Choco解算器-在运行时间过长的情况下,如何获得最接近的解决方案(满足大多数约束)?,java,constraints,constraint-programming,choco,constraint-satisfaction,Java,Constraints,Constraint Programming,Choco,Constraint Satisfaction,在Choco Solver中,如果找到一个解决方案可能需要很长时间,如何获得最接近的解决方案(一个迄今为止满足最多约束,但可能不满足所有约束的解决方案) 例如,如果我在一个解决方案的运行模型.GETSOLVIEW()SoVE()中,并且我决定,尽管没有找到解决方案,它已经花费了足够长的时间,但是到目前为止,我怎样才能输出最接近的解决方案呢? < P>我似乎第一次没有很好地阅读这个问题。p> 可以修改模型,将硬约束转换为软约束 这意味着您将满意度问题转化为优化问题 你可以使用约束具体化

在Choco Solver中,如果找到一个解决方案可能需要很长时间,如何获得最接近的解决方案(一个迄今为止满足最多约束,但可能不满足所有约束的解决方案)


例如,如果我在一个解决方案的运行模型.GETSOLVIEW()SoVE()中,并且我决定,尽管没有找到解决方案,它已经花费了足够长的时间,但是到目前为止,我怎样才能输出最接近的解决方案呢?

< P>我似乎第一次没有很好地阅读这个问题。p> 可以修改模型,将硬约束转换为软约束 这意味着您将满意度问题转化为优化问题 你可以使用约束具体化