¿Es suficiente ordenar polinomialmente muchas secuencias 0-1 para una red de clasificación?

16

El principio 0-1 dice que si una red de clasificación funciona para todas las secuencias 0-1, entonces funciona para cualquier conjunto de números. ¿Hay una tal que si una red ordena cada secuencia 0-1 de S, entonces ordena cada secuencia 0-1 y el tamaño de S es polinomial en n ?S{0,1}nSn

Por ejemplo, si consiste en todas las secuencias donde hay como máximo 2 carreras (intervalos) de 1, entonces ¿hay una red de clasificación N y una secuencia que no está ordenada por N si todos los miembros de S están ordenados por N?S2S

Respuesta: Como se puede ver en la respuesta y en los comentarios, la respuesta es que para cada cadena sin clasificar hay una red de clasificación que clasifica todas las demás cadenas. Una prueba simple de esto es lo siguiente. Deje que la cadena sea ​​tal que s i = 0 para siempre y . Como no está ordenado, después de ordenar debería ser . Compare con cada para la cual . Luego compare cada par modo ques=s1snsi=0s k = 1 s s k 0 k i s i = 1 ( i , j ) i k j k s k s 1i<ksk=1ssk0kisi=1(i,j)iky muchas veces. Esto deja toda la cadena ordenada, excepto posiblemente por , que no está ordenada por , y por ciertas otras cadenas que tienen más 's que s . Ahora compare s k para i = n downto 1 excepto el lugar donde s k debería ir en s . Esto ordenará todo menos s .jksks1sski=n1skss

Actualización: Me pregunto qué sucede si restringimos la profundidad de la red a .O(logn)

domotorp
fuente
Parece que a ser posible se debe restringir el tamaño de la red de clasificación para ser más pequeño que el tamaño de . De lo contrario, ¿no podría la red simplemente verificar si la entrada es uno de los elementos de S y actuar correctamente si es así, de lo contrario, actuar incorrectamente? SS
usul
@usul: No creo que una red de clasificación pueda verificar tal cosa. De todos modos, es natural trabajar con redes de clasificación cuyo tamaño es polinómico en . n
domotorp

Respuestas:

8

Parece que no. Ian Parberry hace referencia a un artículo de Chung y Ravikumar, donde supuestamente dan una construcción recursiva de una red de clasificación que ordena cada cadena de bits pero uno, y además deducir que el problema de la verificación de una red de clasificación es - N P completo. No puedo encontrar el documento original de inmediato, pero ciertamente coincide con (mi) intuición.coNP

Editar para agregar: en realidad, es muy fácil encontrar una red que pierda exactamente una cadena. La cadena que se perderá será . Ahora solo desea un circuito que clasifique los últimos n - 1 bits, luego clasifique los primeros n - 1 bits. Este circuito clasificará cualquier cosa con al menos dos 1 s, obviamente clasificará la cadena de todo cero y clasificará cualquier cadena que comience con 0 .(1,0,,0)n1n110

Andrew D. King
fuente
¿Se puede generalizar el ejemplo de la red de clasificación en su respuesta, de modo que para cualquier cadena dada, pueda construir una red de clasificación que clasifique mal esa cadena? Muestra cómo hacerlo para una cadena en particular, pero ¿qué pasa con otras cadenas?
DW
Definitivamente puede hacerlo para cualquier cadena de peso o n - 1 , pero dudo que sea posible perder una sola cadena de bits arbitraria. 1n1
Andrew D. King
77
Bien, no veo cómo su respuesta muestra que la respuesta es "No". La construcción en el segundo párrafo de su respuesta no implica una respuesta negativa a la pregunta original, ya que solo hay polinomialmente muchas cadenas de peso o n - 1 . Parece que todo el trabajo en su respuesta está siendo hecho por la referencia en el artículo de Ian Parberry, pero esa oración en el documento de Parberry es bastante vaga y sin leer el documento de Chung et al no veo cómo podemos concluir que la respuesta a la pregunta es "No". 1n1
DW
8
Más investigación: " Fuerte reducción no determinista de Turing: una técnica para demostrar la intratabilidad " (Chung y Ravikumar) enumera lo siguiente como Lema 2.1: dada cualquier cadena no clasificada , existe una red de clasificación de tamaño polinómico que clasifica todas las cadenas correctamente excepto x . Para la prueba se refiere a "Sobre el tamaño de los conjuntos de prueba para la clasificación y problemas relacionados" (Chung y Ravikumar), pero parece que no puedo encontrar una copia del último documento. Esto implicaría que la respuesta a esta pregunta es "No". xx
DW
66
Ponencia de Chung y Ravikumar
Kristoffer Arnsfelt Hansen