当一对对偶规划达到最优时，若一个问题的某个变量取值不为，则相对应的另一问题的约束条件为以下哪种式子