Are all the basic feasible solutions accepted?

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around a linear programming problem involving the maximization of an objective function subject to certain constraints. Participants explore the canonical form of the problem, identify basic feasible solutions, and debate the acceptance of these solutions based on the presence of variables in the objective function.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant presents a linear programming problem and attempts to convert it into canonical form while identifying basic feasible solutions.
  • Another participant questions whether a specific solution, $(2,0,2,0)$, can be considered a basic feasible solution since one of its variables, $x_3$, does not appear in the objective function.
  • It is noted by a participant that it is normal for not all variables to appear in the objective function.
  • There is a claim that the maximum of the objective function is $4$, achieved at the basic feasible solution $(4,0,0,6)$, although this is later confirmed by another participant.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the acceptance of certain basic feasible solutions, particularly in relation to the variables present in the objective function. While there is agreement on the maximum value of the objective function, the discussion remains unresolved regarding the criteria for accepting basic feasible solutions.

Contextual Notes

Participants do not fully resolve the conditions under which a solution can be accepted as basic feasible, particularly in relation to the objective function's variables.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)The following linear programming problem is given:

$$\max{(x_1-x_2)} \\ x_1+x_2 \leq 4 \\ 2x_1-x_2 \geq 2 \\ x_1, x_2 \geq 0$$

Write it in its canonical form and find its vertices.

I have tried the following:

The linear programming problem can be written in its canonical form as follows:

$$\max{(x_1-x_2)} \\ x_1+x_2+x_3=4 \\ 2x_1-x_2-x_4=2 \\ x_1, x_2, x_3, x_4 \geq 0$$

$A=\begin{bmatrix}
1 &1 & 1 & 0\\
2 & -1 & 0 &-1
\end{bmatrix}$

$r(A)=2$, $P_1=\begin{bmatrix}
1\\
2
\end{bmatrix}, P_2=\begin{bmatrix}
1\\
-1
\end{bmatrix}, P_3= \begin{bmatrix}
1\\
0
\end{bmatrix}, P_4=\begin{bmatrix}
0\\
-1
\end{bmatrix}$

and the problem can be written equivalently as follows:

$$\max{ (x_1-x_2) } \\ P_1 x_1+ P_2 x_2+ P_3 x_3+ P_4 x_4= \begin{bmatrix}
4\\
2
\end{bmatrix} \\ x_j \geq 0, j=1,2,3,4$$From the equations we get that $0 \leq x_1 \leq 4, 0 \leq x_2 \leq 4, 0 \leq x_3 \leq 4, 0 \leq x_4 \leq 8$ and thus the set of feasible solutions is bounded.
  • $P_1, P_2$ are linearly independent.

    We solve the system $P_1 x_1+P_2 x_2= \begin{bmatrix}
    4\\
    2
    \end{bmatrix}$ and we get $x_1=x_2=2$.

    $(2,2,0,0) $ -> basic feasible solution
  • $P_1, P_3$ are linearly independent.

    We solve the system $P_1 x_1+P_3 x_3= \begin{bmatrix}
    4\\
    2
    \end{bmatrix}$ and we get $x_2=x_3=2$.

    $(2,0,2,0) $ -> basic feasible solution
  • $P_1, P_4$ are linearly independent.

    We solve the system $P_1 x_1+P_4 x_4= \begin{bmatrix}
    4\\
    2
    \end{bmatrix}$ and we get $x_1=4, x_4=6$.

    $(4,0,0,6) $ -> basic feasible solution
  • $P_2, P_3$ are linearly independent.

    We solve the system $P_2 x_2+P_3 x_3= \begin{bmatrix}
    4\\
    2
    \end{bmatrix}$ and we get $x_1=-2, x_3=3$, which does not give a basic faesible solution.
  • $P_2, P_4$ are linearly independent.

    We solve the system $P_2 x_2+P_4 x_4= \begin{bmatrix}
    4\\
    2
    \end{bmatrix}$ and we get $x_2=4, x_4=-6$, which does not give a basic faesible solution.
  • $P_3, P_4$ are linearly independent.

    We solve the system $P_3 x_3+P_4 x_4= \begin{bmatrix}
    4\\
    2
    \end{bmatrix}$ and we get $x_3=4, x_4=-2$, which does not give a basic faesible solution.
Is the above right? Or can't we accept for example $(2,0,2,0)$ as a basic feasible solution since $x_3$ doesn't appear at the function that we want to maximize? (Thinking)
 
Physics news on Phys.org
evinda said:
Is the above right? Or can't we accept for example $(2,0,2,0)$ as a basic feasible solution since $x_3$ doesn't appear at the function that we want to maximize? (Thinking)

Hey evinda! (Smile)

All is well.
It it normal that not all variables appear in the objective function. (Mmm)
 
I like Serena said:
Hey evinda! (Smile)

All is well.
It it normal that not all variables appear in the objective function. (Mmm)

So the maximum of the objective function is $4$ and is achieved for the basic feasible solution $(4,0,0,6)$, right? (Thinking)
 
evinda said:
So the maximum of the objective function is $4$ and is achieved for the basic feasible solution $(4,0,0,6)$, right? (Thinking)

Right! (Nod)
 
I like Serena said:
Right! (Nod)

Nice... Thank you! (Smirk)
 

Similar threads

  • · Replies 32 ·
2
Replies
32
Views
5K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 42 ·
2
Replies
42
Views
8K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K