If lower bound of a problem is exponential then is it NP?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
2
down vote

favorite












Assuming that we have a problem $p$ and we showed that the lower bound for solving $p$ is $mathcalOmega(2^n)$.



  • can lower bound $mathcalOmega(2^n)$ implies the problem in $NP$?









share|cite|improve this question







New contributor




kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.























    up vote
    2
    down vote

    favorite












    Assuming that we have a problem $p$ and we showed that the lower bound for solving $p$ is $mathcalOmega(2^n)$.



    • can lower bound $mathcalOmega(2^n)$ implies the problem in $NP$?









    share|cite|improve this question







    New contributor




    kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.





















      up vote
      2
      down vote

      favorite









      up vote
      2
      down vote

      favorite











      Assuming that we have a problem $p$ and we showed that the lower bound for solving $p$ is $mathcalOmega(2^n)$.



      • can lower bound $mathcalOmega(2^n)$ implies the problem in $NP$?









      share|cite|improve this question







      New contributor




      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      Assuming that we have a problem $p$ and we showed that the lower bound for solving $p$ is $mathcalOmega(2^n)$.



      • can lower bound $mathcalOmega(2^n)$ implies the problem in $NP$?






      time-complexity np-complete






      share|cite|improve this question







      New contributor




      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question







      New contributor




      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question






      New contributor




      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked 16 mins ago









      kelalaka

      1135




      1135




      New contributor




      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      kelalaka is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          2
          down vote













          No. For example, the halting problem has an $Omega(2^n)$ lower bound, but it is not in NP (since it is not computable).



          NP is an upper bound on the complexity of a problem.






          share|cite|improve this answer




















          • do you know a computable example, also?
            – kelalaka
            11 mins ago






          • 1




            Yes. Take any NEXPTIME-complete problem.
            – Yuval Filmus
            10 mins ago










          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: "419"
          ;
          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',
          convertImagesToLinks: false,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: null,
          bindNavPrevention: true,
          postfix: "",
          onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );






          kelalaka is a new contributor. Be nice, and check out our Code of Conduct.









           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f98277%2fif-lower-bound-of-a-problem-is-exponential-then-is-it-np%23new-answer', 'question_page');

          );

          Post as a guest






























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          2
          down vote













          No. For example, the halting problem has an $Omega(2^n)$ lower bound, but it is not in NP (since it is not computable).



          NP is an upper bound on the complexity of a problem.






          share|cite|improve this answer




















          • do you know a computable example, also?
            – kelalaka
            11 mins ago






          • 1




            Yes. Take any NEXPTIME-complete problem.
            – Yuval Filmus
            10 mins ago














          up vote
          2
          down vote













          No. For example, the halting problem has an $Omega(2^n)$ lower bound, but it is not in NP (since it is not computable).



          NP is an upper bound on the complexity of a problem.






          share|cite|improve this answer




















          • do you know a computable example, also?
            – kelalaka
            11 mins ago






          • 1




            Yes. Take any NEXPTIME-complete problem.
            – Yuval Filmus
            10 mins ago












          up vote
          2
          down vote










          up vote
          2
          down vote









          No. For example, the halting problem has an $Omega(2^n)$ lower bound, but it is not in NP (since it is not computable).



          NP is an upper bound on the complexity of a problem.






          share|cite|improve this answer












          No. For example, the halting problem has an $Omega(2^n)$ lower bound, but it is not in NP (since it is not computable).



          NP is an upper bound on the complexity of a problem.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 12 mins ago









          Yuval Filmus

          183k12171333




          183k12171333











          • do you know a computable example, also?
            – kelalaka
            11 mins ago






          • 1




            Yes. Take any NEXPTIME-complete problem.
            – Yuval Filmus
            10 mins ago
















          • do you know a computable example, also?
            – kelalaka
            11 mins ago






          • 1




            Yes. Take any NEXPTIME-complete problem.
            – Yuval Filmus
            10 mins ago















          do you know a computable example, also?
          – kelalaka
          11 mins ago




          do you know a computable example, also?
          – kelalaka
          11 mins ago




          1




          1




          Yes. Take any NEXPTIME-complete problem.
          – Yuval Filmus
          10 mins ago




          Yes. Take any NEXPTIME-complete problem.
          – Yuval Filmus
          10 mins ago










          kelalaka is a new contributor. Be nice, and check out our Code of Conduct.









           

          draft saved


          draft discarded


















          kelalaka is a new contributor. Be nice, and check out our Code of Conduct.












          kelalaka is a new contributor. Be nice, and check out our Code of Conduct.











          kelalaka is a new contributor. Be nice, and check out our Code of Conduct.













           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f98277%2fif-lower-bound-of-a-problem-is-exponential-then-is-it-np%23new-answer', 'question_page');

          );

          Post as a guest













































































          Comments

          Popular posts from this blog

          Long meetings (6-7 hours a day): Being “babysat” by supervisor

          Is the Concept of Multiple Fantasy Races Scientifically Flawed? [closed]

          Confectionery