Sind die Probleme PRIMES, FACTORING als P-hart bekannt?

39

Lass PRIMES (aka Primality Testing ) das Problem sein:

Gegeben eine natürliche Zahl , ist eine Primzahl?nn

Lass FACTORING das Problem sein:

In Anbetracht natürliche Zahlen , mit , ist einen Faktor mit ?nm1mnnd1<d<m

Ist bekannt, ob PRIMES P-hart ist? Wie wäre es mit FACTORING? Was sind die bekanntesten unteren Grenzen für diese Probleme?

km
quelle
2
Nein, IIRC ist offen, wenn Primes P-schwer ist. Ich denke, dasselbe gilt für FACTORING.
Kaveh
11
Ich denke, eine andere Frage könnte sein: Gibt es irgendwelche Konsequenzen dafür, dass PRIMES oder FACTORING P-hard sind?
Suresh Venkat
1
@Suresh: das ist eine schöne frage. Könnten Sie es separat posten?
András Salamon
1
Eigentlich wurde schon nach Factoring gefragt: cstheory.stackexchange.com/questions/5096/…
Suresh Venkat
1
@Artem, da stimme ich András zu, wäre eine Frage zu den Folgen der P-Härte von Primes interessant. Ich habe die Frage auch bearbeitet, indem ich eine Frage zu den bekanntesten Lowerbounds hinzugefügt habe.
Kaveh

Antworten:

39

PRIMES ist dafür bekannt, dass es für . Siehe meine Arbeit mit Saks und Shparlinski, " A Lower Bound for Primality " in JCSS 62 (2001). Seitdem keine Verbesserung in dieser Hinsicht.TC0

Eric Allender
quelle
Wissen Sie, ob dieses Härteergebnis auch gilt, wenn nur einige zufällige aller Bit-Ganzzahlen berücksichtigt werden sollen? Könnte das doch noch in oder? 1nnACC0
T ....
31

Das Faktorisieren kann unter Verwendung einer Polylog- Tiefen-Quantenschaltung und einer ZPP-Vor- und Nachbearbeitung erreicht werden; siehe dieses Papier . Wenn es P-schwer wäre, könnte jeder Algorithmus in P mit einer Polylog- Tiefen-Quantenschaltung und den gleichen Vor- und Nachverarbeitungsschritten durchgeführt werden. Ich glaube, diese Schritte sind modulare Exponentiation und fortgesetzte Brüche, die für die Lösung von P-vollständigen Problemen wahrscheinlich nicht leistungsfähig genug sind, selbst wenn eine Quantenschaltung mit einer Tiefe von Polylog hinzugefügt wird .nnn

Peter Shor
quelle