Norbert Blum publicó recientemente una prueba de 38 páginas de que . ¿Es correcto?
También sobre el tema: ¿dónde más (en Internet) se está discutiendo su corrección?
Nota: el enfoque de este texto de pregunta ha cambiado con el tiempo. Vea los comentarios de las preguntas para más detalles.
cc.complexity-theory
np-hardness
complexity-classes
Warren Schudy
fuente
fuente
Respuestas:
Como se señaló aquí antes, el ejemplo de Tardos claramente refuta la prueba; proporciona una función monótona, que concuerda con CLIQUE en T0 y T1, pero que se encuentra en P. Esto no sería posible si la prueba fuera correcta, ya que la prueba también se aplica a este caso. Sin embargo, ¿podemos señalar el error? Aquí está, de una publicación en el blog de Lipton, lo que parece ser el lugar donde falla la prueba:
El error único es un punto sutil en la prueba del Teorema 6, es decir, en el Paso 1, en la página 31 (y también 33, donde se discute el caso doble), una afirmación aparentemente obvia de que contiene todas las cláusulas correspondientes contenidas en , etc., parece incorrecto. C N F ′ ( g )C′sol CnorteF′( g)
Para explicar esto con más detalle, necesitamos entrar en el método de prueba y aproximación de Berg y Ulfberg, que reafirma la prueba original de Razborov de la complejidad monótona exponencial para CLIQUE en términos de interruptores DNF / CNF. Así es como lo veo:
Para cada nodo / compuerta de un circuito lógico (que contiene compuertas OR / AND binarias solamente), una forma normal conjuntiva , una forma normal disyuntiva y los aproximadores y son adjunto. y son simplemente las formas normales disyuntivas y conjuntivas correspondientes de la salida de la puerta. y también son formas disyuntivas y conjuntivas, pero de algunas otras funciones, "aproximando" la salida de la puerta. Sin embargo, se requiere que tengan un número limitado de variables en cada monomio paraβ C N F ( g ) D N F ( g ) C k g D r g C N F D N F D r g C k g D r g C k gsol β CNF(g) DNF(g) Ckg Drg CNF DNF Drg Ckg Drg (menor que una constante r) y en cada cláusula para (menor que una constante k).Ckg
Existe la noción de un "error" introducido con esta aproximación. ¿Cómo se calcula este error? Solo estamos interesados en algún conjunto T0 de entradas en el que nuestra función total toma el valor 0, y T1 de entradas en las que nuestra función total toma el valor 1 (una "promesa"). Ahora, en cada puerta, observamos solo las entradas de T0 y T1, que se calculan correctamente (tanto por como por , que representan la misma función: salida de la puerta en ) en la salida de la puerta , y mira cuántos errores / errores hay para yC N F ( g ) g β C k g D r g C k g D r g C k g C k g D r gDNF(g) CNF(g) g β Ckg Drg , comparado con eso. Si la puerta es una conjunción, entonces la salida de la puerta podría calcular más entradas de T0 correctamente (pero las entradas calculadas correctamente de T1 posiblemente disminuyan). Para , que se define como una conjunción simple, no hay nuevos errores en todas estas entradas. Ahora, se define como un interruptor CNF / DNF de , por lo que puede haber una serie de nuevos errores en T0, provenientes de este interruptor. También en T1, no hay nuevos errores en : cada error debe estar presente en cualquiera de las entradas de compuerta, y de manera similar en , el interruptor no introduce nuevos errores en T1. El análisis para la puerta OR es dual.Ckg Drg Ckg Ckg Drg
Por lo tanto, el número de errores para los aproximadores finales está limitado por el número de puertas en , multiplicado por el número máximo posible de errores introducidos por un interruptor CNF / DNF (para T0) o por un interruptor DNF / CNF (para T1). Pero el número total de errores tiene que ser "grande" en al menos un caso (T0 o T1), ya que esta es una propiedad de formas normales conjuntivas positivas con cláusulas delimitadas por , que fue la idea clave de la prueba original de Razborov (Lemma 5 en el periódico de Blum).kβ k
Entonces, ¿qué hizo Blum para lidiar con las negaciones (que se empujan al nivel de las entradas, por lo que el circuito todavía contiene solo puertas binarias OR / AND)?β
Su idea es preformar los conmutadores CNF / DNF y DNF / CNF de manera restrictiva, solo cuando todas las variables son positivas. Entonces los interruptores funcionarían EXACTAMENTE como en el caso de Berg y Ulfberg, introduciendo la misma cantidad de errores. Resulta que este es el único caso que debe considerarse.
Entonces, sigue las líneas de Berg y Ulfberg, con algunas distinciones. En lugar de adjuntar , , y a cada puerta del circuito , adjunta sus modificaciones, , , y , es decir, las formas normales disyuntivas y conjuntivas "reducidas", que definió como diferentes de yD N F ( g ) C k g D r g g β C N F ′ ( g ) D N F ′ ( g ) C ′ k g D ′ r g C N F ( g ) D N F ( g ) C ′ r g D ′ rCNF(g) DNF(g) Ckg Drg g β CNF′(g) DNF′(g) C′kg D′rg CNF(g) DNF(g) por "regla de absorción", eliminando variables negadas de todos los monomios / cláusulas mixtas (también utiliza para este propósito la operación indicada por R, eliminando algunos monomios / cláusulas por completo; como discutimos antes, su definición algo informal de R no es realmente el problema , R se puede precisar para que se aplique en cada puerta, pero lo que se elimina depende no solo de las dos entradas anteriores, sino de todo el circuito que conduce a esa puerta), y sus aproximadores y , que él también presentó.C′rg D′rg
Concluye, en el Teorema 5, que para una función monótona, la reducción de y realmente calculará 1 y 0 en los conjuntos T1 y T0, en el nodo raíz (cuya salida es la salida de toda la función en ). Este teorema es, creo, correcto. D N F ′ g 0 βCNF′ DNF′ g0 β
Ahora viene el conteo de errores. Creo que los errores en cada nodo deben calcularse comparando y reducidos (que ahora son posiblemente dos funciones diferentes), a y como él los definió. Las definiciones de los aproximadores definen las definiciones de y (Paso 1) al mezclar variables con las negadas, pero cuando trata con variables positivas, usa el interruptor como en el caso de Berg y Ulfberg (Paso 2). Y, de hecho, en el Paso 2 introducirá la misma cantidad de posibles errores que antes (es el mismo interruptor y todas las variables involucradas son positivas).D N F ′ ( g ) C ′ r g D ′ k g C N F ′ D N F ′CNF′(g) DNF′(g) C′rg D′kg CNF′ DNF′
Pero la prueba es incorrecta en el Paso 1. Creo que Blum confunde , , que realmente proviene, tal como los definió, de aproximadores anteriores (para puertas , ), con partes positivas de y . Hay una diferencia, y por lo tanto, la declaración " contiene todavía todas las cláusulas contenidas en antes de la aproximación de la puerta g que usa una cláusula en o " parece ser mal en general.γ 2 h 1 h 2 C N F ′ β ( h 1 ) C N F ′ β ( h 2 ) C ′ g C N F ′ β ( g ) γ ′ 1 γ ′ 2γ1 γ2 h1 h2 CNF′β(h1) CNF′β(h2) C′g CNF′β(g) γ′1 γ′2
fuente
Estoy familiarizado con Alexander Razborov, cuyo trabajo previo es extremadamente crucial y sirve como base para la prueba de Blum. Tuve la suerte de conocerlo hoy y no perdí el tiempo en pedirle su opinión sobre todo este asunto, sobre si había visto la prueba o no y cuáles son sus pensamientos al respecto si lo hizo.
Para mi sorpresa, él respondió que realmente estaba al tanto del papel de Blum, pero no le importó leerlo inicialmente. Pero a medida que se le dio más fama, tuvo la oportunidad de leerlo y detectó una falla de inmediato: a saber, que los razonamientos dados por Berg y Ulfberg se ajustan perfectamente a la función de Tardos, y dado que esto es así, la prueba de Blum es necesariamente incorrecto ya que contradice el núcleo del Teorema 6 en su artículo.
fuente
Esto se publica como respuesta de la comunidad porque (a) no son mis propias palabras, sino una cita de Luca Trevisan en una plataforma de redes sociales o de otras personas sin cuenta CSTheory.SE; y (b) cualquiera debería sentirse libre de actualizar esto con información actualizada y relevante.
Citando a Luca Trevisan de una publicación pública de Facebook (14/08/2017), respondiendo a una pregunta sobre este documento hecha por Shachar Lovett :
En realidad, este no es necesariamente un punto donde la prueba falla; Luego, Luca respondió lo siguiente (15/08/2017), después de una pregunta relacionada con el comentario de Andrew a continuación:
Karl Wimmer comentó sobre el punto planteado por Gustav Nordh (reproducido con el permiso de Karl):
De un usuario anónimo, en reacción al punto de Karl:
Y la respuesta de Karl (que reproduzco nuevamente aquí):
(respuesta de anon) Estoy de acuerdo en que la vaguedad en la definición de R podría ser un problema en la sección 6. R no está explícitamente definido, y a menos que su acción dependa de alguna manera del DNF completo (y no de los valores de DNF 'en las puertas inductivamente) , puede haber un problema La prueba de Deolalikar tuvo un problema similar: se confundieron dos definiciones diferentes. Aquí, al menos sabemos qué significa DNF ', y si este es el origen del problema en la sección 6, puede ser fácil de rastrear. Sin embargo, aún no entré en la sección 6, requiere la comprensión de la prueba de los aproximadores de Berg y Ulfberg descritos en la sección 4, en última instancia relacionada con la construcción de Razborov de 1985, lo que no es fácil.
Explicación de cómo funciona R:
fuente
La exactitud de la prueba reclamada se está discutiendo en el blog de Luca Trevisan: https://lucatrevisan.wordpress.com/2017/08/15/on-norbert-blums-claimed-proof-that-p-does-not-equal- notario público/
En particular, "anon" publicó el siguiente comentario relevante:
"Tardos observó que los argumentos de Razborov y Alon-Boppana se trasladan a una función que se calcula mediante un circuito no monótono de tamaño polinómico (la función es una pequeña variante para aproximar la función thevas de Lovasz del gráfico). Si los argumentos de Berg y Ulfberg también solicite la función de Tardos (que es intuitivamente probable, ya que su prueba parece estar basada en la prueba de Razborov), entonces está claro que la afirmación actual de Blum no puede ser correcta. Desafortunadamente, el autor no discute este punto ".
Sobre una pregunta directa de "Mikhail", Alexander Razborov confirma esto (ver la publicación de Mikhail): los razonamientos dados por Berg y Ulfberg se mantienen perfectamente para la función de Tardos, y dado que esto es así, la prueba de Blum es necesariamente incorrecta ya que contradice el núcleo del sexto teorema en su artículo. - A. Razborov
En mi opinión, esto definitivamente resuelve la cuestión de si el documento es correcto o no (¡NO es correcto!). También es importante tener en cuenta que parece difícil reparar la prueba, ya que el método de prueba en sí parece defectuoso.
Actualización (30/08/2017) Norbert Blum publicó el siguiente comentario en su página arXiv:
fuente
Gustav Nordh comentado por el Teorema 5 (página 29). Específicamente, la función
fuente
¿Se podría usar la decodificación de listas de los códigos Reed-Solomon para mostrar que la función POLY de Andreev está en P, de forma similar a como lo hizo Sivakumar en su trabajo comparable de membresía ? ¿O se sabe que la función POLY es NP-completa?
fuente
Ha actualizado su arXiv para decir que su prueba es incorrecta:
fuente
El blog de Lipton y Regan aquí tiene una buena discusión de alto nivel con un comentario interesante sobre la estructura de la prueba.
También señalan que el pedigrí de Blum ha demostrado ser un límite inferior en la complejidad del circuito booleano que se mantuvo durante más de 30 años. Por supuesto, esto es solo "información secundaria" ya que los expertos ya están estudiando seriamente la prueba.
fuente
Además, aquí: https://www.quora.com/Whats-the-status-of-Norbert-Blums-claim-that-operatorname-P-neq-operatorname-NP
Citando a Alon Amit:
fuente
Es poco probable que sea correcto por la siguiente razón: el método de aproximaciones es lo suficientemente general como para que pueda probarse cualquier límite inferior con ellos. Este es un resultado debido a Razborov. Por qué es un problema? Debido a que significa que el método de aproximaciones no será el progreso principal, puede expresar cualquier cosa, la carne estará en otro lugar. No parece haber tanta carne en el documento, lo que sugiere que lo más probable es que el autor esté cometiendo un error sutil, el tipo de error que se oculta a los ojos, pero esencialmente es una suposición que implica la respuesta. Para aquellos que no son teóricos de la complejidad: esta es una muy buena prueba de olor, es tan cierto como la afirmación de alguien de construir un cohete en su sótano para viajar a la luna en una semana.
Entonces, ¿dónde está ese error sutil? En el blog de Trevisan hay un comentario de Lovett que sugiere cuál podría ser esa suposición oculta en el teorema 6.
fuente
Una función booleana tiene una sola tabla de verdad pero no una sola expresión algebraica, ni un problema tiene una sola función booleana que la resuelva.
Algunas (pueden ser todas) las funciones son isomórficas (los problemas no lo son).
fuente