Complexity analysis of reactive graph grammars

The aim of this paper is to present a way to calculate a complexity measurement of graph grammar specifications of reactive systems. The basic operation that describe the behavior of a graph grammar is a rule application. Therefore, this operation will be used to characterize the tasks to be performed within a system. The complexity measurement defined here ,vill give us the minimum numbei:· of steps that must be present in a computation that performs a desir_ed task

A programacao dinamica : um caso particular da divisao e conquista

A Programação Dinâmica e a Divisão e Conquista são dois métodos de desenvolvimento de algoritmos. Todo problema que pode ser resolvido por 11malgoritmo desenvolvido por Programação Dinâmica pode também ser resolvido por um algoritmo desenvolvido por Divisão e Conquista.Dynarnic Programming and Divide and Conquer are algorithm deve lopment methods. All problems solved by an algorithm developed through Dynamic Programming can be solved also by an algorithm developed by the Divide and Conquer method

Cálculo da complexidade exata de algoritmos do tipo Divisão-e-Conquista via Maple

A equação de complexidade de um algoritmo recursivo pode ser expressa em termos de uma equação de recorrência. A partir destas equações obtém-se uma expressão assintótica para a complexidade, provada por indução. Neste trabalho, propõe-se um esquema de solução de equações de recorrência (lineares e do tipo divisão-e-conquista) resolvidas através do aplicativo matemático Maple, resultando em uma expressão algébrica exata para a complexidade. Desenvolveu-se um procedimento no Maple (bloco de comandos) para a solução destas equações de recorrência. O objetivo é obter uma forma geral de calcular a complexidade de um algoritmo desenvolvido pelo método Divisão-e-Conquista utilizando o aplicativo matemático Maple

Cálculo da complexidade exata de algoritmos do tipo Divisão-e-Conquista via Maple

A equação de complexidade de um algoritmo recursivo pode ser expressa em termos de uma equação de recorrência. A partir destas equações obtém-se uma expressão assintótica para a complexidade, provada por indução. Neste trabalho, propõe-se um esquema de solução de equações de recorrência (lineares e do tipo divisão-e-conquista) resolvidas através do aplicativo matemático Maple, resultando em uma expressão algébrica exata para a complexidade. Desenvolveu-se um procedimento no Maple (bloco de comandos) para a solução destas equações de recorrência. O objetivo é obter uma forma geral de calcular a complexidade de um algoritmo desenvolvido pelo método Divisão-e-Conquista utilizando o aplicativo matemático Maple