建模：变量 / 数组 / 多项式

创建变量

gen = VariableGenerator()
x = gen.scalar("Binary")                  # 单个 0/1 变量
q = gen.array("Binary", 5)                # 一维数组
m = gen.array("Binary", shape=(3, 4))     # 二维，支持 m[0, :] / m[:, 1] 切片
n = gen.array("Integer", 3, bounds=(0, 7))# 整数变量，自动二进制编码

构建表达式（自然写法）

expr = q[0] + 2 * q[1] - q[0] * q[1]    # 线性 + 二次项
total = q.sum()                          # 整个数组求和
obj = sum(w[i] * q[i] for i in range(5)) # Python sum 也行

目标函数传给 Model(...)，平台默认<b>最小化</b>；要最大化就取负号。