各位众神，在下向你们求救，进来看看吧

2
-4x1+x2+x3+x4≥0
因为x1,x2,x3,x4＝0或1，所以x2+x3+x4最大为3
若x1=1，则不成立，
所以 x1 =0
所以 -4x1+x2+x3+x4≥0相当于x2+x3+x4≥0
所以，该条件以后没有用了
x1+x2-x3+x4≥1 即 x2-x3+x4≥1
-2x1+4x2+2x3+4x4≥4， 即2x2+x3+2x4≥2
相加得3x2+3x4≥3 所以 x2+x4≥1，
所以minZ=2x1+5x2+3x3+4x4 =5x2+3x3+4x4 ≥x2+3x3 + 4
之下没有可以讨论的条件了，所以用假设法，明显x3最好为0，
看是否满足条件（2）（3），显然满足，
再看若x2为0，代入（2）（3），得X4为1时满足

这道题若不用讨论明显条件不足（所有不等式中x2和x4的系数比都是1：1），用讨论其实是一种不高明的做法，但现在只用这么办了

（1）把不等式1和不等式2相加
2x1+3x2≤14.5
4x1+x2≤16.5
得到不等式3：6x1+4x2≤31
将不等式3两边除以2（根据不等式两边同除正数不等号方向不变）
得到不等式4：3x1+2x2≤17.5
因为 x1,x2为整数
所以当x1=5，x2=1的时候最大，最大值为17