最优解带入原问题的第四个约束条件为严格不等式，为松约束，所以对应的对偶变量y4=0；原问题的变量大于0，则该变量对应的对偶约束必为紧约束，也就是严格等式，最优条件里面前三个都是大于0的，所以对应的对偶变量前三条必能取等式，第四个最优值是0，第四条对应对偶变量不能判断是否取等，所以忽略掉。
要想正确找出相对应的解，需严格安排对偶问题的转换方式，便可找出对偶问题的解。你举得例子X4自然对应的是y1 。所谓严格按照对偶问题的转换方式，就是指大小相换，条件与变量相换。系数矩阵A变为A转置。另外你的例子确实存在问题，在线性规划问题中，有三种变量分别为决策变量，松弛变量，人工变量。而基变量是不断变化的。 假设我理解你的题意应该是X1 X2 X3为决策变量。由此可见原问题有两个约束条件，故对偶问题有两个决策变量，且应该严格对应，第一个条件对应第一个变量y1,以此类推。而且对偶问题三个松弛变量。故对偶问题中有五个变量，而不是四个。具体对应如下，x4,x5的检验数对应的是对偶问题中的y1,y2。y3,y4,y5的检验数对应x1,x2,x3
将原问题的最优解依次代入原问题的约束条件，如果约束条件为严格不等式则说明对偶问题的该变量非零，如果为不等式则说明对偶问题中该变量为0，把对偶问题写出来，将为0的变量代入可以求出其余的变量
