Direitos para esta edição cedidos à Atena Editora pelos autores. Open access publication by Atena Editora Todo o conteúdo deste livro está licenciado sob uma Licença de Atribuição Creative Commons. Atribuição-Não-Comercial-NãoDerivativos 4.0 Internacional (CC BY-NC-ND 4.0). O conteúdo dos artigos e seus dados em sua forma, correção e confiabilidade são de responsabilidade exclusiva dos autores, inclusive não representam necessariamente a posição oficial da Atena Editora. Permitido o download da obra e o compartilhamento desde que sejam atribuídos créditos aos autores, mas sem a possibilidade de alterá-la de nenhuma forma ou utilizá-la para fins comerciais.Todos os manuscritos foram previamente submetidos à avaliação cega pelos pares, membros do Conselho Editorial desta Editora, tendo sido aprovados para a publicação com base em critérios de neutralidade e imparcialidade acadêmica.A Atena Editora é comprometida em garantir a integridade editorial em todas as etapas do processo de publicação, evitando plágio, dados ou resultados fraudulentos e impedindo que interesses financeiros comprometam os padrões éticos da publicação. Situações suspeitas de má conduta científica serão investigadas sob o mais alto padrão de rigor acadêmico e ético.

Resumo: O problema da árvore geradora mínima com parâmetros fuzzy é um dos principais problemas da programação matemática fuzzy, visto que possui aplicações nas mais diversas áreas, como, por exemplo, redes de distribuição de energia, armazenamento de informações e transportes. Neste trabalho é proposto um algoritmo exato para o problema da árvore geradora mínima com estrutura crisp e parâmetros fuzzy. Trata-se de uma adaptação do algoritmo clássico de Prim, utilizando a relação de dominância de alguns trabalhos da literatura que tratam do problema de caminho mínimo fuzzy. As incertezas nos pesos são abordadas por meio da teoria dos conjuntos fuzzy e as árvores geradoras do conjunto solução são armazenadas usando o conceito de rótulos. O algoritmo proposto foi testado em três diferentes redes, compatíveis às instâncias dos principais trabalhos da literatura.

O conteúdo do livro e seus dados em sua forma, correção e confiabilidade são de responsabilidade exclusiva da autora. Permitido o download da obra e o compartilhamento desde que sejam atribuídos créditos a autora, mas sem a possibilidade de alterá-la de nenhuma forma ou utilizá-la para fins comerciais.

Este projeto tem por objetivo propor um método exato que, prova uma equivalência entre funções. As transformações em estudo são comprovadas por meio da indução matemática. Foi proposto um algoritmo que comprova a equivalência entre um conjunto de funções utilizando manipulação de strings. Para encontrar a igualdade entre funções são realizadas operações matemáticas sobre o números naturais, tais como: distributiva, associativa, comutativa e mínimo múltiplo comum. Como resultado, foram comprovadas as equivalências entre um conjunto de funções constante do banco de dados.

Direitos para esta edição cedidos à Atena Editora pelos autores. Open access publication by Atena Editora Todo o conteúdo deste livro está licenciado sob uma Licença de Atribuição Creative Commons. Atribuição-Não-Comercial-NãoDerivativos 4.0 Internacional (CC BY-NC-ND 4.0).