Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada

Detalhes bibliográficos
Autor(a) principal: Parreira, Anderson Delcio
Data de Publicação: 1995
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1582918
Resumo: Orientador: Marcus Vinicius Soledade Poggi de Aragão
id UNICAMP-30_1a026010329c418f79761618864db2c5
oai_identifier_str oai::97343
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderadaOtimização combinatóriaProgramação não-linearOrientador: Marcus Vinicius Soledade Poggi de AragãoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: Este trabalho tem como tema central a proposta de um método de resolução eficiente do Problema de Máxima Satisfatibilidade Ponderada. Esta proposta tem sua motivação em uma classe de instâncias deste problema que pode ser resolvida em tempo polinomial. A classe de interesse neste trabalho é a das instâncias cujo grafo de co-ocorrência associado é uma k-árvore. O algoritmo capaz de resolve-lo em tempo linear é um método algébrico conhecido como Algoritmo Fundamental de Hammer, Rosenberg e Rudeanu em sua versão modificada proposta por Crama, Hansen e laumard. A abordagem deste trabalho está na utilização de métodos enumerativos, branch & bound como são mais frequentemente citados, de modo a transformar instâncias gerais em instâncias pertencentes à classe de interesse. Deste modo, tanto a enumeração como a resolução algébrica podem ter suas tarefas simplificadas. Três estratégias para esta combinação algébrico-enumerativa foram propostas e implementadas. Os algoritmos resultantes foram extensivamente testados em diferentes conjuntos de instâncias, sendo seus resultados comparados com implementações dos algoritmos puramente algébrico e puramente enumerativo. Esse trabalho apresenta também uma generalização dos limites superiores propostos por Hansen para programação não-linear 0-1 para o caso em que variáveis complementadas são incorporadas aos termos. Esses limites além de integrados ao método proposto, foram implementados e testados individualmenteAbstract: The proposal of an efficient resolution on method for the Maximum Satisfiability Problem is the object of this work. The motivation for this proposal relies on a special class of instances that can be solved by a linear time algorithm. This class is the one for which the co-occurrence graph associated to the instance is a partial k-tree. It was shown by Crama, Hansen and Jaumard how the Basic Algorithm of Hammer, Rosenberg and Rudeanu, an algebraic method, an solve these instances in linear time. The approach here proposed consists in applying an enumerative method to derive from any general instance several linear time instances that constitute a partition of the solution space. This allows the enumerative and the algebraic approaches to have their tasks simplified. Three strategies of this algebraic-enumerative combination where proposed and implemented. The resulting algorithm where tested on several different data sets. The results where compared with both algebraic and enumerative pure approaches. This work also generalizes Hansen's upper bounds and penalties for non-linear 0-1 programming to the case where complemented and uncomplement variables appear in the product terms. These where also implemented, tested and incorporated to the combined codesMestradoMestre em Ciência da Computação[s.n.]Aragão, Marcus Vinicius Soledade Poggi de, 1959-Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASParreira, Anderson Delcio19951995-08-10T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf108f. : il.https://hdl.handle.net/20.500.12733/1582918PARREIRA, Anderson Delcio. Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada. 1995. 108f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1582918. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/97343porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T05:54:27Zoai::97343Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T05:54:27Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
title Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
spellingShingle Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
Parreira, Anderson Delcio
Otimização combinatória
Programação não-linear
title_short Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
title_full Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
title_fullStr Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
title_full_unstemmed Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
title_sort Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada
author Parreira, Anderson Delcio
author_facet Parreira, Anderson Delcio
author_role author
dc.contributor.none.fl_str_mv Aragão, Marcus Vinicius Soledade Poggi de, 1959-
Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Parreira, Anderson Delcio
dc.subject.por.fl_str_mv Otimização combinatória
Programação não-linear
topic Otimização combinatória
Programação não-linear
description Orientador: Marcus Vinicius Soledade Poggi de Aragão
publishDate 1995
dc.date.none.fl_str_mv 1995
1995-08-10T00:00:00Z
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 https://hdl.handle.net/20.500.12733/1582918
PARREIRA, Anderson Delcio. Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada. 1995. 108f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1582918. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1582918
identifier_str_mv PARREIRA, Anderson Delcio. Metodos algebrico-enumerativos para o problema de maxima satisfatibilidade ponderada. 1995. 108f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1582918. Acesso em: 2 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/97343
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
108f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188780162154496

Registros relacionados