Changes to LP if a new constraint is added












0














enter image description here



Applying simplex, I found out the optimal solution to be $z^*=16$ and $x^{*} = (8,0,0,0,12)$ where $x_4,x_5$ are slack variables.



Now, suppose we add constraint $x_2+2x_3 = 3$



So, If I were to add this constraint to the optimal tableau, we see that this does ${bf not}$ affect the values of $z_j-c_j$ and so optimality is not changed. This suggests that we have to consider $x_2+2x_3 leq 3 $ and $x_2+2x_3 geq 3$ which is same as $-x_2-2x_3 leq -3$ and so after adding slack variables $x_6,x_7$,then we see that the feasibility is changed (primal feasibility). In this situation, do we run the dual simplex?



or the way to handle this situation is different than the way I thought?










share|cite|improve this question





























    0














    enter image description here



    Applying simplex, I found out the optimal solution to be $z^*=16$ and $x^{*} = (8,0,0,0,12)$ where $x_4,x_5$ are slack variables.



    Now, suppose we add constraint $x_2+2x_3 = 3$



    So, If I were to add this constraint to the optimal tableau, we see that this does ${bf not}$ affect the values of $z_j-c_j$ and so optimality is not changed. This suggests that we have to consider $x_2+2x_3 leq 3 $ and $x_2+2x_3 geq 3$ which is same as $-x_2-2x_3 leq -3$ and so after adding slack variables $x_6,x_7$,then we see that the feasibility is changed (primal feasibility). In this situation, do we run the dual simplex?



    or the way to handle this situation is different than the way I thought?










    share|cite|improve this question



























      0












      0








      0







      enter image description here



      Applying simplex, I found out the optimal solution to be $z^*=16$ and $x^{*} = (8,0,0,0,12)$ where $x_4,x_5$ are slack variables.



      Now, suppose we add constraint $x_2+2x_3 = 3$



      So, If I were to add this constraint to the optimal tableau, we see that this does ${bf not}$ affect the values of $z_j-c_j$ and so optimality is not changed. This suggests that we have to consider $x_2+2x_3 leq 3 $ and $x_2+2x_3 geq 3$ which is same as $-x_2-2x_3 leq -3$ and so after adding slack variables $x_6,x_7$,then we see that the feasibility is changed (primal feasibility). In this situation, do we run the dual simplex?



      or the way to handle this situation is different than the way I thought?










      share|cite|improve this question















      enter image description here



      Applying simplex, I found out the optimal solution to be $z^*=16$ and $x^{*} = (8,0,0,0,12)$ where $x_4,x_5$ are slack variables.



      Now, suppose we add constraint $x_2+2x_3 = 3$



      So, If I were to add this constraint to the optimal tableau, we see that this does ${bf not}$ affect the values of $z_j-c_j$ and so optimality is not changed. This suggests that we have to consider $x_2+2x_3 leq 3 $ and $x_2+2x_3 geq 3$ which is same as $-x_2-2x_3 leq -3$ and so after adding slack variables $x_6,x_7$,then we see that the feasibility is changed (primal feasibility). In this situation, do we run the dual simplex?



      or the way to handle this situation is different than the way I thought?







      linear-programming






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 21 '18 at 5:44

























      asked Nov 21 '18 at 5:34









      Neymar

      374114




      374114






















          1 Answer
          1






          active

          oldest

          votes


















          2














          $(8,0,0)$ doesn't satisfy $x_2+2x_3=3.$ The value on the LHS is less than the $RHS$.



          $$max 2x_1+x_2-x_3-Mx_6$$
          subject to
          $$x_1+2x_2+x_3+x_4=8$$



          $$-x_1+x_2-2x_3 + x_5=4$$



          $$x_2+2x_3+x_6=3$$



          $$x ge 0$$



          At $(x_1, x_2, x_3, x_4, x_5, x_6)=(8,0,0,0,12,3)$, we have $x_1, x_5, x_6$ being basic variables and we can run primal simplex.



          If the previous basis matrix is $B$, now, our basis matrix is $begin{bmatrix} B & 0 \ 0 & 1end{bmatrix}$ with its inverse being $begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}.$ The main entries of the simplex tables are $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} A & 0\ a_3^T & 1end{bmatrix}=begin{bmatrix} B^{-1}A & 0\ a_3^T & 1end{bmatrix}$$



          $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} b \ b_3end{bmatrix}=begin{bmatrix} B^{-1}b \ b_3 end{bmatrix}$$






          share|cite|improve this answer























          • Why did you add slack to the new constraint if it was already an equiality?
            – Neymar
            Nov 22 '18 at 16:04










          • so that we can move on from the current position in our simplex implementation.
            – Siong Thye Goh
            Nov 22 '18 at 16:16










          • Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
            – Neymar
            Nov 22 '18 at 16:28










          • Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
            – Siong Thye Goh
            Nov 22 '18 at 16:36










          • I have added an explanation why most entries are the same.
            – Siong Thye Goh
            Nov 22 '18 at 16:43











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007305%2fchanges-to-lp-if-a-new-constraint-is-added%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          2














          $(8,0,0)$ doesn't satisfy $x_2+2x_3=3.$ The value on the LHS is less than the $RHS$.



          $$max 2x_1+x_2-x_3-Mx_6$$
          subject to
          $$x_1+2x_2+x_3+x_4=8$$



          $$-x_1+x_2-2x_3 + x_5=4$$



          $$x_2+2x_3+x_6=3$$



          $$x ge 0$$



          At $(x_1, x_2, x_3, x_4, x_5, x_6)=(8,0,0,0,12,3)$, we have $x_1, x_5, x_6$ being basic variables and we can run primal simplex.



          If the previous basis matrix is $B$, now, our basis matrix is $begin{bmatrix} B & 0 \ 0 & 1end{bmatrix}$ with its inverse being $begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}.$ The main entries of the simplex tables are $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} A & 0\ a_3^T & 1end{bmatrix}=begin{bmatrix} B^{-1}A & 0\ a_3^T & 1end{bmatrix}$$



          $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} b \ b_3end{bmatrix}=begin{bmatrix} B^{-1}b \ b_3 end{bmatrix}$$






          share|cite|improve this answer























          • Why did you add slack to the new constraint if it was already an equiality?
            – Neymar
            Nov 22 '18 at 16:04










          • so that we can move on from the current position in our simplex implementation.
            – Siong Thye Goh
            Nov 22 '18 at 16:16










          • Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
            – Neymar
            Nov 22 '18 at 16:28










          • Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
            – Siong Thye Goh
            Nov 22 '18 at 16:36










          • I have added an explanation why most entries are the same.
            – Siong Thye Goh
            Nov 22 '18 at 16:43
















          2














          $(8,0,0)$ doesn't satisfy $x_2+2x_3=3.$ The value on the LHS is less than the $RHS$.



          $$max 2x_1+x_2-x_3-Mx_6$$
          subject to
          $$x_1+2x_2+x_3+x_4=8$$



          $$-x_1+x_2-2x_3 + x_5=4$$



          $$x_2+2x_3+x_6=3$$



          $$x ge 0$$



          At $(x_1, x_2, x_3, x_4, x_5, x_6)=(8,0,0,0,12,3)$, we have $x_1, x_5, x_6$ being basic variables and we can run primal simplex.



          If the previous basis matrix is $B$, now, our basis matrix is $begin{bmatrix} B & 0 \ 0 & 1end{bmatrix}$ with its inverse being $begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}.$ The main entries of the simplex tables are $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} A & 0\ a_3^T & 1end{bmatrix}=begin{bmatrix} B^{-1}A & 0\ a_3^T & 1end{bmatrix}$$



          $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} b \ b_3end{bmatrix}=begin{bmatrix} B^{-1}b \ b_3 end{bmatrix}$$






          share|cite|improve this answer























          • Why did you add slack to the new constraint if it was already an equiality?
            – Neymar
            Nov 22 '18 at 16:04










          • so that we can move on from the current position in our simplex implementation.
            – Siong Thye Goh
            Nov 22 '18 at 16:16










          • Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
            – Neymar
            Nov 22 '18 at 16:28










          • Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
            – Siong Thye Goh
            Nov 22 '18 at 16:36










          • I have added an explanation why most entries are the same.
            – Siong Thye Goh
            Nov 22 '18 at 16:43














          2












          2








          2






          $(8,0,0)$ doesn't satisfy $x_2+2x_3=3.$ The value on the LHS is less than the $RHS$.



          $$max 2x_1+x_2-x_3-Mx_6$$
          subject to
          $$x_1+2x_2+x_3+x_4=8$$



          $$-x_1+x_2-2x_3 + x_5=4$$



          $$x_2+2x_3+x_6=3$$



          $$x ge 0$$



          At $(x_1, x_2, x_3, x_4, x_5, x_6)=(8,0,0,0,12,3)$, we have $x_1, x_5, x_6$ being basic variables and we can run primal simplex.



          If the previous basis matrix is $B$, now, our basis matrix is $begin{bmatrix} B & 0 \ 0 & 1end{bmatrix}$ with its inverse being $begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}.$ The main entries of the simplex tables are $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} A & 0\ a_3^T & 1end{bmatrix}=begin{bmatrix} B^{-1}A & 0\ a_3^T & 1end{bmatrix}$$



          $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} b \ b_3end{bmatrix}=begin{bmatrix} B^{-1}b \ b_3 end{bmatrix}$$






          share|cite|improve this answer














          $(8,0,0)$ doesn't satisfy $x_2+2x_3=3.$ The value on the LHS is less than the $RHS$.



          $$max 2x_1+x_2-x_3-Mx_6$$
          subject to
          $$x_1+2x_2+x_3+x_4=8$$



          $$-x_1+x_2-2x_3 + x_5=4$$



          $$x_2+2x_3+x_6=3$$



          $$x ge 0$$



          At $(x_1, x_2, x_3, x_4, x_5, x_6)=(8,0,0,0,12,3)$, we have $x_1, x_5, x_6$ being basic variables and we can run primal simplex.



          If the previous basis matrix is $B$, now, our basis matrix is $begin{bmatrix} B & 0 \ 0 & 1end{bmatrix}$ with its inverse being $begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}.$ The main entries of the simplex tables are $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} A & 0\ a_3^T & 1end{bmatrix}=begin{bmatrix} B^{-1}A & 0\ a_3^T & 1end{bmatrix}$$



          $$begin{bmatrix} B^{-1} & 0 \ 0 & 1end{bmatrix}begin{bmatrix} b \ b_3end{bmatrix}=begin{bmatrix} B^{-1}b \ b_3 end{bmatrix}$$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 22 '18 at 16:50

























          answered Nov 22 '18 at 13:02









          Siong Thye Goh

          99.5k1464117




          99.5k1464117












          • Why did you add slack to the new constraint if it was already an equiality?
            – Neymar
            Nov 22 '18 at 16:04










          • so that we can move on from the current position in our simplex implementation.
            – Siong Thye Goh
            Nov 22 '18 at 16:16










          • Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
            – Neymar
            Nov 22 '18 at 16:28










          • Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
            – Siong Thye Goh
            Nov 22 '18 at 16:36










          • I have added an explanation why most entries are the same.
            – Siong Thye Goh
            Nov 22 '18 at 16:43


















          • Why did you add slack to the new constraint if it was already an equiality?
            – Neymar
            Nov 22 '18 at 16:04










          • so that we can move on from the current position in our simplex implementation.
            – Siong Thye Goh
            Nov 22 '18 at 16:16










          • Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
            – Neymar
            Nov 22 '18 at 16:28










          • Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
            – Siong Thye Goh
            Nov 22 '18 at 16:36










          • I have added an explanation why most entries are the same.
            – Siong Thye Goh
            Nov 22 '18 at 16:43
















          Why did you add slack to the new constraint if it was already an equiality?
          – Neymar
          Nov 22 '18 at 16:04




          Why did you add slack to the new constraint if it was already an equiality?
          – Neymar
          Nov 22 '18 at 16:04












          so that we can move on from the current position in our simplex implementation.
          – Siong Thye Goh
          Nov 22 '18 at 16:16




          so that we can move on from the current position in our simplex implementation.
          – Siong Thye Goh
          Nov 22 '18 at 16:16












          Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
          – Neymar
          Nov 22 '18 at 16:28




          Is it possible to add constraint to the optimal tableau of the “old” problem and take it from there? Maybe using dual simple?
          – Neymar
          Nov 22 '18 at 16:28












          Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
          – Siong Thye Goh
          Nov 22 '18 at 16:36




          Sure. I added a constraint and the variable $x_6$. With $x_1, x_5, x_6$ as the basis, most entries are identical with the old problem.
          – Siong Thye Goh
          Nov 22 '18 at 16:36












          I have added an explanation why most entries are the same.
          – Siong Thye Goh
          Nov 22 '18 at 16:43




          I have added an explanation why most entries are the same.
          – Siong Thye Goh
          Nov 22 '18 at 16:43


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3007305%2fchanges-to-lp-if-a-new-constraint-is-added%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          MongoDB - Not Authorized To Execute Command

          in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

          How to fix TextFormField cause rebuild widget in Flutter