Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal

• Laira V. de Toscani UFRGS / Universidade de Lisboa
• Paulo A. S. Veloso PUC/RJ

DOI: https://doi.org/10.5753/sbes.1989.25262

Resumo

Acercamento é um método de desenvolvimento de algoritmos aproximativos para uma classe de problemas de maximização, que satisfaz um dado requerimento de exatidão. A especificação formal apresentada utiliza tipos abstratos de dados.

Referências

HOROWITZ, E. & SAHNI, S. "Fundamentals of Computer Algorithms". Potomac, Md. Comp. Sci. Press 1978.

TOSCANI,L. V. & VELOSO, P. A. S. Uma Especificação Formal para a Programação Dinâmica. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 12., Porto Alegre,20-27/jul, 1985. Anais. Porto Alegre, SBC/CLEI/UFRGS, 1985. p. 477-86.

TOSCANI,L. V. & VELOSO,P.A.S. Divisão e Conquista: análise da complexidade. In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 13, Olinda, 19-25/jul.,1986. Anais. Recife SBC, 1986. p.89-104.

TOSCANI, L. V. MÉTODOS DE DESENVOLVIMENTO DE ALGORITMOS : ANÁLISE COMPARATIVA E DE COMPLEXIDADE Tese de doutorado. Rio de Janeiro, Depto. de Informática, Puc/RJ.1988.

VELOSO, P.A.S."Divide-and-Conquer via data types" In:LATIN AMERICAN CONFERENCE ON INFORMATICS, 7, Caracas, 1980. Proceedings.