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

Abstract


Rounding is a method for the development of approximative algorithms to a class of maximization problems that satisfies a given accuracy requirement. The method is formally specified through abstract data types.

References

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.
Published
1989-10-25
How to Cite

Select a Format
TOSCANI, Laira V. de; VELOSO, Paulo A. S.. Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 3. , 1989, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1989 . p. 228-238. ISSN 2833-0633. DOI: https://doi.org/10.5753/sbes.1989.25262.