Em certo sentido, 10! (dez fatorial) representa uma linha divisória aproximada entre coisas práticas para calcular e coisas que não são.
Isto é do livro de Algoritmos Fundamentais TAOCP de Knuth (1973). Essa declaração ainda é válida ou o poder de computação a tornou obsoleta?
computer-science
taocp
Bon Ami
fonte
fonte
Respostas:
Ainda é razoável.
10! = 3.628.880. Cada passo depois disso aumenta pelo menos uma ordem de magnitude.
Em breve, você estará falando sobre os números de gastos do Congresso.
fonte
Felizmente, o bom professor ainda está conosco e a melhor maneira de determinar uma resposta definitiva é escrevê-lo e pedir sua opinião.
Dito isto, não acho que o número absoluto seja tão importante quanto a função que os fatoriais representam. Quer Knuth tenha percebido ou não na época, o modelo que ele estabeleceu com essa afirmação funciona muito bem para olhar para trás, para o que era prático para calcular nas décadas anteriores e para os seguintes.
Em 1973, nossa capacidade de gerar, armazenar, transferir e processar dados era limitada o suficiente para produzir 10! uma figura "de ponta" razoável para se atirar. Duvido que Knuth (ou qualquer outra pessoa, nesse sentido) tivesse sido capaz de prever as melhorias exponenciais em quase tudo o que desfrutamos desde então, mas os fatoriais se ajustaram bem aos números reais.
Eu já vi isso em primeira mão: há uma década, trabalhei em um projeto em que estávamos desenvolvendo maneiras de armazenar e processar cerca de 50 milhões de registros e, ao mesmo tempo, ponderando como faríamos uma ordem de magnitude mais. Uma década depois, estou fazendo um projeto semelhante. Minhas figuras-alvo mudaram, tudo de maneira fatorial:
Os grupos que fazem os dois projetos fizeram bandas com números muito redondos do que aqueles, mas os fatoriais não estão muito distantes. Os Googles e os Facebooks do mundo têm os recursos para fazer o tipo de coisa que meu projeto atual apenas sonha, mas de onde estou,
13!
em uma década ou menos, não parece tão fora de alcance.Eu não estava pensando em grandes quantidades de dados em 1992, mas, em retrospectiva, diz que provavelmente estaria analisando tudo menos um fatorial.
fonte