MinHaketo

En komputoscienco, MinHaketo (aŭ la minimuma-sepdependa-permuta loko-zorga haketado) estas tekniko por rapide taksi la similecon de du aroj. La teknikon inventis Andrei Broder, kaj oni unue uzis por la AltaVista serĉilo por detekti kaj forigi kopiojn de retpaĝo el la serĉrezulto.  Ĝi ankaŭ uziĝas por granda arigado, ekzemple arigi fajloj per simileco de iliaj enhavaj vortoj.

 Ĝakarda simileco kaj minimuma haketvaloro 
La Ĝakarda simileco estas ofteuzita mezuro de simileco inter du aroj. Por aroj A kaj B oni difinas la mezuron kiel la kardinalo de ilia komunaĵo dividita de kardinalo de ilia kunaĵo.

La valoro egalas al 0 kiam la du aroj estas disaj kaj 1 kiam ili estas samaj, alie inter 0 kaj 1. La mezuro estas pli proksima al 1 kiam la du aroj estas pli similaj. La celo de MinHaketo estas rapide taksi J(A,B), sen vere komputi la komunaĵon kaj kunaĵon.

Nun h estu haketofunckio el anoj de A kaj B al diskinktaj entjeroj. Por aro S, hmin(S) estu la minimuma ano de S laŭ h—t.e. la ano x de S tia, ke h(x) estas minimuma. Nun se oni mezurus  hmin en A kaj B, la rezulto estus sama, kiam la minimuma elemento de la kunaĵo A ∪ B estas ankaŭ en la komunaĵo A ∩ B. La probablo de tio estas ekzakte la frakcio antaŭa. Tial
 Pr[ hmin(A) = hmin(B) ] = J(A,B),
Alivorte, se r estu hazarda variablo kiu estas 1 kiam hmin(A) = hmin(B) kaj 0 alie, r estus senbiasa takso de J(A,B). Maloportune, r havas tro grandan variancon por esti utila por la Ĝakarda simileco per si mem. La ideo de MinHaketo estas malgrandigi ĝian variacon, per sumi multajn variablojn tiajn ĉi.

 Algoritmo 
 Per pluraj haketfunkcioj 
La plej simpla versio de MinHaketo uzas k malsamajn haketfunkciojn.

Por taksi J(A,B) ĉimaniere, komputu la k haketfunkciojn en A kaj B. y estu la nombro da haketfunckioj tia, ke hmin(A) = hmin(B), do y/k estas la takso. Tiu ĉi takso estas la meznombro de  k malsamaj hazardaj variabloj inter 0-1, kiuj estas senbiasaj taksoj de J(A,B). Tial, la meznombro estas ankaŭ senbiasa takso. Laŭ norma Ĉernofa neekvacio por sumo de hazardaj variabloj inter 0-1 havas atenditan eraron .

 Per unu haketfunkcio 
Estus longe komputi multe da haketfunkcioj, do alia versio de MinHash evitas tion per uzi unur unu haketfunkcio por elekti multe da valoroj de la aroj, anstataŭ elekti unu valoro po funkcioj. h estu haketfunkcio. S estu aro kun pli multa ol k elemento en la fonto-aro de h, h(k)(S) estu la subaro de la k anoj de S kun la plej malgrandaj valoroj laŭ  h. La subaro h(k)(S) estas "priskribilo" de S, kaj la similecon de du aroj oni taksas per kompari iliajn priskribilojn.

Speciale, X = h(k)(h(k)(A) ∪ h(k)(B)) = h(k)(A ∪ B) estas aro da k elementoj en A ∪ B. Ĉar h estas bona haketfunkcio, ĉiu subaro de k elementoj eblus elektiĝi egalprobable. Do X estas simpla hazarda specimenado de A ∪ B. La subaro Y = X ∩ h(k)(A) ∩ h(k)(B) estas la aro de elementoj de X, kiuj ankaŭ apartenas al A ∩ B. Tial, |Y|/k estas senbiasa takso de  J(A,B).

La malsamo inter versio per multaj haketfunkcioj kaj unu haketfunkcio estas  X ĉiam havas k anoj, sed pluraj haketfunkcioj povas elekti la saman minimumon, do estus malpli da elementoj ol k. Tamen, kiam  k estas malgranda rilate al S, tio ĉi estas ignorebla.

Laŭ norma Ĉernofa neekvacio por specimenado sen remeto, la takso hasvas atenditan eraron , same al la versio per multaj haketfunkcioj.

 Tempokosto 
Oni povas komputi la takson |Y|/k en tempo O(k) el la du priskribiloj por ambaŭ versioj. La priskribilon de aro oni povas komputi en tempo lineare rilata al kardinalo de la aro. Do la tekniko malkostas multe da tempo, kiam oni devas taksi similecon inter multaj paroj da aroj, kontraste al plena komparo inter anoj de aroj. Speciale, por aroj de kardinalo n la versio per multaj haketfunkcioj kostas tempon O(n k). La versio per unu funkcio kostas nur tempon O(n) por komputi la minimumajn haketvalorojn, alprene .

 Vidu ankaŭ 
 SimHaketo
 w-shingling
 Count-min sketch

 Referencoj 

Kategorio:Statistiko
Kategorio:Datumstrukturoj
Kategorio:Haketfunkcioj