Trouver la médiane d'une liste de tableaux triés

8

Entrée: un ensemble de $\ell$ tableaux $A_i$ (de nombres).
Les éléments de chaque tableau sont triés, mais l'ensemble des tableaux n'est pas nécessairement trié. Les tableaux ne sont pas nécessairement de la même taille. Le nombre total d'éléments est $n$ .

Sortie: le $k$ e plus petit élément parmi tous les éléments de l'entrée.

Quel est l'algorithme le plus efficace pour ce problème?

Est-il possible, par exemple, d'atteindre un temps de fonctionnement de $O(\ell + \log n)$ ?

algorithms algorithm-analysis Joe
la source

Il y a une question très proche sur SO , avec des réponses insatisfaisantes.

Joe

Les tableaux sont-ils tous de la même longueur?

vonbrand

Les tableaux ne sont pas nécessairement de la même taille. Cependant, je suis également intéressé par un cas spécial où les tailles sont géométriques, c'est-à-dire le tableau

A_{i}

$A_i$ a la taille

n / 2^{i}

$n / 2^i$ , mais je doute que cela aide dans la durée.

Joe

4

Comment obtenez-vous

O (ℓ \log n)

$O(\ell\log n)$ ? Tu peux recevoir

O (ℓ (\log n)^{2})

$O(\ell(\log n)^2)$ en émulant l'algorithme "quickselect". Dans chaque phase, vous choisissez un pivot et calculez le nombre d'éléments en dessous, en

O (ℓ \log n)

$O(\ell\log n)$ . Ensuite, vous supprimez les éléments du mauvais côté et répétez. Le processus se termine après

\log n

$\log n$ itérations (dans l'attente, ou dans le pire des cas si vous choisissez intelligemment le pivot).

Yuval Filmus

2

@Joe Je pense que tu devrais aussi décrire ton algorithme. Ce serait très intéressant et pourrait fournir un point de départ pour de meilleurs algorithmes s'il est correct. Si elle est incorrecte, les gens peuvent trouver des erreurs.

Paresh

5

Vous pouvez le faire en $O(l + k \text{ log } l)$ temps et $O(l)$ espace supplémentaire comme suit:

Créez un tas binaire avec une entrée pour chacun des tableaux. La clé d'entrée $i$ est le plus petit élément du tableau $A_i$ . Cela prend $O(l)$ temps.
Sélectionnez la plus petite entrée du tas et supprimez-la (en prenant $O(\text{log } l$ ) temps). Ajoutez cette entrée au tas en utilisant la plus petite entrée suivante dans le tableau correspondant comme clé (à nouveau $O(\text{log } l)$ temps).
Faites l'étape précédente $k$ fois. Le dernier élément que vous supprimez du tas est votre réponse.

Si vous remplacez le tas binaire par un tas de Fibonacci, je pense que cela vous amène à amorti $O(l + k)$ temps, mais en pratique, ce sera plus lent que le tas binaire à moins $l$ est énorme.

Je soupçonne que le segment de tas de Fibonacci est optimal, car intuitivement vous allez devoir inspecter au moins $k$ éléments pour trouver le $k$ e le plus petit, et vous devrez inspecter au moins un élément de chacun des $l$ tableaux puisque vous ne savez pas comment ils sont triés, ce qui donne immédiatement une limite inférieure de $\Omega(\text{max}(k, l)) = \Omega(k + l)$ .

Matt Lewis
la source

3

Vous n'avez pas besoin d'inspecter au moins

k

$k$ éléments puisque les tableaux sont triés. Voir la solution dans mon commentaire, qui donne

O (ℓ (\log n)^{2})

$O(\ell (\log n)^2)$ .

Yuval Filmus

1

Vous pouvez améliorer le temps d'exécution le plus défavorable dans le modèle RAM, car vous pouvez implémenter votre file d'attente prioritaire pour

n

$n$ éléments dans

o (\log n)

$o(\log n)$ . Dans ce modèle, vous pouvez réaliser des opérations d'insertion et de suppression

O (\sqrt{\log \log n})

$\mathcal{O}(\sqrt{\log \log n})$ et

O (1)

$\mathcal{O}(1)$ temps pour l'opération findMin.

Massimo Cafaro

1

Êtes-vous sûr que le tas Fibonnaci prend en charge la bonne opération? Je pense que vous pensez à diminuer la clé dans un tas de min.

Joe

C'est fondamentalement la même chose que la réponse de vonbrand, avec l'observation supplémentaire que vous n'avez à fusionner aucun élément après le kième.

Joe

Je crois que le tas de Fibonacci vous permet de diminuer ou d'augmenter une clé dans

O (1)

$O(1)$ temps. Oui, c'est fondamentalement la même réponse, mais en observant que vous avez seulement besoin de fusionner

k

$k$ éléments réduit votre temps d'exécution de manière équitable.

Matt Lewis

5

Voici un randomisé $O(\ell\log^2 n)$ algorithme. Il peut probablement être dérandomisé en utilisant la même astuce que celle utilisée pour dérandomiser la sélection rapide habituelle.

Nous émulons l'algorithme de sélection rapide classique. Dans chaque phase, vous choisissez un pivot et calculez le nombre d'éléments en dessous, en $O(\ell\log n)$ , en utilisant la recherche binaire dans chaque liste. Ensuite, vous supprimez les éléments du mauvais côté et répétez. Le processus se termine après $\log n$ itérations dans l'attente.

Yuval Filmus
la source

1

Cela semble être résolu par l'étude de la sélection et du classement généralisés (version préliminaire) par Frederickson et Johnson dans STOC '80.

Ils donnent des limites supérieures et inférieures de: $\Theta(\ell + \sum_{i=1}^\ell \log|A_i|)$ qui se révèle être $\ell \log n$ pour la plupart des distributions de taille de tableau.

L'algorithme réel pour atteindre la limite supérieure est apparemment donné dans un article précédent: Algorithmes optimaux pour générer des informations quantiles dans X + Y et des matrices avec des colonnes triées , Proc. 13th Annual Conference on Information Science and Systems, Université Johns Hopkins (1979) 47-52.

Joe
la source

0

Une $\ell$ -la fusion prend du temps $\Theta(n \log \ell)$ (utilisez un moyen efficace pour représenter une file d'attente prioritaire des éléments de tête dans chaque liste), puis vous choisissez le $k$ -th élément en temps constant. Je pense que cela est discuté dans "Tri et recherche" de Knuth pour le tri. Obtenir le plus petit (ou le plus grand) prend clairement $\Theta(\ell)$ , pour un tableau non trié, il est $O(n)$ IIRC.

Veuillez décrire votre algorithme.

vonbrand
la source

1

C'est beaucoup plus lent que ce qui m'intéresse. Vous pouvez trouver la médiane dans

O (n)

$O(n)$ temps simplement concaténer les listes et en utilisant l'algorithme de sélection de temps linéaire.

Joe

Trouver la médiane d'une liste de tableaux triés

Réponses: