Number of divisors of a number - in NP?












0












$begingroup$


I'm trying to show that the language ${(m,n) | m space text{has exactly} space n space text{divisors}}$ is in NP.



The input $(m,n)$ is in binary.



The non-deterministic Turing machine for the language would be:



1) Guess the prime factors of $m.$



2) Verify that $prod i(di+1) = n.$



The problem is that I can't find a way to factorize in polynomial time (in the input) the number $m.$



If stage $1$ takes m steps then it would be $m = 2^{log (m)}$ and the whole algorithm would run in exponential time.



How can I factorize a number in binary in polynomial time (polynomial in the input)?










share|cite|improve this question











$endgroup$












  • $begingroup$
    As far as I know, it is an open problem whether integer factorization is in $P$ or not. No efficient (that is polynomial in time) method is currently known.
    $endgroup$
    – Peter
    Dec 15 '18 at 8:24










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – David Peterson
    Dec 15 '18 at 8:25






  • 1




    $begingroup$
    The whole point is that on a non-deterministic turing machine you can guess the correct solution non-deterministically in a single step... you only need to verify it in polynomial time.
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:29










  • $begingroup$
    @spaceisdarkgreen But the problem is that the amount of numbers i need to guess for the correct answer might be polynomial in the size of the binary input. If i have log(m) bits and we have m factors that would be m = 2 ^ (logm) --> exponential
    $endgroup$
    – caffein
    Dec 15 '18 at 8:31








  • 2




    $begingroup$
    The number of prime factors of $m$ is logarithmic in $m.$ And in any event this has nothing to do with 'factorizing a number in polynomial time', just 'listing the (known) factors in polynomial time'. (Though if the latter were impossible, the former would be trivially impossible, rather than probably impossible, but a hard open question.)
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:53


















0












$begingroup$


I'm trying to show that the language ${(m,n) | m space text{has exactly} space n space text{divisors}}$ is in NP.



The input $(m,n)$ is in binary.



The non-deterministic Turing machine for the language would be:



1) Guess the prime factors of $m.$



2) Verify that $prod i(di+1) = n.$



The problem is that I can't find a way to factorize in polynomial time (in the input) the number $m.$



If stage $1$ takes m steps then it would be $m = 2^{log (m)}$ and the whole algorithm would run in exponential time.



How can I factorize a number in binary in polynomial time (polynomial in the input)?










share|cite|improve this question











$endgroup$












  • $begingroup$
    As far as I know, it is an open problem whether integer factorization is in $P$ or not. No efficient (that is polynomial in time) method is currently known.
    $endgroup$
    – Peter
    Dec 15 '18 at 8:24










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – David Peterson
    Dec 15 '18 at 8:25






  • 1




    $begingroup$
    The whole point is that on a non-deterministic turing machine you can guess the correct solution non-deterministically in a single step... you only need to verify it in polynomial time.
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:29










  • $begingroup$
    @spaceisdarkgreen But the problem is that the amount of numbers i need to guess for the correct answer might be polynomial in the size of the binary input. If i have log(m) bits and we have m factors that would be m = 2 ^ (logm) --> exponential
    $endgroup$
    – caffein
    Dec 15 '18 at 8:31








  • 2




    $begingroup$
    The number of prime factors of $m$ is logarithmic in $m.$ And in any event this has nothing to do with 'factorizing a number in polynomial time', just 'listing the (known) factors in polynomial time'. (Though if the latter were impossible, the former would be trivially impossible, rather than probably impossible, but a hard open question.)
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:53
















0












0








0





$begingroup$


I'm trying to show that the language ${(m,n) | m space text{has exactly} space n space text{divisors}}$ is in NP.



The input $(m,n)$ is in binary.



The non-deterministic Turing machine for the language would be:



1) Guess the prime factors of $m.$



2) Verify that $prod i(di+1) = n.$



The problem is that I can't find a way to factorize in polynomial time (in the input) the number $m.$



If stage $1$ takes m steps then it would be $m = 2^{log (m)}$ and the whole algorithm would run in exponential time.



How can I factorize a number in binary in polynomial time (polynomial in the input)?










share|cite|improve this question











$endgroup$




I'm trying to show that the language ${(m,n) | m space text{has exactly} space n space text{divisors}}$ is in NP.



The input $(m,n)$ is in binary.



The non-deterministic Turing machine for the language would be:



1) Guess the prime factors of $m.$



2) Verify that $prod i(di+1) = n.$



The problem is that I can't find a way to factorize in polynomial time (in the input) the number $m.$



If stage $1$ takes m steps then it would be $m = 2^{log (m)}$ and the whole algorithm would run in exponential time.



How can I factorize a number in binary in polynomial time (polynomial in the input)?







turing-machines np-complete






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 15 '18 at 8:39









Gaby Alfonso

1,112317




1,112317










asked Dec 15 '18 at 8:18









caffeincaffein

11




