{{TOC float}}

{{Sources| Tohle je poněkud obšírnější výcuc ke z , z různých zápisků k předmětu Datové struktury I, a výtahů k -- 00:13, 18 Aug 2010 (CEST)

}}

Hashování

Základní motivací pro hashování je slovníkový problém, kdy máme za úkol reprezentovat množinu <math>S\,\;</math> prvků z nějakého univerza <math> U\,\!</math> a provádět na ní následující operace:

  • MEMBER (je třeba, aby tato operace probíhala velmi rychle)

  • INSERT

  • DELETE

Aby byl MEMBER rychlý, bylo by nejlepší mít v paměti pole bitů o velikosti <math> U\,\!</math>. V případě, že <math> |S|<<|U|\,\!</math> (a navíc <math>U\,\;</math> může být neúnosně velké), použiji hashovací funkci <math> h:U\to\{0,\dots,m-1\}\,\!</math> a množinu <math> S\,\!</math> reprezentuji polem s <math> m\,\!</math> políčky tak, že <math> x\in S\,\!</math> je uložen na indexu <math> h(x)\,\!</math>. Předpokládejme, že funkce <math> h\,\!</math> se dá spočítat v čase <math> O(1)\,\!</math> -- jiné funkce vlastně nemají smysl, protože nepřináší dostatečné zrychlení.

Problém je, když nastane kolize: <math> x\neq y\,\!</math>, <math> h(x)=h(y)\,\!</math>. Jednotlivé druhy hashování, které následují, se liší strategiemi předcházení a řešení kolizí.

Pro následující analýzy si označíme:

  • <math> |S|=n\,\!</math>

  • <math> |U|=N\,\!</math>

  • Load factor (faktor zaplnění) -- <math> \alpha=\frac{n}{m}\,\!</math>.

Hashování se separovanými řetězci

V tomto typu hashování se kolize řeší řetězením ve spojácích: pro každé políčko založíme zvlášť spoják všech prvků, které se do něj hashují. Všechny algoritmy je musí projít. Předpokládejme, že řetězce jsou prosté -- nic se v nich neopakuje. V nejhorším případě mají všechny prvky stejný hash a máme jen jeden seznam.

Paměťová náročnost je pro každý seznam <math> O(1+l(i))\,\!</math>, kde <math> l(i)\,\!</math> je délka toho seznamu.

Existují dvě varianty -- neuspořádaná a s s uspořádanými prvky v řetězcích. Liší se jedině v pro neúspěšné hledání (když dojdu v řetězci za místo, kde by byl hledaný prvek, můžu skončit).

Pro odhad složitosti alogritmů předpokládáme, že:

  • Hashovací funkce <math> h\,\!</math> rozděluje data rovnoměrně

  • Sama reprezentovaná množina <math> S\,\!</math> je náhodný výběr z <math> U\,\!</math> s rovnoměrným rozdělením

Tyto předpoklady v praxi ale splněny být nemusí.

Očekávaná průměrná délka řetězců

Pro odhad složitosti se počítá očekávaná délka řetězců. Označme délku <math> i\,\!</math>-tého řetězce jako <math> \mathbf{l}(i)\,\!</math>. Potom pravděpodobnost, že tento řetězec má délku <math> l\,\!</math>, odpovídá binomickému rozdělení:

:<math>P(\mathbf{l}(i) = l) = p_{n,l} = \mathbf{}\binom{n}{l}\left(\frac{1}{m}\right)^{l}\left(1-\frac{1}{m}\right)^{n-l}\,\!</math>

Toto je jen aproximace (pro nekonečnou velikost univerza i seznamů), pro případ, že <math> N>>n^2 m\,\!</math>, ale lze použít. Očekávaná délka řetězce pak vychází jako (rozepíšu faktoriál a vytknu <math> \frac{n}{m}\,\!</math>, pak změním rozsah sumace <math> 1\dots n\,\!</math> (protože násobení <math>l=0</math> mi nic nedá), pak můžu z <math>l-1</math> udělat <math>l</math> a sumovat <math> 0\dots n-1\,\!</math>):

:<math>E(l)=\sum_{l=0}^{n}lp_{n,l}=\frac{n}{m}\sum_{l=0}^{n-1}\mathbf{}\binom{n-1}{l}(\frac{1}{m})^l(1-\frac{1}{m})^{n-1-l}=\frac{n}{m}(\frac{1}{m}+1-\frac{1}{m})^{n-1}=\frac{n}{m}=\alpha\,\!</math>

Vlastně tu ale objevujeme Ameriku tím, že počítáme střední hodnotu binomicky rozdělené veličiny s parametrem <math>\frac{1}{m}</math> -- ze vzorce nám vyjde to samé. Stejně tak rozptyl ze vzorce vyjde <math>\frac{n}{m}\left(1 - \frac{1}{m}\right)</math>.

Očekávaná délka nejdelšího řetězce

Tento údaj však sám o sobě nestačí, počítá se i očekávaný nejhorší případ (očekávaná délka nejdelšího řetězce). Ta se definuje následovně:

:<math>EMS = \sum_{j}j P(\max_{i} \mathbf{l}(i) = j) = \sum_{j} P(\max_{i}\mathbf{l}(i) \geq j )\,\!</math>

Z toho (pravděpodobnost disjunkce jevů je <math>\leq\,\;</math> součet jednotlivých pravděpodobností; vyčíslení: počet podmnožin správné velikosti a pravděpodobnost, že mají stejný hash):

:<math>P(\max_{i}\mathbf{l}(j)\geq j ) \leq \sum_{i}P(\mathbf{l}(i)\geq j) \leq m \mathbf{}\binom{n}{j}(\frac{1}{m})^j = \frac{\prod_{k=0}^{j-1}(n-k)}{j!}(\frac{1}{m})^{j-1} \leq n (\frac{n}{m})^{j-1}\frac{1}{j!}\,\!</math>

