互为对偶的两个线性规划max Z=CX，AX≤b，X≥0及minW=Yb，YA≥C，Y≥0，对任意可行解X和Y，存在关系()。