相关疑难解决方法(0)

我正在尝试解决整数编程问题.我试过使用SCIP和LPSolve

例如,给定A和B的最终值,我想在以下C#代码中求解valA:

Int32 a = 0, b = 0;
a = a*-6 + b + 0x74FA - valA;
b = b/3 + a + 0x81BE - valA;
a = a*-6 + b + 0x74FA - valA;
b = b/3 + a + 0x81BE - valA;
// a == -86561, b == -32299

我以lp格式实现了这个整数程序(截断分区导致一些复杂化):

min: ;
+valA >= 0;
+valA < 92;
remAA_sign >= 0;
remAA_sign <= 1;
remAA <= 2;
remAA >= -2;
remAA +2 remAA_sign >= …