Najdeme mezní hodnotu <math> j_0\,\!</math>, pro které <math> n(\frac{n}{m})^{j-1}\frac{1}{j!}\leq 1\,\!</math>. Označme <math> k_0 = \min\{k|n\leq k!\} \,\!</math>. Potom <math> j_0 \leq k_0\,\!</math>. Ze Stirlingovy formule plyne, že <math>\log x! = \Theta(x\log x)\,\!</math>. Z toho odvodíme (hodně neformálně, asymptoticky):

:<math>\log k_0! = k_0 \log k_0 = O(\log n)\,\;</math> :<math>\log k_0 + \log\log k_0 \approx \log k_0 = O(\log\log n)\,\;</math>

:<math>k_0 = \frac{k_0 \log k_0}{\log k_0} = O(\frac{\log n}{\log\log n})\,\;</math>

A <math>j_0 = O(k_0)</math>. Pro <math> \alpha\leq 1\,\!</math> platí, že <math> EMS = O(j_0)\,\;</math>:

:<math>EMS=\sum_{j}P(\max_{i}\mathbf{l}(i)\geq j)\leq \sum_{j}\min\{1,n(\frac{n}{m})^{j-1}\frac{1}{j!}\} = \sum_{j=1}^{j_0}1 + \sum_{j=j_0+1}^{\infty}(n(\frac{n}{m})^{j-1}\frac{1}{j!}) \leq j_0 + \sum_{j=j_0+1}^{\infty}\frac{n}{j!} = \dots \leq j_0 + \frac{1}{j_0}\,\!</math>

A tedy očekávaná délka nejdelšího řetězce je <math>O(\frac{\log n}{\log\log n})\,\;</math>.

Očekávaný počet testů

Testy jsou porovnání toho, co hledáme, s nějakým prvkem, nebo zjištění, že řetězec je prázdný. Jejich očekávaný počet je další odhad efektivity struktury. Rozlišujeme úspěšné a neúspěšné hledání.

Neúspěšné hledání (Je-li délka řetězce <math> 0\,\!</math>, jeden test stejně provedu, jinak otestuji celý řetězec):

:<math>E(T) = p_{n,0} + \sum_l l p_{n,l} = (1-\frac{1}{m})^n + \frac{n}{m} \approx e^{-\alpha} + \alpha\,\!</math>

S uspořádanými řetězci končím dřív (<math> e^{-\alpha}+1+\frac{\alpha}{2}-\frac{1}{\alpha}(1-e^{-\alpha})\,\!</math>).

Počet testů pro úspěšné vyhledávání je roven průměru počtu testů provedených při vložení každého z prvků, tj. 1 + očekávaná délka řetězce při každém vkládání: <math> \frac{1}{n}\sum_{i=0}^{n-1}\left(1+\frac{i}{m}\right)\,\! = 1 + \frac{n-1}{2m} \approx 1 + \frac{\alpha}{2}</math>.

Hashování s přemísťováním

Nevýhodou separovaných řetězců je nutnost alokovat další paměť, to je neefektivní. Proto zavedeme do hashovací tabulky pomocné ukazatele a celé řetězce nacpeme přímo do ní (a zřetězené prvky prostě rozházíme na jiné adresy). Pro hashování s přemísťováním se v tabulce uchovává navíc jednoduše odkaz na předchozí a následující prvek řetězce. Pokud vkládáme na místo, kde už je nějaký prvek z jiného řetězce, přehodíme tento cizí prvek jinam.

Algoritmy jsou téměř stejné jako pro , jen při DELETE prvního prvku řetězce je nutné na jeho místo přesunout druhý (pokud existuje).

Očekáváný počet testů je stejný jako pro . Přemísťování v tabulce je ale náročnější než 1 test, proto jsou INSERT a DELETE pomalejší.

Hashování se dvěma ukazateli

Od se liší tím, že místo ukazatele na předchozí prvek používá odkaz na začátek řetězce BEGIN. Řetězec tak už nemusí začínat na indexu svého hashe.

Místo přesouvání prvků algoritmy mění BEGIN (ten je na <math> j\,\!</math>-tém políčku vyplněn, právě když existuje řetězec prvků s hashem <math> j\,\!</math>).

  • INSERT všechno vkládá na konec řetězce, zakládá-li nový, do BEGIN (na místě určené hashem) píše, kde se ve skutečnosti nachází

  • DELETE jen upravuje odkazy na následující, nebo BEGIN (pokud maže poslední prvek řetězce).

Kvůli tomu, že řetězce začínají jinde než na svém místě, je počet testů o něco větší:

  • Úspěšné hedání: <math> 1+\frac{(n-1)(n-2)}{6m^2} + \frac{n-1}{2m}\approx 1 + \frac{\alpha^2}{6} + \frac{\alpha}{2}\,\!</math>

  • Neúspěšné hledání přibližně <math> 1+\frac{\alpha^2}{2}+\alpha+e^{-\alpha}(2+\alpha)-2\,\!</math>.

Srůstající (coalesced) hashování

Srůstající hashování používá jen jeden ukazatel v hashovací tabulce navíc -- odkaz na další prvek NEXT. Řetězce tak obsahují hodnoty s různými hashy. Prvek <math> s\,\!</math> vkládáme vždy do řetězce, obsahujícího <math> h(s)\,\!</math>-té políčko v tabulce.

Existují různé varianty:

  • Standardní (bez pomocné paměti, "late" a "early" insertion) --

  • Bezpřívlastkové (s pomocnou pamětí, "late", "early" a "varied" insertion) --- .

Bez pomocné paměti -- LISCH a EISCH

LISCH je "late insertion", tedy přidává se za poslední prvek řetězce. EISCH ("early insertion") přidává za první prvek řetězce.

  • Algoritmus MEMBER je stejný pro oba (jen projití řetězce po odkazech NEXT).

  • Alg. INSERT:

    • U LISCH projití celého řetězce (v případě že není prázdný, jinak jednoduše vložím na správné políčko) s testy na přítomnost prvku, potom vložení na libovolné volné místo v tabulce a připojení na konec řetězce.

    • Pro EISCH vložení na nějaké volné místo v tabulce a jen přepojení ukazatelů NEXT -- připojení do řetězce za první prvek (pokud je řetězec neprázdný).

