Magia do Unix Spell: Funcionando em 64kB de RAM

Nos anos 70, o corretor ortográfico do Unix enfrentou um desafio incrível: ajustar um dicionário de 250kB em apenas 64kB de RAM em um computador PDP-11. A solução engenhosa de Douglas McIlroy envolveu uma abordagem em várias etapas. Inicialmente, um filtro de Bloom fornecia pesquisas rápidas, mas à medida que o dicionário crescia, ele desenvolveu um novo esquema de compactação hash. Ao reconhecer que as diferenças entre os códigos hash classificados seguiam uma distribuição geométrica e empregando a codificação de Golomb, ele atingiu limites de compactação quase teóricos. Finalmente, a partição dos dados compactados melhorou ainda mais a velocidade de pesquisa. Esta história é uma aula magistral em otimização restrita, mostrando como algoritmos inteligentes podem superar limitações aparentemente impossíveis.