Back to results

Brazil UFRGS

ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos

Abstract

dc:description.abstract

A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas.

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Barbosa, Marco Antonio de Castro
Advisor dc:contributor.advisor
  • Toscani, Laira Vieira

Subjects

dc:subject × 2

Rights

dc:rights
Statement dc:rights
  • Open Access
Language dc:language.iso
por

Identifiers

dc:identifier.*
Handle dc:identifier.uri
http://hdl.handle.net/10183/2827
OAI identifier oai:identifier
oai:www.lume.ufrgs.br:10183/2827

Chain of custody

source
Harvested from
Brazil UFRGS
Base URL
lume.ufrgs.br/oai/request
Last updated
2026-07-24
Source record
OAI-PMH GetRecord
citation

Barbosa, Marco Antonio de Castro. ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos. 2001. http://hdl.handle.net/10183/2827