Computing initial feasible basis in the simplex algorithm












1












$begingroup$


My textbook introduces the following method to compute initial feasible basis in the simplex algorithm:



enter image description here



What is the implication for the original LP if the auxiliary LP's objective function can't attain the value $0$, or if it is infeasible?










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    My textbook introduces the following method to compute initial feasible basis in the simplex algorithm:



    enter image description here



    What is the implication for the original LP if the auxiliary LP's objective function can't attain the value $0$, or if it is infeasible?










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      My textbook introduces the following method to compute initial feasible basis in the simplex algorithm:



      enter image description here



      What is the implication for the original LP if the auxiliary LP's objective function can't attain the value $0$, or if it is infeasible?










      share|cite|improve this question









      $endgroup$




      My textbook introduces the following method to compute initial feasible basis in the simplex algorithm:



      enter image description here



      What is the implication for the original LP if the auxiliary LP's objective function can't attain the value $0$, or if it is infeasible?







      linear-programming






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Feb 2 at 14:37









      ensbanaensbana

      252214




      252214






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          If the auxiliary problem can’t attain the value zero, then the original problem is infeasible.



          The auxiliary problem can’t be infeasible. For a general LP with constraints $Ax=b$ with $xgeq0$, the auxiliary problem has constraints $Ax+s=b$, $xgeq0$, $s$ free**. There is always the feasible solution $x=0$ and $s=b$.



          **If you require $sgeq0$, then you can write the slack variables $s$ as $s^+-s^-$ for $s^+,s^-geq0$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
            $endgroup$
            – ensbana
            Feb 2 at 22:44










          • $begingroup$
            I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
            $endgroup$
            – ensbana
            Feb 2 at 22:47












          • $begingroup$
            No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
            $endgroup$
            – David M.
            Feb 3 at 1:36












          Your Answer








          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%2f3097356%2fcomputing-initial-feasible-basis-in-the-simplex-algorithm%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









          1












          $begingroup$

          If the auxiliary problem can’t attain the value zero, then the original problem is infeasible.



          The auxiliary problem can’t be infeasible. For a general LP with constraints $Ax=b$ with $xgeq0$, the auxiliary problem has constraints $Ax+s=b$, $xgeq0$, $s$ free**. There is always the feasible solution $x=0$ and $s=b$.



          **If you require $sgeq0$, then you can write the slack variables $s$ as $s^+-s^-$ for $s^+,s^-geq0$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
            $endgroup$
            – ensbana
            Feb 2 at 22:44










          • $begingroup$
            I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
            $endgroup$
            – ensbana
            Feb 2 at 22:47












          • $begingroup$
            No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
            $endgroup$
            – David M.
            Feb 3 at 1:36
















          1












          $begingroup$

          If the auxiliary problem can’t attain the value zero, then the original problem is infeasible.



          The auxiliary problem can’t be infeasible. For a general LP with constraints $Ax=b$ with $xgeq0$, the auxiliary problem has constraints $Ax+s=b$, $xgeq0$, $s$ free**. There is always the feasible solution $x=0$ and $s=b$.



          **If you require $sgeq0$, then you can write the slack variables $s$ as $s^+-s^-$ for $s^+,s^-geq0$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
            $endgroup$
            – ensbana
            Feb 2 at 22:44










          • $begingroup$
            I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
            $endgroup$
            – ensbana
            Feb 2 at 22:47












          • $begingroup$
            No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
            $endgroup$
            – David M.
            Feb 3 at 1:36














          1












          1








          1





          $begingroup$

          If the auxiliary problem can’t attain the value zero, then the original problem is infeasible.



          The auxiliary problem can’t be infeasible. For a general LP with constraints $Ax=b$ with $xgeq0$, the auxiliary problem has constraints $Ax+s=b$, $xgeq0$, $s$ free**. There is always the feasible solution $x=0$ and $s=b$.



          **If you require $sgeq0$, then you can write the slack variables $s$ as $s^+-s^-$ for $s^+,s^-geq0$.






          share|cite|improve this answer









          $endgroup$



          If the auxiliary problem can’t attain the value zero, then the original problem is infeasible.



          The auxiliary problem can’t be infeasible. For a general LP with constraints $Ax=b$ with $xgeq0$, the auxiliary problem has constraints $Ax+s=b$, $xgeq0$, $s$ free**. There is always the feasible solution $x=0$ and $s=b$.



          **If you require $sgeq0$, then you can write the slack variables $s$ as $s^+-s^-$ for $s^+,s^-geq0$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Feb 2 at 15:57









          David M.David M.

          2,232421




          2,232421












          • $begingroup$
            If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
            $endgroup$
            – ensbana
            Feb 2 at 22:44










          • $begingroup$
            I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
            $endgroup$
            – ensbana
            Feb 2 at 22:47












          • $begingroup$
            No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
            $endgroup$
            – David M.
            Feb 3 at 1:36


















          • $begingroup$
            If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
            $endgroup$
            – ensbana
            Feb 2 at 22:44










          • $begingroup$
            I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
            $endgroup$
            – ensbana
            Feb 2 at 22:47












          • $begingroup$
            No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
            $endgroup$
            – David M.
            Feb 3 at 1:36
















          $begingroup$
          If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
          $endgroup$
          – ensbana
          Feb 2 at 22:44




          $begingroup$
          If the auxiliary problem can't attain the value zero, is it possible that the original problem is not infeasible, but unbounded?
          $endgroup$
          – ensbana
          Feb 2 at 22:44












          $begingroup$
          I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
          $endgroup$
          – ensbana
          Feb 2 at 22:47






          $begingroup$
          I'm working with this auxiliary program: maximize $z = -x_6 - x_7$, subject to: $-2x_1 + 2x_2 + 2x_3 - x_4 + x_6 = 2$, $2x_1 - 2x_2 + x_3 + x_5 + x_7 =2$, $x_1,x_2,x_3,x_4,x_5,x_6,x_7 geq 0$. Let $x_6, x_7$ be the basic variables, we obtain $z = -4 + 3x_3 - x_4 + x_5$, so there's no possibility of further improving $z$. I also used an online solver to solve the original LP, and it says the program is unbounded.
          $endgroup$
          – ensbana
          Feb 2 at 22:47














          $begingroup$
          No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
          $endgroup$
          – David M.
          Feb 3 at 1:36




          $begingroup$
          No, if the original problem is unbounded, the auxiliary problem will be feasible. I’m not really sure what your second comment is describing. Add it to the question with some details (e.g. what’s the original LP, etc.)
          $endgroup$
          – David M.
          Feb 3 at 1:36


















          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3097356%2fcomputing-initial-feasible-basis-in-the-simplex-algorithm%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

          How to fix TextFormField cause rebuild widget in Flutter

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