Эффективное время с частичным инвертированным индексом

Мне нужно построить частичный Inverted Index. Что-то вроде:

l = {{x, {h, a, b, c}}, {y, {c, d, e}}}
iI[l]
(*
-> {{a, {x}}, {b, {x}}, {c, {x, y}}, {d, {y}}, {e, {y}}, {h, {x}}}
*)

Я думаю, что это довольно ясно, что он делает. В списке входных данных {x, y...} уникальны, а {a, b, c,..} - нет. Вывод должен быть упорядочен с помощью #[[1]].

Сейчас я делаю это:

iI[list_List] := {#, list[[Position[list, #][[All, 1]]]][[All, 1]]} & /@ 
                     ([email protected]@[email protected]@list)

Но он выглядит слишком запутанным для такой легкой задачи, кажется слишком медленным, и я должен быть в состоянии справиться с Легионом.

Тест-драйв для сравнения ваших результатов:

words = DictionaryLookup[];
abWords = DictionaryLookup["ab" ~~ ___];
l = {#, RandomChoice[abWords, RandomInteger[{1, 30}]]} & /@ words[[1 ;; 3000]];
[email protected]@iI[l]
(*
-> 5.312
*)

Итак, любые идеи для ускорения?

Ответ 1

Кажется классической задачей для Reap - Sow (улучшение в финальной версии из-за @Heike):

iI[list_] := Sort[Reap[Sow @@@ list, _, List][[2]]]

Затем

iI[l]

{{a, {x}}, {b, {x}}, {c, {x, y}}, {d, {y}}, {e, {y}}, {h, {x}}}

In[22]:= 
words=DictionaryLookup[];
abWords=DictionaryLookup["ab"~~___];
l={#,RandomChoice[abWords,RandomInteger[{1,30}]]}&/@words[[1;;3000]];
[email protected]@iI[l]
Out[25]= 0.047

ИЗМЕНИТЬ

Вот альтернативная версия с аналогичной (чуть хуже) производительностью:

iIAlt[list_] :=
   [email protected][{#[[All, 1, 2]], #[[All, All, 1]]}] &@
           GatherBy[Flatten[Thread /@ list, 1], Last];

Интересно, что Reap - Sow здесь дает еще немного более быстрое решение, чем метод, основанный на структурных операциях.

РЕДАКТИРОВАТЬ 2

Только для иллюстрации - для тех, кто предпочитает решения на основе правил, вот один из них основан на комбинации Dispatch и ReplaceList:

iIAlt1[list_] :=
   With[{disp = [email protected][Thread[Rule[#2, #]] & @@@ list]},
       Map[{#, ReplaceList[#, disp]} &, Union @@ list[[All, 2]]]]

Это примерно в 2-3 раза медленнее, чем два других.