我正在使用 CVXOPT 来解决一个非常简单的问题：
min -7890424934354.171875*x1 -7890424934354.274414*x2 -7890424934354.246093*x3
s.t:
x1 + x2 + x3 = 1
x1,x2,x3 are binary
我们可以看到最优解显然应该是：
x1 =0; x2 = 1; x3 = 0
但是我没有从 CVXOPT 使用 ILP 得到正确答案（我知道上面的问题太简单了，无法使用 ILP，但我只是好奇）。关于 CVXOPT 的 ILP 的详细描述在这里。
我的程序是这样的：
from cvxopt.glpk import ilp
from cvxopt import matrix
c = matrix([-7890424934354.171875,-7890424934354.274414,-7890424934354.246093],tc='d')
G = matrix(0.0, (1,3)) #since I do not have a constraint like G*x <= h, I make them zeros here
h = matrix(0.0, (1,1))
A = matrix([1,1,1],tc='d')
b = …