说明：  0-1规划的matlab算法，功能很全，可以自动设置很对变量。不过是英文的，入口函数bintprog（）
( BINTPROG solves the binary integer programming problem min f *X subject to: A*X <= b, Aeq*X = beq, where the elements of X are binary integers, i.e., 0 s or 1 s. )