Força bruta e ignorância: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Albmont (discussão | contribs)
Versão inicial baseada no que eu sei, mas usando uma FF
 
Albmont (discussão | contribs)
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 ==
Por exemplo, oO [[problema do caixeiro viajante]], que consiste em, dado um conjunto de ''n'' pontos, determinar o menor caminho que passa por todos os pontos, admite uma solução trivial pelo método da ''força bruta e ignrância'', que consiste em calcular todos os ''n!'' caminhos (ou ''(n-1)!'', se a cidade inicial for fixada) e escolher o menor; mas este método é inviável conforme ''n'' cresce.<ref name="unsw.travelling.salesman">[[Rob Womersley]], ''Parabola Volume 37, Issue 2 (2001)''m ''The Travelling Salesman Problem and Computational Complexity'' [http://www.parabola.unsw.edu.au/vol37_no2/node1.html <nowiki>[em linha]</nowiki>]</ref>
 
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}}