几何概型+线性规划