Algoritmy DELETE nejsou známy, kromě primitivních. Problémem je u nich zachování náhodného uspořádání prvků v řetězcích, které se předpokládá pro dodržení očekávaných časů operací. Je ale možné také prvky jen označit jako odstraněné a jejich místa použít při vkládání dalších (to ale zpomaluje hledání).

EISCH je kupodivu o něco rychlejší na úspěšné vyhledání (je větší pravděpodobnost práce s novým prvkem), očekávaný počet testů je stejný.

Počet testů v neúspěšném případě: Spočteme průměr přes všechny posloupnosti délky <math>n+1\,\;</math> (kde hledáme <math>n+1\,\;</math>. prvek v množině ostatních <math>n\,\;</math>). Označme <math> c_{n,l}\,\!</math> počet řetězců délky <math> l\,\!</math>, které přispívají celkem <math> 1+2+\dots+l = l + \mathbf{}\binom{l}{2}\,\!</math> porovnáními k sumě:

:<math>\frac{c_{n,0}+\sum_{l=1}^{n}lc_{n,l}+\sum_{l=1}^{n}\mathbf{}\binom{l}{2}c_{n,l}}{m^{n+1}}\,\!</math>

Tady <math> c_{n,0}\,\!</math> představuje počet prázdných řádků, tedy <math> c_{n,0}=(m-n)m^n\,\!</math>, <math> lc_{n,l}\,\!</math> je součet délek všech řetězců v reprezentacích <math> n\,\!</math>-prvk. množin, tedy <math> \sum_{l=1}^n lc_{n,l}= nm^n\,\!</math>.

Poslední člen označíme <math>S_n\,\!</math>. Při INSERTu do <math> n-1\,\!</math>-prvkové množiny jsou 2 možnosti vzniku řetězce délky <math> l\,\!</math>: buď přidávám do řetězce (délky <math> l-1\,\!</math>), nebo řetězec (pův. délky <math> l\,\!</math>) nezměním. Z toho vyjádříme rekurentní vztah pro <math>S_n\,\;</math> (úpravy: rozepsání rozdílů, vykrácení, rozpis <math> l^2\,\!</math> jako <math> l^2-l + l=\mathbf{}\binom{l}{2}+l\,\!</math>):

:<math>S_n = \sum_{l}\mathbf{}\binom{l}{2}(m-l)c_{n-1,l} + \sum_l\mathbf{}\binom{l}{2}(l-1)c_{n-1,l-1} = mS_{n-1} - \sum_l l^2c_{n-1,l}=(m+2)S_{n-1}+(n-1)m^{n-1})\,\!</math>

Pak pomocí vztahu <math> T_n^c=\sum_{i=1}^n ic^i=\frac{nc^{n+2}-(n+1)c^{n+1}+c}{(c-1)^2}\,\!</math> spočítaného z <math> (c-1)T_n^c=nc^{n+1}+(\sum_{i=2}^n-c^i)-c\,\!</math> získáme nerekurentní vztah (<math> S_0 = 0\,\!</math>, obrácení sumace a vytknutí <math> m+2^{n-1}\,\!</math>):

