Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | ROCHA, DANILO ARTIGAS DA | - |
Autor(es): dc.contributor | ANDRADE, MARCOS RIBEIRO QUINET DE | - |
Autor(es): dc.contributor | SILVA, ANDRÉ RENATO VILLELA DA | - |
Autor(es): dc.contributor | Rocha , Danilo Artigas da | - |
Autor(es): dc.contributor | Andrade, Marcos Ribeiro Quinet de | - |
Autor(es): dc.contributor | Silva, André Renato Villela da | - |
Autor(es): dc.creator | Carreira, Paulo Sérgio Alves | - |
Data de aceite: dc.date.accessioned | 2024-07-11T17:55:09Z | - |
Data de disponibilização: dc.date.available | 2024-07-11T17:55:09Z | - |
Data de envio: dc.date.issued | 2023-10-11 | - |
Data de envio: dc.date.issued | 2023-10-11 | - |
Data de envio: dc.date.issued | 2018 | - |
Fonte completa do material: dc.identifier | http://app.uff.br/riuff/handle/1/30789 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/760087 | - |
Descrição: dc.description | Um 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.description | A 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.description | 56 p. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Rio das Ostras | - |
Direitos: dc.rights | Open Access | - |
Direitos: dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/br/ | - |
Direitos: dc.rights | CC-BY-SA | - |
Palavras-chave: dc.subject | Algoritmos certificadores | - |
Palavras-chave: dc.subject | Caminhos mínimos | - |
Palavras-chave: dc.subject | Caminhos induzidos | - |
Palavras-chave: dc.subject | Convexidade geodésica | - |
Palavras-chave: dc.subject | Convexidade monofônica. | - |
Palavras-chave: dc.subject | Ciência da Computação | - |
Palavras-chave: dc.subject | Algoritmo computacional | - |
Palavras-chave: dc.subject | Convexidade | - |
Palavras-chave: dc.subject | Certifying Algorithms | - |
Palavras-chave: dc.subject | Minimal Paths | - |
Palavras-chave: dc.subject | Induced Paths | - |
Palavras-chave: dc.subject | Geodetic | - |
Palavras-chave: dc.subject | Monophonic | - |
Título: dc.title | Algoritmos certificadores para problemas clássicos em grafos | - |
Tipo de arquivo: dc.type | Trabalho de conclusão de curso | - |
Aparece nas coleções: | Repositório Institucional da Universidade Federal Fluminense - RiUFF |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: