n个约束，m个变量。
process 返回值为-inf表示无解，inf表示无穷解，否则表示最优解。
矩阵a[0][1\dots m]表示目标函数的系数。举例线性规划: 
$\max(-2x -3y - 4z)$, 其中$3x + 2y + z \le 10, 2x + 5y + 3z \le 15$. 数组a应为: \{\{0,-2,-3,-4\},\{10,-3,-2,-1\},\{15,-2,-5,-3\}\}.
