Viele Ergebnisse in der Kryptographie hängen von Unmöglichkeitsergebnissen / Vermutungen in der Komplexitätstheorie ab. Beispielsweise wird angenommen, dass die Kryptographie mit öffentlichem Schlüssel unter Verwendung von RSA aufgrund der Vermutung über die Unmöglichkeit des Factorings (und der modularen Root-Finding-Probleme) möglich ist.
Meine Frage ist :
Haben wir ähnliche Ergebnisse in der Berechenbarkeitstheorie? Gibt es interessante positive Konstruktionen mit negativen Unmöglichkeitsergebnissen?
Ermöglicht uns die Unentscheidbarkeit des Stoppproblems beispielsweise, Aufgaben auszuführen, die wir nicht ausführen könnten, wenn das Stoppproblem entscheidbar wäre?
Antworten:
In gewissem Sinne geht es in der Parametrizitätstheorie darum.
Durch Datenabstraktion stellen wir sicher, dass kein Client eines Moduls auf die Elemente eines Moduls zugreifen kann, außer gemäß der vom Modul bereitgestellten Schnittstelle. Wir verlassen uns darauf, um sicherzustellen, dass die internen Invarianten von Datenstrukturen von den Clients eines Moduls nicht gebrochen werden können. Wenn Sie beispielsweise nur über die veröffentlichte Schnittstelle auf einen ausgeglichenen Baum zugreifen, wird der Baum immer ausgeglichen.
Wir verwenden also eine negative Eigenschaft - dass kein möglicher Client die Abstraktionsgrenze durchbrechen kann - um eine positive abzuleiten - die die Datendarstellungsinvariante immer enthält.
quelle
Kolmogorov Komplexität könnte in diese Kategorie fallen.
Man kann zeigen, dass es bestimmte Saiten gibt, die von keiner Turing-Maschine komprimiert werden können. Diese Zeichenfolgen verhalten sich "generisch", sodass Sie die zufälligen Eigenschaften bestimmter Informationen und Rechenaufgaben untersuchen können, indem Sie das Verhalten in Bezug auf eine (nicht zufällige) inkompressible Zeichenfolge untersuchen.
quelle