Nieformalnie funkcje jednokierunkowe są definiowane w odniesieniu do algorytmów PTIME. Są obliczalne w czasie wielomianowym, ale nie są odwracalne w czasie wielomianowym średniego przypadku. Istnienie takich funkcji jest ważnym otwartym problemem w informatyce teoretycznej.
Interesują mnie funkcje jednokierunkowe (niekoniecznie dla aplikacji kryptograficznych) zdefiniowane w odniesieniu do różnych granic zasobów. Takimi granicami zasobów może być LOGSPACE lub ograniczony niedeterminizm.
Czy istnieje potencjalny (naturalny) problem, który jest jednokierunkowy w odniesieniu do algorytmów LOGSPACE? Czy istnieje potencjalny (naturalny) problem, który jest jednokierunkowy w odniesieniu do niedeterministycznych algorytmów liniowego czasu ( )?
Nie przeszkadza mi najgorsza twardość odwracalności w odniesieniu do powyższych ograniczeń zasobów.
źródło
Odpowiedzi:
Dwa konkretne przykłady obejmują:
Mnożenie liczb całkowitych (istnieją pewne subtelności dla standardowej MFW, ale jeśli zależy ci tylko na najgorszym przypadku, wystarczy)
Kandydat Impagliazzo-Naor na podstawie sumy częściowej: .f(a1,...,an,S):=(a1,...,an,∑i∈Saimod2n)
źródło