我在E中给出了一组边缘（a，b）。我想为集合A中的所有a定义0-1决策变量（b与集合A中的b不同），其中A是图形的一组顶点。
决策变量应如下所示：
? extends这个决策变量将用在我的数学模型中的某些约束中，以测试给定的元素对是否（i，j） - 为了简单起见，将它与上面的定义区别开来 - 是否在E中强制执行某些行为。
我不确定如何使用Python API在Gurobi中编写它。一种天真的方法是：
H[a,b] = 1 if (a,b) is in E
0 otherwise
但是这样，H不是Gurobi变量。