Sto leggendo "Probability and Computing" di M.Mitzenmacher e E.Upfal. Sto avendo problemi a capire come viene calcolata la probabilità di confronto tra due elementi.quicksort randomizzato: probabilità del confronto di due elementi?
Ingresso: elenco ordinato (y1, y2, ..., yN) di numeri. Stiamo cercando un elemento pivot (a caso). Domanda: qual è la probabilità che due elementi yi e yj (j> i) saranno confrontati?
Risposta (dal libro): yi e yj sarà confrontata se uno yi yj saranno selezionati come pivot in prima estrazione dalla sequenza (yi, yi + 1, ..., yj-1, yj) . Quindi la probabilità è: 2/(j-i + 1).
Il problema per me è la rivendicazione iniziale: ad esempio, raccogliere yi nella prima estrazione dall'elenco completo causerà il confronto con yj (e viceversa) e la probabilità è 2/n.
Quindi, l'affermazione "inversa" è vera: nessuno degli elementi (yi + 1, ..., yj-1) può essere selezionato prima di yi o yj, ma la dimensione "pool" non è fissa (nel primo pareggio è sicuramente N, ma nel secondo è più piccolo).
Qualcuno potrebbe spiegare come gli autori hanno trovato una conclusione così semplificata?
Edit1: un po 'di buona anima ha lucidato il mio post, grazie :-).
Edit2: l'elenco è ordinato inizialmente.
Grazie per il tuo commento, ho corretto l'errore di battitura e ho aggiunto le informazioni all'elenco - è stato ordinato inizialmente. Ad ogni modo, come vedo (nella tua modifica) hai anche individuato il problema con la dimensione della lista, tuttavia la conclusione finale non è corretta. Tu chiedi dell'elemento yi e yj, quindi non puoi nemmeno dire che ci sarà una tale sequenza yi..yj in ogni ulteriore passo (per esempio, se prendi yi + 1 come primo pivot, non ci sarà). – bantu
Ulteriori passaggi non contano. Ad ogni passo, il perno selezionato raggiunge la sua posizione finale, quindi non svolgerà alcun ruolo in altri passaggi. – IVlad
Diciamo che> 2. Nel primo passo hai selezionato 1, in 2 ° - 2. Ora, la probabilità di raccogliere i o j nel 3 ° passo è 2/(N-3 + 1), non 2/(j-i + 1) (come hai scritto in ultima frase in modifica). E per di più - è solo prob. di raccogliere quegli elementi, non prob. di confrontarli, perché anche altri scenari della terza fase portano a confrontarli. Ogni passo determina la probabilità, quindi sono importanti. – bantu