Estoy leyendo "Probability and Computing" por M.Mitzenmacher y E.Upfal. Tengo problemas para entender cómo se calcula la probabilidad de comparación de dos elementos.quicksort aleatorizado: ¿probabilidad de comparación de dos elementos?
Entrada: lista ordenada (y1, y2, ..., yN) de los números. Estamos buscando un elemento pivote (aleatoriamente). Pregunta: ¿cuál es la probabilidad de que se comparen dos elementos yi e yj (j> i)?
respuesta (de libro): yi y yj será comparado si cualquiera yi o yj serán seleccionados como pivote en primer sorteo de secuencia (yi, yi + 1, ..., yj-1, yj) . Entonces la probabilidad es: 2/(j-i + 1).
El problema para mí es la afirmación inicial: por ejemplo, levantar yi en el primer sorteo de toda la lista causará la comparación con yj (y viceversa) y la probabilidad es 2/n.
Por lo tanto, más bien la afirmación "inversa" es verdadera: ninguno de los elementos (yi + 1, ..., yj-1) se puede seleccionar antes de yi o yj, pero el tamaño del "grupo" no está fijo (en el primer dibujo, es N seguro, pero en el segundo es más pequeño).
¿Podría alguien explicar cómo los autores presentan una conclusión tan simplificada?
Edit1: algunas buenas almas pulieron mi publicación, gracias :-).
Editar2: la lista está ordenada inicialmente.
Gracias por su comentario, corrigí el error tipográfico y agregué información a la lista - se ordenó inicialmente. De todos modos, como veo (en su edición) también detectó el problema con el tamaño de la lista, sin embargo, la conclusión final es incorrecta. Usted pregunta por el elemento yi y yj, por lo que ni siquiera puede decir que habrá tal secuencia yi..yj en ningún otro paso (por ejemplo, si toma yi + 1 como su primer pivote, no lo hará). – bantu
Los pasos adicionales no importan. En cada paso, el pivote seleccionado alcanza su posición final, por lo que no desempeñará ningún papel en ningún otro paso. – IVlad
Digamos que i> 2. En el primer paso, seleccionó 1, en 2 - 2. Ahora, la probabilidad de elegir i o j en el 3er paso es 2/(N-3 + 1), no 2/(j-i + 1) (como escribiste en la última oración en editar). Y lo que es más, es solo un problema. de recoger esos elementos, no prob. de compararlos, porque otros escenarios del 3er paso también conducen a compararlos. Cada paso determina la probabilidad, por lo que importan. – bantu