Ich habe in mehreren Artikeln gelesen, dass die Existenz von Einwegfunktionen weithin angenommen wird. Kann jemand Aufschluss darüber geben, warum dies der Fall ist? Welche Argumente haben wir für die Existenz von Einwegfunktionen?
Ich habe in mehreren Artikeln gelesen, dass die Existenz von Einwegfunktionen weithin angenommen wird. Kann jemand Aufschluss darüber geben, warum dies der Fall ist? Welche Argumente haben wir für die Existenz von Einwegfunktionen?
Antworten:
Hier ist ein Argument, dass Einwegfunktionen schwer zu invertieren sein sollten. Angenommen, es gibt eine Klasse von 3-SAT-Problemen mit gepflanzten Lösungen, die schwer zu lösen sind. Betrachten Sie die folgende Karte:
Dabei ist eine beliebige Bitfolge, eine Bitfolge (Sie können diese verwenden, um einen Zufallszahlengenerator zu generieren, oder Sie können nach so vielen Zufallsbits fragen, wie Sie benötigen) und ist ein SAT-Problem mit als Eine gepflanzte Lösung, bei der der Zufallsgenerator genau bestimmt, welches SAT-Problem Sie wählen. Um diese Einwegfunktion umzukehren , müssen Sie ein SAT-Problem mit einer gepflanzten Lösung lösen .r s k x k k
Dieses Argument zeigt, dass das Invertieren einer Einwegfunktion genauso schwierig ist wie das Lösen von SAT-Problemen mit gepflanzten Lösungen. Und da SAT ein NP-vollständiges Problem ist, können Sie Lösungen in SAT-Formeln pflanzen, wenn Sie herausfinden, wie Sie Hard Instances mit gepflanzten Lösungen für jedes NP-Problem konstruieren können.k k
Es wurde nicht bewiesen, dass es möglich ist, eine Klasse von NP-vollständigen Problemen mit gepflanzten Lösungen zu finden, die genauso schwierig sind wie beliebige NP-vollständige Probleme (und selbst wenn dies zutrifft, wird es unglaublich schwierig sein, dies zu beweisen). Aber die Leute wissen definitiv, wie man Lösungen für SAT-Probleme auf eine Weise anlegt, die derzeit niemand zu lösen weiß.
ADDED: Mir ist jetzt klar, dass diese Verbindung bereits in Abadi, Allender, Broder, Feigenbaum und Hemachandra (genauer) angegeben wurde . Sie weisen darauf hin, dass One-Way-Funktionen gelöste Hard Instances von SAT liefern können und umgekehrt.
Wenn man es informeller formuliert, zeigt das Nichtvorhandensein von Einwegfunktionen, dass wirklich harte Rätsel nicht existieren können. Wenn es eine Art von Rätsel gibt, bei der jemand sowohl ein Rätsel als auch dessen Lösung algorithmisch entwickeln kann, gibt es auch einen Polynom-Zeit-Algorithmus, um eine Lösung für das Rätsel zu finden. Dies scheint mir sehr kontraintuitiv zu sein. Natürlich könnte eine Polynomlücke bestehen; Es kann vorkommen, dass das Erstellen des Puzzles in Schritten und das Lösen in Schritten erfolgt. Meine Intuition besagt jedoch, dass es eine Superpolynomlücke geben sollte. O ( n 3 )
Ich gebe eine kurze Antwort: Die Existenz scheinbar schwieriger Probleme wie FACTORING oder DISCRETE LOG ließ Theoretiker glauben, dass OWF existiert. Insbesondere haben sie jahrzehntelang (seit den 1970er Jahren) versucht, effiziente (probabilistische Polynomialzeit-) Algorithmen für solche Probleme zu finden, aber kein Versuch war erfolgreich. Diese Überlegungen ähneln stark der Annahme der meisten Forscher, dass P ≠ NP.
Sashos Argument stützt sich auf das ewige P = NP-Problem, für das derzeit kein Konsens besteht.
Wir könnten Shannons Ergebnis für Einwegfunktionen nachahmen.
Der Haken ist, dass wir nicht wissen, ob es wirklich Zufallszahlen gibt, da die Frage Einsteins Kommentar zu "Gott würfelt nicht" entspricht.
In jedem Fall wird ein Zufallszahlengenerator, der auf einem physikalischen Prozess basiert, von Experten als ausreichend zufällig angesehen.
Wäre es so einfach, beispielsweise die Sinus-Funktion vorzuschlagen?
Weil für eine bestimmte Eingabe und Ausgabe die Eingabe um 360 Grad erhöht oder verringert werden kann (oder 2 pi, wenn Sie im Bogenmaß arbeiten), ist es ein Eins-zu-Eins-Verhältnis, sodass Sie nie sicher sein können, welche Eingabe Sie hatten?
Sagen Sie mir, wenn ich die Frage falsch verstanden habe.