¿La aleatoriedad nos compra algo dentro de P?

18

Sea la clase de los problemas de decisión que tienen un algoritmo aleatorio de error de dos lados limitado que se ejecuta en el tiempo .O ( f ( n ) )BPTIME(f(n))O(f(n))

¿Conocemos algún problema tal que pero ? ¿Está comprobada su inexistencia? Q B P T I M E ( n k ) Q D T I M E ( n k )QPQBPTIME(nk)QDTIME(nk)

Esta pregunta se hizo en cs.SE aquí , pero no obtuvo una respuesta satisfactoria.

aelguindy
fuente
77
(1) BPP (f (n)) generalmente se denota como BPTIME (f (n)). (2) En la configuración de la complejidad computacional, creo que esto está abierto. (Se conocen muchos ejemplos en la complejidad de la consulta y la configuración de la complejidad de la comunicación). (3) Si su inexistencia ya se hubiera probado, entonces sabríamos que P = BPP.
Tsuyoshi Ito
2
Por cierto, en la pregunta en cs.stackexchange.com, tiene algunos malentendidos sobre la relación entre BPTIME y ZPTIME, y eso podría ser parte de la razón por la que no ha recibido una respuesta satisfactoria.
Tsuyoshi Ito
2
Gracias @TsuyoshiIto, no estoy de acuerdo que si demostramos inexistencia entonces sabemos , estoy restringiendo el ajuste a problemas en . Tal vez, , mientras que en general, ¿me estoy perdiendo algo? Podría también complacer a punto de salir de mi malentendido sobre y , tal vez me perdí una respuesta satisfactoria de hecho ..P B P T I M E ( n k ) P = D T I M E ( n k ) B P T I M E ( n k ) D T I M E ( n k ) B P T I M E Z P T I M EP=BPPPBPTIME(nk)P=DTIME(nk)BPTIME(nk)DTIME(nk)BPTIMEZPTIME
aelguindy
2
Su pregunta no dice que restringe el problema Q para que esté dentro de P. Si esa es su intención, edite la pregunta.
Tsuyoshi Ito
1
Para aproximar la mediana de 1 de un espacio métrico finito con pocas consultas a la función de distancia, un punto aleatorio proporciona una aproximación de 2 en expectativa y un (2 + eps) -prox con buena probabilidad. Pero ningún algoritmo determinista que consulta la función de distancia veces puede hacerlo mejor que una aproximación de 4. [ Chang 2013 ]o(n2)
Neal Young

Respuestas:

10

Otro ejemplo es estimar el volumen de un poliedro en altas dimensiones. Hay un límite inferior incondicional en las estrategias deterministas para aproximar el volumen incluso a un factor exponencial, pero hay un FPRAS para el problema.

Actualización: el documento relevante es (enlace a PDF ):

I. Barany y Z. Furedi. Calcular el volumen es difícil, Geometría discreta y computacional 2 (1987), 319-326.

Suresh Venkat
fuente
¿Podría proporcionar una referencia para el límite inferior incondicional?
T ....
1
referencia agregada
Suresh Venkat
13

Problema : Una matriz consta de 1s y 0s. Encuentre una tal que sea ​​1.n n i A [ i ]A[1..2n]nniA[i]

Se le permite consultar '¿Qué número está presente en '? Cada consulta lleva tiempo constante.A[i]

Solución : Algoritmo aleatorizado: elija un índice aleatorio y compruebe si es 1. El número esperado de consultas es 2, pero cualquier algoritmo determinista debe realizar al menos consultas. Por lo tanto, el límite superior aleatorizado es estrictamente mejor que el límite inferior determinista en este modelo.A [ i ] niA[i]n

Este es un ejemplo de la complejidad de la consulta a la que Tsuyoshi se refería en el comentario.

Jagadish
fuente
1
Cualquier algoritmo determinista debe hacer al menos consultas en el peor de los casos . n
argentpepper
¿Qué quiere decir con "actualmente no conocemos ninguna prueba de límite inferior no trivial para cualquier problema en NP (y mucho menos P)"?
Kristoffer Arnsfelt Hansen
Tal vez usé la palabra 'no trivial' descuidadamente. Quise decir 'Actualmente, no podemos probar un límite inferior incondicional de para para SAT o cualquier problema en NP'. ¿Es eso correcto? k > 0Ω(nk)k>0
Jagadish
Bueno, tal vez no para problemas "agradables" como el SAT; pero recuerde que tenemos límites inferiores para otros problemas de los teoremas de la jerarquía de tiempo. Y la pregunta no es sobre problemas "agradables", sino sobre clases de complejidad.
Kristoffer Arnsfelt Hansen
Ah bien. Asumí que OP estaba interesado en problemas naturales. He editado mi respuesta.
Jagadish