È sufficiente ordinare polinomialmente molte sequenze 0-1 per una rete di smistamento?


16

Il principio 0-1 afferma che se una rete di ordinamento funziona per tutte le sequenze 0-1, allora funziona per qualsiasi set di numeri. Esiste una tale che se una rete ordina ogni sequenza 0-1 da S, allora ordina ogni sequenza 0-1 e la dimensione di S è polinomiale in n ?S{0,1}nSn

Ad esempio, se costituito da tutte le sequenze in cui vi sono al massimo 2 corse (intervalli) di 1, allora esiste una rete di ordinamento N e una sequenza che non è ordinata da N se tutti i membri di S sono ordinati da N?S2S

Risposta: Come si può vedere dalla risposta e dai commenti, la risposta è che per ogni stringa non ordinata esiste una rete di ordinamento che ordina ogni altra stringa. Una semplice prova di ciò è la seguente. Lascia che la stringa sia tale che s i = 0 per sempre i < k e s k = 1 . Poiché s non è ordinato, dopo k l' ordinamento s dovrebbe essere 0 . Confronta k con ogni i per cui s i =s=s1snsi=0i<ksk=1ssk0ki . Quindi confrontare ogni coppia ( i , j ) in modo tale che i k e j k molte volte. Questo lascia l'intera stringa ordinata, tranne forse per s k , che non è ordinata per s , e per alcune altre stringhe che hanno più 1 'di s . Ora confrontare s k per i = n downto 1 tranne che per il luogo in cui s k dovrebbe andare in s . Questo ordinerà tutto tranne s .si=1(i,j)ikjksks1sski=n1skss

Aggiornamento: mi chiedo cosa succede se limitiamo la profondità della rete a .O(logn)


Sembra che sia possibile è necessario limitare la dimensione della rete di smistamento ad essere più piccoli rispetto alle dimensioni del . Altrimenti, la rete non potrebbe semplicemente verificare se l'ingresso è uno degli elementi di S e agire correttamente in tal caso, altrimenti agire in modo errato? SS
usul

@usul: non credo che una rete di smistamento possa controllare una cosa del genere. Ad ogni modo, è naturale lavorare con reti di smistamento la cui dimensione è polinomiale in . n
domotorp

Risposte:


8

Sembra di no Ian parberry fa riferimento ad un articolo di Chung e Ravikumar, dove presumibilmente conferiscono una costruzione ricorsiva di una rete di ordinamento che ordina ogni bitstring tranne uno, e in seguito dedurre che il problema di verificare una rete di ordinamento è - N P completa. Non riesco a trovare subito il documento originale, ma certamente corrisponde alla (mia) intuizione.coNP

Modifica da aggiungere: in realtà è molto facile trovare una rete del genere che manca esattamente di una stringa. La stringa da perdere sarà . Ora vuoi solo un circuito che ordina gli ultimi n - 1 bit, quindi ordina i primi n - 1 bit. Questo circuito ordinerà qualsiasi cosa con almeno due 1 s, ovviamente ordinerà la stringa tutto zero e ordinerà qualsiasi stringa che inizia con 0 .(1,0,,0)n1n110


La rete di ordinamento di esempio nella tua risposta può essere generalizzata, in modo che per ogni data stringa, puoi costruire una rete di ordinamento che ordina in modo errato quella stringa? Mostrate come farlo per una particolare stringa, ma per quanto riguarda le altre stringhe?
DW

Puoi sicuramente farlo per qualsiasi stringa di peso o n1 , ma dubito che sia possibile perdere una singolabit arbitraria. n1
Andrew D. King

7
OK, quindi non vedo come la tua risposta mostra che la risposta è "No". La costruzione nel secondo paragrafo della tua risposta non implica una risposta negativa alla domanda originale, poiché esistono solo polinomialmente molte stringhe di peso o n - 1 . Sembra che tutto il lavoro nella tua risposta sia stato svolto dal riferimento nell'articolo di Ian Parberry, ma quella frase nell'articolo di Parberry è piuttosto vaga e senza leggere l'articolo di Chung et al non vedo come possiamo concludere che la risposta alla domanda è "No". 1n1
DW

8
Altre informazioni: " Forte riduzione non deterministica di Turing - una tecnica per dimostrare l'intrattabilità " (Chung e Ravikumar) elenca quanto segue come Lemma 2.1: data qualsiasi stringa non ordinata , esiste una rete di ordinamento di dimensioni polinomiali che ordina correttamente tutte le stringhe tranne x . Per la prova si riferisce a "Sulla dimensione dei set di test per l'ordinamento e problemi correlati" (Chung e Ravikumar), ma non riesco a trovare una copia di quest'ultimo documento. Ciò implicherebbe effettivamente che la risposta a questa domanda è "No". xx
DW

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.