一个线性规划问题，一定存在它的一个对偶问题