11












  • $begingroup$
    As far as I know, it is an open problem whether integer factorization is in $P$ or not. No efficient (that is polynomial in time) method is currently known.
    $endgroup$
    – Peter
    Dec 15 '18 at 8:24










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – David Peterson
    Dec 15 '18 at 8:25






  • 1




    $begingroup$
    The whole point is that on a non-deterministic turing machine you can guess the correct solution non-deterministically in a single step... you only need to verify it in polynomial time.
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:29










  • $begingroup$
    @spaceisdarkgreen But the problem is that the amount of numbers i need to guess for the correct answer might be polynomial in the size of the binary input. If i have log(m) bits and we have m factors that would be m = 2 ^ (logm) --> exponential
    $endgroup$
    – caffein
    Dec 15 '18 at 8:31








  • 2




    $begingroup$
    The number of prime factors of $m$ is logarithmic in $m.$ And in any event this has nothing to do with 'factorizing a number in polynomial time', just 'listing the (known) factors in polynomial time'. (Though if the latter were impossible, the former would be trivially impossible, rather than probably impossible, but a hard open question.)
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:53




















  • $begingroup$
    As far as I know, it is an open problem whether integer factorization is in $P$ or not. No efficient (that is polynomial in time) method is currently known.
    $endgroup$
    – Peter
    Dec 15 '18 at 8:24










  • $begingroup$
    en.wikipedia.org/wiki/…
    $endgroup$
    – David Peterson
    Dec 15 '18 at 8:25






  • 1




    $begingroup$
    The whole point is that on a non-deterministic turing machine you can guess the correct solution non-deterministically in a single step... you only need to verify it in polynomial time.
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:29










  • $begingroup$
    @spaceisdarkgreen But the problem is that the amount of numbers i need to guess for the correct answer might be polynomial in the size of the binary input. If i have log(m) bits and we have m factors that would be m = 2 ^ (logm) --> exponential
    $endgroup$
    – caffein
    Dec 15 '18 at 8:31








  • 2




    $begingroup$
    The number of prime factors of $m$ is logarithmic in $m.$ And in any event this has nothing to do with 'factorizing a number in polynomial time', just 'listing the (known) factors in polynomial time'. (Though if the latter were impossible, the former would be trivially impossible, rather than probably impossible, but a hard open question.)
    $endgroup$
    – spaceisdarkgreen
    Dec 15 '18 at 8:53


















$begingroup$
As far as I know, it is an open problem whether integer factorization is in $P$ or not. No efficient (that is polynomial in time) method is currently known.
$endgroup$
– Peter
Dec 15 '18 at 8:24




$begingroup$
As far as I know, it is an open problem whether integer factorization is in $P$ or not. No efficient (that is polynomial in time) method is currently known.
$endgroup$
– Peter
Dec 15 '18 at 8:24












$begingroup$
en.wikipedia.org/wiki/…
$endgroup$
– David Peterson
Dec 15 '18 at 8:25




$begingroup$
en.wikipedia.org/wiki/…
$endgroup$
– David Peterson
Dec 15 '18 at 8:25




1




1




$begingroup$
The whole point is that on a non-deterministic turing machine you can guess the correct solution non-deterministically in a single step... you only need to verify it in polynomial time.
$endgroup$
– spaceisdarkgreen
Dec 15 '18 at 8:29




$begingroup$
The whole point is that on a non-deterministic turing machine you can guess the correct solution non-deterministically in a single step... you only need to verify it in polynomial time.
$endgroup$
– spaceisdarkgreen
Dec 15 '18 at 8:29












$begingroup$
@spaceisdarkgreen But the problem is that the amount of numbers i need to guess for the correct answer might be polynomial in the size of the binary input. If i have log(m) bits and we have m factors that would be m = 2 ^ (logm) --> exponential
$endgroup$
– caffein
Dec 15 '18 at 8:31






$begingroup$
@spaceisdarkgreen But the problem is that the amount of numbers i need to guess for the correct answer might be polynomial in the size of the binary input. If i have log(m) bits and we have m factors that would be m = 2 ^ (logm) --> exponential
$endgroup$
– caffein
Dec 15 '18 at 8:31






2




2




$begingroup$
The number of prime factors of $m$ is logarithmic in $m.$ And in any event this has nothing to do with 'factorizing a number in polynomial time', just 'listing the (known) factors in polynomial time'. (Though if the latter were impossible, the former would be trivially impossible, rather than probably impossible, but a hard open question.)
$endgroup$
– spaceisdarkgreen
Dec 15 '18 at 8:53






$begingroup$
The number of prime factors of $m$ is logarithmic in $m.$ And in any event this has nothing to do with 'factorizing a number in polynomial time', just 'listing the (known) factors in polynomial time'. (Though if the latter were impossible, the former would be trivially impossible, rather than probably impossible, but a hard open question.)
$endgroup$
– spaceisdarkgreen
Dec 15 '18 at 8:53












0






active

oldest

votes











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%2f3040266%2fnumber-of-divisors-of-a-number-in-np%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















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%2f3040266%2fnumber-of-divisors-of-a-number-in-np%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

Plaza Victoria

In PowerPoint, is there a keyboard shortcut for bulleted / numbered list?

How to put 3 figures in Latex with 2 figures side by side and 1 below these side by side images but in...