Algoritmos certificadores para problemas clássicos em grafos

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorROCHA, DANILO ARTIGAS DA-
Autor(es): dc.contributorANDRADE, MARCOS RIBEIRO QUINET DE-
Autor(es): dc.contributorSILVA, ANDRÉ RENATO VILLELA DA-
Autor(es): dc.contributorRocha , Danilo Artigas da-
Autor(es): dc.contributorAndrade, Marcos Ribeiro Quinet de-
Autor(es): dc.contributorSilva, André Renato Villela da-
Autor(es): dc.creatorCarreira, Paulo Sérgio Alves-
Data de aceite: dc.date.accessioned2024-07-11T17:55:09Z-
Data de disponibilização: dc.date.available2024-07-11T17:55:09Z-
Data de envio: dc.date.issued2023-10-11-
Data de envio: dc.date.issued2023-10-11-
Data de envio: dc.date.issued2018-
Fonte completa do material: dc.identifierhttp://app.uff.br/riuff/handle/1/30789-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/760087-
Descrição: dc.descriptionUm Algoritmo Certificador é um algoritmo que produz, para cada saída, um certificado para esta. O usuário, de posse do certificado e da resposta do algoritmo, pode verificar se a resposta está correta. A finalidade do desenvolvimento de algoritmos certificadores é oferecer ao usuário a possibilidade de conferir a saída e, consequentemente, detectar se há ou não algum bug de implementação no programa. Dessa forma, ele não precisará confiar “cegamente” que o programa está correto, o que torna a saída mais confiável para uso posterior. A necessidade de algoritmos com saídas mais confiáveis e testes de software mais eficazes motiva o estudo mais detalhado desse tipo de algoritmo, que ainda não foi intensamente estudado na Computação. Neste trabalho, estudamos e desenvolvemos algoritmos certificadores para problemas clássicos de Convexidade em Grafos. Certificar tais algoritmos clássicos estabelece um grande passo para o estudo de certificados mais convincentes e de novos algoritmos certificadores-
Descrição: dc.descriptionA Certifying Algorithm is an algorithm that produces, for each output, a certificate for it. The user, in ownership of the certificate and the response of the algorithm, can verify if the answer is correct. The purpose of the development of certifying algorithms is to offer the user the possibility to check the output and, consequently, to detect if there is some implementation bug in the program, or not. Therefore, the user does not have to trust "blindly" that the program is correct which makes the output more reliable for later use. The need of algorithms with more reliable outputs and more effective software testing motivates further studies of this type of algorithm that has not been deeply studied in Computing yet. The approach taken in this work is around classical problems such as those of minimum paths in a simple graph. Certifying such classical algorithms sets a major step towards the study of more convincing certificates and new certifying algorithms-
Descrição: dc.description56 p.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherRio das Ostras-
Direitos: dc.rightsOpen Access-
Direitos: dc.rightshttp://creativecommons.org/licenses/by-nc-nd/3.0/br/-
Direitos: dc.rightsCC-BY-SA-
Palavras-chave: dc.subjectAlgoritmos certificadores-
Palavras-chave: dc.subjectCaminhos mínimos-
Palavras-chave: dc.subjectCaminhos induzidos-
Palavras-chave: dc.subjectConvexidade geodésica-
Palavras-chave: dc.subjectConvexidade monofônica.-
Palavras-chave: dc.subjectCiência da Computação-
Palavras-chave: dc.subjectAlgoritmo computacional-
Palavras-chave: dc.subjectConvexidade-
Palavras-chave: dc.subjectCertifying Algorithms-
Palavras-chave: dc.subjectMinimal Paths-
Palavras-chave: dc.subjectInduced Paths-
Palavras-chave: dc.subjectGeodetic-
Palavras-chave: dc.subjectMonophonic-
Título: dc.titleAlgoritmos certificadores para problemas clássicos em grafos-
Tipo de arquivo: dc.typeTrabalho de conclusão de curso-
Aparece nas coleções:Repositório Institucional da Universidade Federal Fluminense - RiUFF

Não existem arquivos associados a este item.