:<math>S_n = (m+2)^{n-1} S_0 + \sum_{i=0}^{n-1}(m+2)^i(n-1-i)m^{n-1-i} = (m+2)^{n-1}\sum_{i=1}^{n-1}i\left(\frac{m}{m+2}\right)^i = \frac{1}{4}(m(m+2)^n - m^{n+1} - 2nm^n\,\!</math>

A tedy očekávaný počet testů vyjde:

:<math>1+\frac{1}{4}\left(\left(1+\frac{2}{m}\right)^n - 1 - \frac{2n}{m}\right)\approx 1 + \frac{1}{4}(e^{2\alpha}-1-2\alpha)\,\!</math>

Počet testů pro úspěšný případ spočteme pro LISCH jako počet testů při vkládání prvku. Metoda EISCH pro tento postup nesplňuje předpoklady. Porovnání klíčů při neúspěšném vyhledávání je stejně při přístupu na obsazené políčko, neporovnávám ale nic při přístupu na neobsazené políčko, takže dostávám:

:<math> \frac{n}{m}+ \frac{1}{4}\left(\left(1+\frac{2}{m}\right)^n - 1 - \frac{2n}{m}\right) = \frac{1}{4}\left(\left(1+\frac{2}{m}\right)^n - 1 + \frac{2n}{m}\right)\,\!</math>

Průměr pro postupné vkládání všech prvků pak dává:

:<math>1+\sum_{i=0}^{n-1}\frac{1}{4}\left(\left(1+\frac{2}{m}\right)^i-1+\frac{2i}{m}\right)=1+\frac{m}{8n}\left(\left(1+\frac{2}{m}\right)^n-1-\frac{2n}{m}\right)+\frac{n-1}{4m}\approx 1+\frac{1}{8\alpha}(e^{2\alpha}-1-2\alpha)+\frac{\alpha}{4}\,\!</math>

Pro metodu EISCH vychází (bez důkazu):

:<math>\frac{m}{n}\left(\left(1+\frac{1}{m}\right)n-1\right)\approx\frac{1}{\alpha}(e^{\alpha}-1)\,\!</math>

Všechny odhady mají odchylku <math> O(\frac{1}{m})\,\!</math>.

S pomocnou pamětí -- LICH, VICH, EICH

V této variantě rozdělíme paměť na dvě části:

  • (hash-funkcí) přímo adresovatelná

  • pomocná část (bez přístupu hash-funkcí)

Při kolizích nejdříve ukládáme do řádků z pomocné části, pak teprve do přímo adresovatelné, tedy oddalujeme srůstání řetězců. Chování se tak až do určitého okamžiku podobá separovaným.

Existují tři varianty podle chování algoritmu INSERT:

  • LICH vždy přidává na konec řetězce

  • EICH v případě neprázdného řetězce vždy za 1. prvek

  • VICH vždy za poslední prvek v pomocné paměti nebo (pokud žádné v pomocné paměti nejsou) za 1. prvek řetězce (tj. chová se na pomocné paměti jako LICH a v přímo adresovatelné části jako EICH).

Algoritmy až na VICH se chovají stejně jako ve , rozhodující je výběr volného řádku pro vložení: např. "vždy vyber z nejvyšší adresy" může zaručit používání pomocné paměti. Také tu není přirozené efektivní DELETE.

Odhad složitosti: definujeme si následující hodnoty:

  • <math> n\,\!</math> -- počet uložených prvků

  • <math> m\,\!</math> -- velikost přímo adresovatelné paměti

  • <math> m'\,\!</math> -- celková velikost paměti

  • <math> \alpha=\frac{n}{m'}\,\!</math> -- faktor zaplnění

  • <math> \beta=\frac{m}{m'}\,\!</math> -- adresovací faktor

  • <math> \lambda\,\!</math> -- jediné nezáp. řešení rovnice <math> e^{-\lambda}+\lambda=\frac{1}{\beta}\,\!</math>

Pokud je <math> \alpha\leq\lambda\beta\,\!</math>, pak pro všechny verze vychází očekávaný počet testů <math> e^{-\frac{\alpha}{\beta}}+\frac{\alpha}{\beta}\,\!</math> v neúspěšném případě a <math> 1+\frac{\alpha}{2\beta}\,\!</math> v úspěšném (chyba: <math> O(\log\frac{m'}{\sqrt{m'}})\,\!</math>.

V případě, že <math> \alpha\geq\lambda\beta\,\!</math> (začínají srůstat řetězce), se metody liší a vychází divnosti. V neúspěšném případě je VICH a LICH lepší než EICH, v úspěšném vede VICH před EICH a LICH (vždy o jednotky procent). Doporučená hodnota <math> \beta=0.86\,\!</math>. Na hledání volného řádku se v praxi hodí např. spojový seznam volných řádků.

Lineární přidávání

Tato a metoda nepoužívá žádné dodatečné položky v hashovací tabulce a zároveň řetězce kolidujících prvků ukládá přímo do ní. Nalezení dalšího prvku z řetězce je přímo v algoritmu.

Lineární přidávání je nejjednodušším řešením takové situace: v případě kolize při INSERTu nalezne nejbližší vyšší volné políčko a vloží nový prvek tam. Předpokládáme "cyklickou" paměť, tj. když dojdeme na konec, vkládáme od začátku.

Problémem je tvoření shluků -- při velkém zaplnění se operace dost zpomalují. Také nepodporuje efektivní DELETE (a ani primitivní způsoby nejsou moc rychlé). V praxi je dobré uchovávat počet uložených prvků nebo mít zarážku (nikdy neobsazované pole), abychom věděli, kdy dojde k přeplnění.

Očekávaný počet testů je <math> \frac{1}{2}\left(1+\left(\frac{1}{1-\alpha}\right)^2\right)\,\!</math> v neúspěšném a <math> \frac{1}{2}\left(1+\left(\frac{1}{1-\alpha}\right)\right)\,\!</math> v úspěšném případě (bez důkazu).

Dvojité hashování

Dvojité hashování je vylepšení tak, aby nevznikaly shluky. Výběr následujícího řádku bude závislý na předchozím, ale s rovnoměrným rozložením. Na to použiji druhou hashovací funkci <math> h_2\,\!</math>.

Při operacích INSERT pak hledám nejmenší <math> i\,\!</math> od <math> 0\,\!</math>, že <math> (h_1(x) + i\cdot h_2(x)) \mod m\,\!</math> je volné políčko, tj. postupně přičítám <math> h_2(x)\,\!</math> a modulím. Stejný postup je i pro operaci MEMBER.

Je nutné, aby <math> h_2(x) \not | m\,\!</math>, tj. abych měl prosté posloupnosti (a z každého políčka tak mohl vést řetězec po celé tabulce). Idea, že iterace <math> h_2\,\!</math> tvoří pro každé <math> x\,\!</math> náhodnou permutaci paměťových míst, není úplně přesná, ale v praxi stačí, aby z <math> h_1(x) = h_1(y)\,\!</math> plynulo, že <math> h_2(x)\,\!</math> a <math> h_2(y)\,\!</math> budou odlišné.

Funkce navíc musíme volit "chytře" (i lineární přidávání je spec. příp. dvojitého hashování, kdy <math> h_2 \equiv 1\,\!</math>). Pak tato metoda je znatelně rychlejší než lin. přidávání. Předpoklad náhodnosti použitý v teoretické analýze sice splnit nelze, ale přiblížit se mu ano.

Očekávaný počet testů

Předpokládáme, že iterování funkce <math>h_2\,\!</math> tvoří náhodné permutace (což, jak bylo řečeno, není úplně přesné).

Pro neúspěšný případ: označme <math> q_i(n,m)\,\!</math> pravděpodobnost, že při zaplnění <math> \frac{n}{m}\,\!</math> je pro nějaké <math> x\,\!</math> prvních <math> i-1\,\!</math> políček, kam bych ho mohl vložit, plných. Potom <math> q_i(n,m) = \frac{\prod_{j=0}^{i-1}(n-j)}{\prod_{j=0}^{i-1}(m-j)}\,\!</math> a tedy <math> q_i(n,m)=\frac{n}{m}q_{i-1}(n-1,m-1)\,\!</math>.

Očekávaný počet testů je (předposlední rovnost plyne z rekurentního vztahu pro <math> q_j\,\!</math>, poslední krok dokázat indukcí):

:<math>C(n,m)=\sum_{j=0}^n(j+1)(q_j(n,m)-q_{j+1}(n,m))=\sum_{j=0}^n(q_j(n,m))=1+\frac{n}{m}C(n-1,m-1)=\frac{m+1}{m-n+1}\,\!</math>

Počet testů v úspěšném případě -- stejná metoda jako u dřívějších analýz, takže vychází:

:<math>\frac{1}{n}\sum_{i=0}^{n-1}C(i,m)=\frac{1}{n}\sum_{i=0}{n-1}\frac{m+1}{m-i+1}\approx\frac{1}{\alpha}\ln\left(\frac{m+1}{m-n+1}\right)\approx\frac{1}{\alpha}\ln\left(\frac{1}{1-\alpha}\right)\,\!</math>

Srovnání

Podle počtu testů:

  • VICH je při vhodném <math> \alpha\,\!</math> lepší než hashování se dvěma ukazateli.

  • Lineární přidávání se nedá použít pro <math> \alpha > 0.7\,\!</math>, dvojité hashování pro <math> \alpha > 0.9\,\!</math>.

  • Separované řetězce a obecné srůstající hashování používají víc paměti, přemísťování a dvojité hashování zas víc času, tj. nelze říct, které je jednoznačně lepší.

Implementační dodatky

  • Pro hledání volných řádků se většinou používá seznam (zásobník).

  • Přeplnění se většinou řeší držením <math> \alpha\,\!</math> v rozumném intervalu (<math>\langle 1/4, 1\rangle\,\!</math>) a přehashováním do jinak velké tabulky (<math> 2^i\cdot m\,\!</math>) při pře- nebo podtečení

  • V praxi se doporučuje přehashování odkládat (např. pomocnými tabulkami) a provádět při nečinnosti systému.

DELETE se ve strukturách, které ho nepodporují, řeší označením políčka jako smazaného s možností využití při vkládání. V případě, že polovina polí je blokovaná tímto způsobem, se vše přehashuje. Pro srůstající hashování se toto používat nemusí, máme metody na zachování náhodnosti rozdělení dat.

V praxi je výhodné, známe-li něco o rozdělení vstupních dat, aby ho hashovací funkce kopírovala (většinou to ale nejde), jinak musíme předpokládat rovnoměrnost, což zaručeno zdaleka není. Nutnost rovnoměrného rozdělení vstupních dat lze obejít (viz ).

Univerzální hashování

{{Sources|

Odbočka: zajímavá přednáška v AJ popisující princip universálního a perfektního hašování. Lepší pro pochopení základu, než se zmateně dívat na 10 stránek vzorečků :). }}

Abychom nemuseli předpokládat rovnoměrné rozložení vstupních hashovaných dat (což zdaleka není vždy zaručeno), budeme mít místo pevné hash-funkce nějakou množinu <math> H\,\!</math>, z níž funkci náhodně rovnoměrně vyberu. Analýza složitostí se pak dělá přes všechny <math> h\in H\,\!</math> a platí pro všechny <math> S\subset U\,\!</math> -- i nerovnoměrné (<math> S\,\!</math> je daná pevně a <math> h\,\!</math> se k ní volí; <math> |U|=N\,\!</math>).

Pro formalizaci analýz je nutné mít analytické zadání funkcí <math> h\,\!</math> a znát přesnou velikost množiny <math>|H|\,\!</math>. To obejdeme očíslováním funkcí <math> H = \{ h_i; i\in I \}\,\!</math> a počítáním s indexovou množinou (očekávaná hodnota je průměr přes <math> I\,\!</math>). Při použití skutečné velikosti <math> H\,\!</math> v odhadech bychom dostali horší výsledky, protože některé funkce s různými indexy se můžou ve skutečnosti ukázat jako identické, a to tu zanedbáváme.

Definice: Systém funkcí <math> H = \{ h_i; i \in I\}: U\to \{0,\dots,m-1\}\,\!</math> je <math> c\,\!</math>-univerzální, pokud:

:<math> \forall x,y\in U, x\neq y: |\{i\in I; h_i(x)=h_i(y)\}|\leq \frac{c|I|}{m}\,\!</math>. Tj. zaručuje se, že pro každé dva různé prvky má maximálně <math>c\,\;</math> funkcí kolizi.

Existence c-univerzálních systémů

Předpokládejme, že universum má tvar <math> U=\{0,1,\dots,N-1\}\,\!</math> kde <math> N\,\!</math> je nějaké prvočíslo a vezmeme funkce typu :<math>h_{a,b}(x)=((ax + b) \mod N)\mod m\,\!</math>

Jsou dobře použitelné, protože se dají počítat rychle. Protože <math> N\,\!</math> je prvočíslo, můžeme pracovat v <math> \mathbb{Z}_N\,\!</math>, coz je těleso. Rovnice <math>h_{a,b}(x)=h_{a,b}(y)\,\!</math> je ekvivalentní s:

:<math>\exists i\in\{0,\dots,m-1\} \wedge \exists r,s\in\{0,\dots,\lceil\frac{N}{m}\rceil -1\} : (ax + b \equiv i + rm) \mod N \wedge (ay+ b \equiv i + sm) \mod N \,\!</math>

Z Frobeniovy věty o jednoznačnosti řešení lineárních rovnic plyne, že pro každé <math>r,s,i\,\;</math> existuje jen jedna dvojice <math>a,b\,\;</math>, které vyhovuje. Počet řešení soustavy je tedy omezený číslem <math> m\cdot\lceil\frac{N}{m}\rceil^2\,\!</math> (<math> i\,\!</math> -- <math> m\,\!</math> hodnot, <math> r,s\,\!</math> -- <math> \lceil\frac{N}{m}\rceil\,\!</math> hodnot pro daná <math> x,y\,\!</math>).

Pak je systém <math> c\,\!</math>-univerzální pro <math> c = \left(\lceil\frac{N}{m}\rceil\right)^2 / \left(\frac{N}{m}\right)^2\,\!</math> a jeho velikost opdovídá <math> N^2\,\!</math>.

Vlastnosti

{{TODO|Tohle má zas Koubek zbytečně složitý -- stačí vzít <math>x\in S</math> a nepočítat dvě varianty.}}

Vyrobíme si pomocnou funkci

:<math>\delta_i(x,y)= \begin{cases}1 \mbox{ pro } h_i(x)=h_i(y), x\neq y \\ 0 \mbox{ jinak }\end{cases}\,\!</math>

Chceme potom spočítat součet <math> \delta_i(x,S)=\sum_{y\in S}\delta_i(x,y)\,\!</math>. Z výsledku vidíme očekávanou délku řetězce pro libovolnou (jednu) množinu dat. Tohle pak sečtu přes všechny mé hash-funkce a z <math> c\,\!</math>-univerzality dostanu

:<math>\sum_{i\in I}\delta_i(x,S)=\sum_{y\in S}\sum_{i\in I}\delta_i(x,y) \leq \sum_{y\in S,x\neq y} c\frac{|I|}{m} = \begin{cases} (|S|-1)c\frac{|I|}{m} & \mbox{ pro } x\in S \\ |S|c\frac{|I|}{m} & \mbox{ jinak } \end{cases}\,\!</math>

Z toho dopočítám (podělením <math> |I|\,\!</math>) horní odhad očekávaného <math> \delta_i(x,S)\,\!</math>.

Výsledek: očekávaný čas operací MEMBER, INSERT a DELETE v <math> c\,\!</math>-univerzálním hashování je <math> O(1+c\alpha)\,\!</math> (kde faktor naplnění <math> \alpha=\frac{|S|}{m}\,\!</math>). Čas <math> n\,\!</math> po sobě jdoucích operací na původně prázdné tabulce je <math> O(n(1+\frac{c}{2}\alpha))\,\!</math>. To není lepší hodnota než mají separované řetězce (<math> O(1+\alpha)\,\!</math>), ale u nich předpokládám rovnoměrné rozdělení dat.

Výběr vhodné funkce není úplně jednoduchý, protože funkcí může celkem být např až <math> N^2\,\!</math>, tj. nelze ho provést jednoduchým zavoláním generátoru náhodných čísel, nýbrž např. náhodným vybráním každého bitu indexu funkce. Proto je výhodné najít co nejmenší <math> c\,\!</math>-univerzální systémy (viz ).

Dolní odhady velikosti univ. systémů

Očíslujme hash-funkce z <math> I\,\!</math> a induktivně definujme množiny <math> U_i\,\!</math> jako největší podmnožiny <math> U_{i-1}\,\!</math> takové, že <math> h_{i-1}(U_i)\,\!</math> je jednoprvková. Platí <math> |U_i|\geq \lceil \frac{U_{i-1}}{m}\rceil\,\!</math>, tedy <math> |U_i|\geq\lceil\frac{N}{m^i}\rceil\,\!</math> -- velikost těchto množin klesá s logaritmem a <math> |I|\geq \frac{m}{c}(\lceil\log_m N\rceil -1)\,\!</math>. Takže velikost univ. systému roste alespoň úměrně logaritmu velikosti univerza.

Dolní odhad c

5-univerzální systém: Zvolme <math> t\in\mathbb{N}\,\!</math> a k němu vezměme <math> t\,\!</math>-té prvočíslo <math> p_t\,\!</math> tak, že <math> t\ln p_t\geq m\ln N\,\!</math>. Definujme systém funkcí <math> H=\{g_{c,d,l}(x)|t<l\leq 2t, c, d\in\{0,1,\dots,p_{2t}-1\}\}\,\!</math> kde <math> ((c(x\mod p_l)+d)\mod p_{2t})\mod m\,\!</math>. Zřejmě <math> |H|=tp_{2t}^2\,\!</math>.

Odhadem <math> |G = \{(c,d,l); h_{c,d,l}(x)=h_{c,d,l}(y)\}|\,\!</math>, když si množinu rozdělíme na <math> G_1 = \{(c,d,l)\in G; x\mod p_l \neq y\mod p_l\}\,\!</math> a <math> G_2 =\{(c,d,l)\in G;x\mod p_l=y\mod p_l\}\,\!</math>, se dá dokázat, že systém je 5-univerzální, za dalších podmínek i 3.25-univerzální.

Dolní odhad <math> c\,\!</math>: Platí: <math> c>1-\frac{m}{N}\,\!</math>. Spočítáme <math> \sum_{h\in H}\sum_{x,y\in U}\delta_h(x,y)\,\!</math> -- pro pevnou <math> h\,\!</math> máme (z Cauchy-Schwarzovy nerovnosti, <math> u_{i,h}=|\{x\in U,h(x)=i\}|\,\!</math>):

:<math> \sum_{x,y\in U}\delta_h(x,y)=\sum_{i=0}^{m-1}u_{i,h}(u_{i,h}-1)\geq \frac{(\sum_{i=0}^{m-1}u_{i,h})^2}{m}-N =\frac{N^2}{m}-N\,\!</math> Tedy <math> \sum_{h\in H}\sum_{x,y\in U}\delta(x,y)\geq \frac{|H|N(N-m)}{m}\,\!</math>. Zároveň platí <math> \sum_{h\in H}\sum_{x,y\in U}\delta(x,y)\leq\sum_{x,y\in U}c\frac{|H|}{m}=N^2c\frac{|H|}{m}\,\!</math>, což mi dává výsledek.

Perfektní hashování

Základní ideou perfektního hashování je nalézt hash-funkci, která pro danou množinu <math>S\,\;</math> nedělá žádné kolize, takže operace MEMBER bude velice rychlá. Potom je nevýhoda, že nelze přirozeným způsobem realizovat operaci INSERT, tj. v praxi se nesmí moc často vyskytovat.

Tabulka by neměla být o mnoho větší než množina <math>S\,\;</math> a funkce <math> h\,\!</math> rychle spočitatelná a její realizace nezabírat moc paměti (tedy žádná zadávání tabulkou).

Definice

  • Hashovací funkce <math> h\,\!</math> je perfektní pro množinu <math> S\,\!</math>, pokud pro <math>\forall x,y\in S, x\neq y: h(x)\neq h(y)\,\!</math>

  • Soubor funkcí <math> H:U\to \{0,\dots,m-1\}\,\!</math> je <math> (N,m,n)\,\!</math>-perfektní, pokud <math> \forall S\subseteq U\,\!</math> takové, že <math> |S|=n\,\!</math> existuje <math> h\in H\,\!</math> perfektní pro <math> S\,\!</math>.

Odhady velikosti

Každá funkce <math> h\,\!</math> je perfektní pro <math> \sum\{\prod_{j=0}^{n-1}|h^{-1}(i_j)|;0\leq i_0<\dots<i_{n-1}<m\}\,\!</math> množin (sčítáme přes všechny množiny hashů <math>h(S)\,\!</math> a pro každou z nich uvažujeme všechny možnosti, jak mohla vzniknout). Z Cauchy-Schwarzovy nerovnosti plyne, že tento výraz nabývá maxima, když <math> \forall i: |h^{-1}(i)|=\frac{N}{m}\,\!</math>. Každá funkce je tedy perfektní pro max. <math> \mathbf{}\binom{m}{n}(\frac{N}{m})^n\,\!</math> množin. Z toho plyne:

:<math>|H|\geq \frac{\mathbf{}\binom{N}{n}}{\mathbf{}\binom{m}{n}\left(\frac{N}{m}\right)^n}\,\!</math>

Jiný odhad lze provést jako u <math> c\,\!</math>-univ. systémů s očíslovanými funkcemi <math> |H|=\{h_1,\dots,h_t\}\,\!</math>. Používám induktivně definované množiny <math>U_i\,\;</math>, kde <math>U_0 = U\,\;</math> a <math>U_i\,\;</math> je největší podmnožina <math>U_{i-1}\,\;</math>, kde je zrovna funkce <math>h_i\,\;</math> konstantní. Dostáváme <math>|U_i|\geq \frac{|U_{i-1}|}{m}\,\;</math>, tj. <math>|U_t| \geq \frac{N}{m^t}\,\;</math>, ale z perfektnosti plyne <math> |U_t|\leq 1\,\!</math>. Dostáváme <math> t\geq \frac{log N}{log m}\,\!</math>.

Existence

Reprezentujme soubor funkcí <math>H=\{h_1,\dots,h_t\}\,\;</math> na univerzu velikosti <math>N\,\;</math> pomocí matice <math> M(H)\,\!</math> typu <math> N\times t\,\!</math>, takže <math> M(H)_{x,i}=h_i(x)\,\!</math>, tj. v jednom sloupci jsou výsledky jedné hashovací funkce pro všechny prvky univerza.

Pak žádná funkce z <math> H\,\!</math> není perfektní pro množinu <math>S\subset U\,\;</math>, když podmatice <math> M(H)\,\!</math> tvořená řádky příslušejícími prvkům <math>S\,\;</math> nemá prostý sloupec. Takových matic je maximálně (počet všech funkcí minus počet prostých, to celé krát libovolné doplnění na <math> N\,\!</math> řádek):

:<math> \left(m^n-\prod_{i=0}^{n-1}(m-i)\right)^t\cdot m^{(N-n)t}\,\!</math>

Podmnožin <math> U\,\!</math> velikosti <math> n\,\!</math> je pak <math> \mathbf{}\binom{N}{n}\,\!</math>, čímž vynásobeno mám počet matic neodpovídajících <math> (N,m,n)\,\!</math>-perfektnímu systému. Všech matic je <math> m^{Nt}\,\!</math>. Potom existuje <math>(N,m,n)</math>-perfektní systém, když: :<math>\mathbf{}\binom{N}{n} \left(m^n-\prod_{i=0}^{n-1}(m-i)\right)^t\cdot m^{(N-n)t} <m^{Nt}\,\!</math>

Příšernými kejklemi dostaneme podmínku existence <math> t\geq n(\ln N)e^{\frac{n^2}{m}}\,\!</math>.

Konstrukce funkce

Chceme splnit rychlou spočitatelnost a paměťovou nenáročnost. Předpokládáme univerzum prvočíselné velikosti a funkce typu:

:<math>h_k(x)=(kx\mod N)\mod m\,\!</math>

Označme <math> b_i^k=|\{x\in S; (kx\mod N)\mod m=i\}|\,\!</math>. Potom pokud <math> h_k(x)\,\!</math> není perfektní, pak nějaké <math> b_i^k =2\,\!</math> a mám <math> \sum_{i=0}^{m-1}(b_i^k)^2\geq n+2\,\!</math>.

Odhadnu výraz <math> \sum_{k=1}^{N-1}((\sum_{i=0}^{m-1}(b_i^k)^2)-n) = \sum_{x\neq y\in S}\{k; 1\leq k<N, h_k(x)=h_k(y)\}\,\!</math>. Z vlastností modula mám takových <math>k\,\;</math> pro daná <math>x,y\,\;</math> nejvýše <math> 2\lfloor\frac{N}{m}\rfloor =2\lfloor\frac{N-1}{m}\rfloor\,\!</math>. Dostávám tedy odhad <math> 2(N-1)\frac{n(n-1)}{m}\,\!</math> a z něj vidím, že existuje takové <math>k</math>, že <math> \sum_{i=0}^{m-1}(b_i^k)^2\leq \frac{2n(n-1)}{m}+n\,\!</math>, tedy pro tabulku velikosti <math>m > n(n-1)</math> mám perfektní funkci.

Dá se dokázat trochu slabší předpoklad, že <math> P(k;\sum_{i=0}^{m-1}(b_i^k)^2<\frac{3n(n-1)}{m}+n)\geq 1/4\,\!</math>, který je základem pravděpodobnostního algoritmu.

Pak mám deterministický algoritmus, který pro <math> m=n(n-1)+1\,\!</math> nalezne perfektní <math> h_k\,\!</math> v čase <math> O(nN)\,\!</math> a pravděpodobnostní, který pro <math> m=2n(n-1)\,\!</math> najde perfektní <math> h_k\,\!</math> v čase <math> O(n)\,\!</math>. Mám tedy konstrukci perfektní hash-funkce, ta ale nesplňuje požadavek na malou tabulku (<math> m=\Theta(n^2)\,\!</math>).

Menší tabulka

Zmenšíme-li velikost tabulky na <math>m = n</math>, bude výše uvedený algoritmus schopný nalézt funkci, pro kterou platí <math> \sum (b_i^k)^2 <3n\,\!</math> (<math> \sum (b_i^k)^2 <4n\,\!</math> v pravděpodobnostní variantě). Každou kolizi pak můžeme "rozstrkat" perfektní funkcí nad miniaturní tabulkou a celková velikost všech tabulek bude mnohem menší:

  • Vezmeme nalezenou funkci a najdeme všechny neprázdné množiny <math> S_i=\{s\in S;h_k(s)=i\}\,\!</math>

  • Pro jim odpovídající <math>c_i=|S_i|(|S_i|-1)+1\,\!</math> (dvojnásobek v pravděp. metodě) najdeme <math> k_i\,\!</math> takové, že <math> h_{k_i}\,\!</math> je perfektní funkce pro <math> S_i\,\!</math> do tabulky velikosti <math> c_i\,\!</math>.

  • Definujme <math> d_i=\sum_{j=0}^{i-1}c_j\,\!</math>, potom pokud <math> h_k(x)=l\,\!</math>, pak <math> g(x)=d_l+h_{kl}(x)\,\!</math> je perfektní, její hodnota spočitatelná v čase <math> O(1)\,\!</math> a hashuje do tabulky velikosti <math> O(3n)\,\!</math> (<math> O(6n)\,\!</math> s pravděp. případě), je naleznutelná v čase <math> O(nN)\,\!</math> (<math> O(n)\,\!</math>) a pro její uložení do paměti jsou potřeba hodnoty <math> k\,\!</math> a <math> k_i\,\!</math>, vyžadující <math> O(n\log N)\,\!</math> paměti.

Pro výpočet <math> g(x)\,\!</math> potřebuji 2 násobení, 2 modulo a 1 sčítání (pro <math> d_i\,\!</math> v paměti), tabulka má velikost <math> \sum c_i\leq\sum (b_i^k)^2<3n\,\!</math>. Taková funkce ale stále nesplňuje požadavek na málo paměti pro uložení.

"Malá" funkce

Víme, že pro <math> m\in\mathbb{N}\,\!</math> je počet prvočísel, která ho dělí <math> O(\frac{\log m}{\log\log m})\,\!</math>. Z toho úvahou o dělitelích čísla <math> D=\prod_{1\leq i<j\leq n}(s_j-s_i)\leq N^{n^2}\,\!</math> na <math> n\,\!</math>-prvkové <math> S\,\!</math> a vzorce hustoty prvočísel <math> p_t\leq 2t\ln t\,\!</math> dostanu, že existuje <math> p\,\!</math> o velikosti <math> O(\ln D)=O(n^2\ln N)\,\!</math> takové, že <math> \phi_p(x)=x\mod p\,\!</math> je perfektní pro <math> S\,\!</math>.

Deterministické nalezení trvá <math> O(n^3\log n\log N)\,\!</math> (test perfektnosti každého systému je <math> O(n\log n)\,\!</math>). Proto použijeme pravděpodobnostní algoritmus (mezi <math> 4cn^2\ln N\,\!</math> přir. čísly je aspoň <math> 1/2\,\!</math> prvočísel, která vyhovují): nejdřív najde prvočíslo a pak testuje perfektnost. Očekávaný počet testů je <math> O(\ln(4cn^2\ln N))\,\!</math>, celková složitost algoritmu je pak <math> O(n\log n(\log n+\log\log N))\,\!</math>. Najde zhruba až <math> 2\times\,\!</math> větší prvočíslo než deterministický.

Tuto funkci použijeme ke konstrukci výsledné hash-funkce:

  1. Nalezneme prvočíslo <math> q_0\,\!</math>, aby <math> \phi_{q_0}(x)=x\mod q_0\,\!</math> byla perfektní pro <math> S\,\!</math>

  2. Položíme <math> S_1=\{\phi_{q_0}(s)|s\in S\}\,\!</math>, pak najdeme prvočíslo <math> q_1\in \langle n(n-1)+1,2n(n-1)+2\rangle\,\!</math>

  3. K němu existuje <math> l\in \langle1,q_0-1\rangle\,\!</math> takové, že <math> h_l(x)=((lx\mod q_0)\mod q_1)\,\!</math> je perfektní pro <math> S_1\,\!</math>

  4. Položíme <math> S_2=\{h_l(s)|s\in S_1\}\,\!</math> a najdeme perfektní <math> g\,\!</math> pro <math> S_2\,\!</math> do tabulky s méně než <math> 3n\,\!</math> řádky (viz , počítá se ale do univerza o velikosti <math> q_1\,\!</math>).

  5. Pak <math> f(x)=g(h_l(\phi_{q_0}(x)))\,\!</math> je perfektní.

Funkce <math> q_0\,\!</math> je určena 1 číslem o velikosti <math> O(n^2\log N)\,\!</math>, <math> h_l\,\!</math> 2 čísly o velikosti <math> O(n^2)\,\!</math> a <math> O(q_0)\,\!</math>, <math> g\,\!</math> je určená <math> n+1\,\!</math> čísly o <math> O(q_1)\,\!</math>, tj. celkem zadání vyžaduje <math> O(n\log n+\log n+\log\log N)\,\!</math> paměti.

{{Statnice I3}}