3

The exact complexity of factoring integers (the decision problem) is a major open question in TCS (with important implications, especially in cryptography because of the RSA algorithm), and is widely conjectured to lie "between" P and NP-complete (see the AKS algorithm and Shor's algorithm for two other key aspects of its significance).

Yet, there is so much diversity among the NP-complete problems, including some relating to factoring types of objects and problems in number theory.

What are some of the "closest" or "nearest" NP-complete problems to integer factoring?

Optionally, an answer might indicate why such problems are thought not to be equivalent to integer factoring under polynomial time reductions (even circumstantial evidence would be appreciated).

Tyson Williams
  • 4,258
  • 2
  • 23
  • 44
vzn
  • 11,014
  • 2
  • 31
  • 64

1 Answers1

9

The textbook of Computational Complexity: Modern Approach, by Arora and Barak gives such example:

They define the decision problem Integer Factoring on input of three positive integers,

$\text{Integer Factoring} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\}$.

They state that Alon and Kilian showed that if integer $p$ is not required to be prime number then the problem becomes $NP$-complete.

Mohammad Al-Turkistany
  • 20,928
  • 5
  • 63
  • 149
  • 5
    http://cstheory.stackexchange.com/questions/4769/an-np-complete-variant-of-factoring – Huck Bennett Jun 21 '13 at 18:01
  • p.39 in other words "Given three numbers N, L, U decide if N has a prime factor p in the interval [L, U]. The certificate is the factor p." on p.58 it is stated the NP complete case is an unpublished result from personal communication. does anyone know if its ever been published? – vzn Jun 21 '13 at 18:58
  • 1
    @vzn I don't believe that the proof has been published before. Personaly, I searched a lot for it with no luck. – Mohammad Al-Turkistany Jun 21 '13 at 19:21
  • What is the current status of this? On p2.4 (42) of https://theory.cs.princeton.edu/complexity/book.pdf it says "The Graph Isomorphism and Factoring problems are not known to be either in P nor NP-complete." where they have defined the Factoring problem in example 2.2 as in this answer. –  Jun 05 '19 at 11:01
  • @Anush I believe there are no updates – Mohammad Al-Turkistany Jun 05 '19 at 14:39
  • I made an error. I meant the definition in the book is not the definition in this answer. I also can’t find a reference to a claim that it is NP complete. Do you know what could have happened? –  Jun 05 '19 at 18:21