约束矩阵抽象:内点法只依赖这四个运算,因此稠密/ sparse 可自由切换