Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço

Detalhes bibliográficos
Autor(a) principal: Zatesko, Leandro Miranda, 1988-
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: http://hdl.handle.net/1884/26904
Resumo: Orientador : Prof. Dr. Jair Donadelli Jr
id UFPR_1b5d46300d0192a0566fb78bbaa398be
oai_identifier_str oai:acervodigital.ufpr.br:1884/26904
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Zatesko, Leandro Miranda, 1988-Donadelli Júnior, JairUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática2018-06-15T17:16:55Z2018-06-15T17:16:55Z2011http://hdl.handle.net/1884/26904Orientador : Prof. Dr. Jair Donadelli JrDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 17/11/2011Inclui bibliografia e índiceResumo: Este trabalho propõe algoritmos determinísticos que, dado um conjunto com n chaves, constroem em tempo esperado O(n) uma função hash com tempo de busca no pior caso O(1), a qual mapeia sem colisão as chaves para o conjunto {0, . . . , n-1}. Esses esquemas de hashing perfeitos e mínimos são meras variantes dos esquemas aleatorizados de Botelho, Kohayakawa e Ziviani (2005) e Botelho, Pagh e Ziviani (2007) e mostraram resultados empíricos equivalentes aos dos algoritmos originais. As variantes determinísticas foram implementadas a partir dos códigos dos esquemas originais desenvolvidos na biblioteca CMPH pelos próprios autores, a qual é mantida no SourceForge.net. Todos os esquemas foram alimentados com os mesmos conjuntos de chaves, para que pudessem ser comparados com justiça. Foram executados testes para conjuntos com até 25 000 000 de chaves. Ademais, os esquemas propostos contam evidentemente com a vantagem de sempre produzirem a mesma hash para um mesmo conjunto de chaves. Esse comportamento determinístico pode ser útil para o desenvolvimento dum esquema dinâmico de hashing, em que figuram operações como inserção e deleção de chaves, inspirado num dos excelentes esquemas estáticos abordados. Um dos esquemas de Botelho, Pagh e Ziviani (2007), por exemplo de excelência, constrói hashes representáveis por apenas aproximadamente 2,62 bits por chave. Tal resultado é muito próximo da cota inferior justa conhecida, de aproximadamente 1,44 bits por chave. Tanto as versões determinísticas propostas quanto as originais mostram-se práticas para aplicações reais de Hashing. No entanto, na fundamentação teórica do trabalho de Botelho, Kohayakawa e Ziviani (2005) ainda restava uma conjectura. A presente dissertação também propõe uma demonstração para a conjectura e encerra a corretude do esquema.Abstract: This work proposes deterministic algorithms that, given a set with n keys, build in expected time O(n) a hash function with worst-case O(1) lookup time, which maps without collision the keys to the set {0, . . . , n-1}. These minimal perfect hashing schemes are mere variants of the probabilistic schemes of Botelho, Kohayakawa e Ziviani (2005) and Botelho, Pagh e Ziviani (2007) and have showed empirical results equivalent to the original algorithms. The deterministic variants have been implemented from the source codes of the original schemes developed in CMPH library by the authors theirselves, which is maintained at SourceForge.net. All the schemes have been input with the same key sets, so they could be compared fairly. Tests have been executed over datesets with up to 25 000 000 keys. Moreover, the proposed schemes have evidently the advantage of always generating the same hash function for the same key set. This deterministic behaviour might be useful for developing a dynamic hashing scheme, in which lie operations like insertion and deletion of keys, inspired in one of the excelent static schemes covered. One of the schemes of Botelho, Pagh e Ziviani (2007), as an example of excellence, builds hash functions representable by only about 2.62 bits for key. Such a result is very close to the known tight lower bound, of about 1.44 bits for key. Both the deterministic proposed versions and the original ones show to be practical for common applications of Hashing. However, in the theoretical foundation of the work of Botelho, Kohayakawa e Ziviani (2005) a conjecture remained open. The present dissertation also proposes a proof for the conjecture and ends up the correctness of the scheme.171 p. : il. ; 30 cm.application/pdfDisponível em formato digitalAlgoritmos de computadorHashing (Computação)AlgoritmosTabelas e calculosCiencia da computaçãoEsquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaçoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - D - LEANDRO MIRANDA ZATESKO.pdfapplication/pdf967758https://acervodigital.ufpr.br/bitstream/1884/26904/1/R%20-%20D%20-%20LEANDRO%20MIRANDA%20ZATESKO.pdf39962e7253436eea132d4c304f776c4dMD51open access1884/269042018-06-15 14:16:55.697open accessoai:acervodigital.ufpr.br:1884/26904Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082018-06-15T17:16:55Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
title Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
spellingShingle Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
Zatesko, Leandro Miranda, 1988-
Algoritmos de computador
Hashing (Computação)
Algoritmos
Tabelas e calculos
Ciencia da computação
title_short Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
title_full Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
title_fullStr Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
title_full_unstemmed Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
title_sort Esquemas de hashing perfeitos, mínimos, práticos, determinísticos e eficientes em tempo e em espaço
author Zatesko, Leandro Miranda, 1988-
author_facet Zatesko, Leandro Miranda, 1988-
author_role author
dc.contributor.other.pt_BR.fl_str_mv Donadelli Júnior, Jair
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Zatesko, Leandro Miranda, 1988-
dc.subject.por.fl_str_mv Algoritmos de computador
Hashing (Computação)
Algoritmos
Tabelas e calculos
Ciencia da computação
topic Algoritmos de computador
Hashing (Computação)
Algoritmos
Tabelas e calculos
Ciencia da computação
description Orientador : Prof. Dr. Jair Donadelli Jr
publishDate 2011
dc.date.issued.fl_str_mv 2011
dc.date.accessioned.fl_str_mv 2018-06-15T17:16:55Z
dc.date.available.fl_str_mv 2018-06-15T17:16:55Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1884/26904
url http://hdl.handle.net/1884/26904
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 171 p. : il. ; 30 cm.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/26904/1/R%20-%20D%20-%20LEANDRO%20MIRANDA%20ZATESKO.pdf
bitstream.checksum.fl_str_mv 39962e7253436eea132d4c304f776c4d
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv
_version_ 1801860247817551872