sound algorithm
[/saʊnd ˈælɡərɪðəm/]
nounpl: sound algorithms
algoritmo correto/válido
1. An algorithm that is logically correct and produces valid results for all valid inputs; an algorithm whose logic is free from errors and guarantees correct output
The new sorting algorithm is sound and has been proven to work correctly for all test cases.
O novo algoritmo de ordenação é correto e foi comprovado funcionar adequadamente para todos os casos de teste.
2. In formal logic and computer science, an algorithm that only derives conclusions that are logically valid from its premises
The proof verification algorithm must be sound to ensure no invalid proofs are accepted.
O algoritmo de verificação de provas deve ser correto para garantir que nenhuma prova inválida seja aceita.
This is primarily a technical term used in computer science, mathematics, and software engineering contexts in both Brazil and the United States. It's essential terminology in academic computer science courses and professional software development environments, particularly when discussing algorithm verification and formal methods.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →