Força bruta e ignorância: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Versão inicial baseada no que eu sei, mas usando uma FF |
Mais duas refs |
||
Linha 1:
'''Força bruta e ignorância''', em [[matemática]], é o método que consiste em provar algum teorema (ou apresentar algum [[contra-exemplo]]) pelo método exaustivo de calcular cada caso possível. Algumas vezes abreviado, em inglês, como '''BFI''' (de ''brute force and ignorance'').<ref name="stopple.exercises">[[Jeffrey Stopple]], ''A Primer of Analytic Number Theory: from Pythagoras to Riemann'', ''Exercises on binary quadratic forms'' [http://www.math.ucsb.edu/~stopple/BQF.exercises.pdf <nowiki>[em linha]</nowiki>]</ref>
== Exemplos ==
O [[procedimento de Chien]] (''Chien search''), que determina as raízes de polinômios em [[corpo finito|corpos finitos]], é um método de exaustão, ou seja, força bruta e ignorância.<ref name="rs1">[[Joel Sylvester]], ''Reed Salomon Codes'', ''Finding the error polynomial roots - Chien search'' [http://www.csupomona.edu/~jskang/files/rs1.pdf <nowiki>[em linha]</nowiki>]</ref>
{{referências}}
|