¿Qué se sabe acerca de basar la función unidireccional en el supuesto


Respuestas:


15

No podemos esperar probar un resultado de imposibilidad general, ya que si existen funciones unidireccionales (y creemos que existen), en particular se deduce que la afirmación "Si entonces existen funciones unidireccionales" es verdadera.PNP

Sin embargo, podemos probar que ciertas técnicas de prueba son demasiado débiles para probar esa afirmación. En particular, el siguiente artículo de Akavia, Goldreich, Goldwasser y Moshkovitz demuestra que esta afirmación no puede probarse mediante ciertas reducciones de recuadro negro (condicionadas por supuestos plausibles):

http://www.wisdom.weizmann.ac.il/~oded/p_aggm.html


1
¿Qué sucede si P! = NP y las funciones unidireccionales no existen, como podría ocurrir si NP = coNP?
Philip White

3
@PhilipWhite estaríamos en algún lugar entre Heuristica y Pessiland entonces, supongo: cseweb.ucsd.edu/~russell/average.ps
Sasho Nikolov

10

Si te refieres al tipo criptográfico de función unidireccional (es decir, un caso promedio difícil de invertir), entonces la respuesta de O Meir es excelente. Pero para la noción un poco más fácil de la función unidireccional en el peor de los casos , es decir, una función inyectiva que es computable en tiempo polinomial, pero donde no existe un algoritmo determinista de tiempo polinomial tal que para todos en la imagen de y de lo contrario - hay una respuesta más precisa. Es decir, las funciones unidireccionales en el peor de los casos existen si y solo si .g f ( g ( y ) ) = y y f g ( y ) = 0 PU Pfgf(g(y))=yy fg(y)=0 PUP

Entonces, para las funciones unidireccionales en el peor de los casos, su pregunta esencialmente se reduce a la relación entre y . Esta relación es esencialmente amplia, y hay oráculos en ambas direcciones. Se conocen algunas relaciones para preguntas relacionadas , a saber, Valiant-Vazirani ( ) y Hemaspaandra-Naik-Ogihara-Selman ( implica derrumba), pero no conozco ninguna relación directa e incondicional que trate con y precisión.N P N PR P P r o m i s e U P N P M V c N P S V P H N P U PUPNPNPRPPromiseUPNPMVcNPSVPHNPUP


Esa es una ... extraña definición para el caso más desfavorable. (En particular, implica surjectivity.) Hubiera esperado que reflejara la definición criptográfica más de cerca.

@RickyDemer: Vaya, no quise implicar surjectivity. Fijo.
Joshua Grochow

¿Cómo se involucra ? (Considere la función dada al enviar pares [SAT_instance, satisfying_assignment] a su SAT_instance codificada, y todo lo demás a algo que no sea una instancia SAT.)UP

1
fxf(x)f(x)f1(y)y

1
ff{x:(y)[f(y)=x]}UP
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.