Testabilidade de propriedades de estruturas discretas

Detalhes bibliográficos
Autor(a) principal: Calegari, Rafael
Data de Publicação: 2022
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
Texto Completo: http://hdl.handle.net/10183/253478
Resumo: Diante de instâncias intratáveis de problemas de decisão, assim en- tendidas como entradas para os respectivos algoritmos que sejam tão longas, que não permitem que se assegure o processamento de tal algoritmo sobre a dada cadeia num tempo aceitável por um computador real, uma das estratégias co- mumente empregadas consiste em aceitarmos uma probabilidade de erro numa margem tolerável em troca de garantia de execução assintoticamente mais rápida ou menos dependente de armazenamento de informação, seja no pior caso, seja no caso médio. Nesta linha, encontram-se as técnicas de testabilidade de propri- edades de estruturas discretas. Neste trabalho, busca-se apresentar modelos de testabilidade estudados na literatura e contribuir com o aprofundamento e sis- tematização de determinada abordagem do estudo da testabilidade de algumas destas estruturas discretas sob a ótica de uma teoria de isomorfismos.
id URGS_a6d93c1cd91fd63983d296ccdef5208b
oai_identifier_str oai:www.lume.ufrgs.br:10183/253478
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str 1853
spelling Calegari, RafaelHoppen, Carlos2023-01-06T05:01:57Z2022http://hdl.handle.net/10183/253478001159603Diante de instâncias intratáveis de problemas de decisão, assim en- tendidas como entradas para os respectivos algoritmos que sejam tão longas, que não permitem que se assegure o processamento de tal algoritmo sobre a dada cadeia num tempo aceitável por um computador real, uma das estratégias co- mumente empregadas consiste em aceitarmos uma probabilidade de erro numa margem tolerável em troca de garantia de execução assintoticamente mais rápida ou menos dependente de armazenamento de informação, seja no pior caso, seja no caso médio. Nesta linha, encontram-se as técnicas de testabilidade de propri- edades de estruturas discretas. Neste trabalho, busca-se apresentar modelos de testabilidade estudados na literatura e contribuir com o aprofundamento e sis- tematização de determinada abordagem do estudo da testabilidade de algumas destas estruturas discretas sob a ótica de uma teoria de isomorfismos.In face of intractable instances of decision problems, so understood as entries for the respective algorithms that are so long that do not enable to en- sure the processing of such algorithm on the given chain in an acceptable time by a real computer, one of the commonly employed strategies consists in accepting a probability of error in a tolerable margin in exchange of an asymptotically faster performance guarantee, or less dependent on the storage of information, whether in the worst case or in the average case. In this line, are found the techniques of testability of properties of discrete structures. In this work, it is sought to present models of testability studied in the literature and contribute with the deepening and systematization of certain approach of the study of testability of some of these discrete structures under the perspective of a theory of isomorphisms.application/pdfporMatemática discretaGrafosEstruturas discretasAlgoritmosTestabilidade de propriedades de estruturas discretasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de Matemática e EstatísticaPrograma de Pós-Graduação em Matemática AplicadaPorto Alegre, BR-RS2022mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001159603.pdf.txt001159603.pdf.txtExtracted Texttext/plain202486http://www.lume.ufrgs.br/bitstream/10183/253478/2/001159603.pdf.txtd546b91cf225d9ccdd6e246bd39b5629MD52ORIGINAL001159603.pdfTexto completoapplication/pdf537659http://www.lume.ufrgs.br/bitstream/10183/253478/1/001159603.pdfb1a698d9b8b7623dd946b182cdbac657MD5110183/2534782023-01-07 06:16:21.811832oai:www.lume.ufrgs.br:10183/253478Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532023-01-07T08:16:21Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Testabilidade de propriedades de estruturas discretas
title Testabilidade de propriedades de estruturas discretas
spellingShingle Testabilidade de propriedades de estruturas discretas
Calegari, Rafael
Matemática discreta
Grafos
Estruturas discretas
Algoritmos
title_short Testabilidade de propriedades de estruturas discretas
title_full Testabilidade de propriedades de estruturas discretas
title_fullStr Testabilidade de propriedades de estruturas discretas
title_full_unstemmed Testabilidade de propriedades de estruturas discretas
title_sort Testabilidade de propriedades de estruturas discretas
author Calegari, Rafael
author_facet Calegari, Rafael
author_role author
dc.contributor.author.fl_str_mv Calegari, Rafael
dc.contributor.advisor1.fl_str_mv Hoppen, Carlos
contributor_str_mv Hoppen, Carlos
dc.subject.por.fl_str_mv Matemática discreta
Grafos
Estruturas discretas
Algoritmos
topic Matemática discreta
Grafos
Estruturas discretas
Algoritmos
description Diante de instâncias intratáveis de problemas de decisão, assim en- tendidas como entradas para os respectivos algoritmos que sejam tão longas, que não permitem que se assegure o processamento de tal algoritmo sobre a dada cadeia num tempo aceitável por um computador real, uma das estratégias co- mumente empregadas consiste em aceitarmos uma probabilidade de erro numa margem tolerável em troca de garantia de execução assintoticamente mais rápida ou menos dependente de armazenamento de informação, seja no pior caso, seja no caso médio. Nesta linha, encontram-se as técnicas de testabilidade de propri- edades de estruturas discretas. Neste trabalho, busca-se apresentar modelos de testabilidade estudados na literatura e contribuir com o aprofundamento e sis- tematização de determinada abordagem do estudo da testabilidade de algumas destas estruturas discretas sob a ótica de uma teoria de isomorfismos.
publishDate 2022
dc.date.issued.fl_str_mv 2022
dc.date.accessioned.fl_str_mv 2023-01-06T05:01:57Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/253478
dc.identifier.nrb.pt_BR.fl_str_mv 001159603
url http://hdl.handle.net/10183/253478
identifier_str_mv 001159603
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/253478/2/001159603.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/253478/1/001159603.pdf
bitstream.checksum.fl_str_mv d546b91cf225d9ccdd6e246bd39b5629
b1a698d9b8b7623dd946b182cdbac657
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810085606090342400

Registros relacionados