Connected and Disconnected Matchings

Detalhes bibliográficos
Autor(a) principal: Masquio, Bruno Porto
Data de Publicação: 2022
Outros Autores: brunomasquio@gmail.com
Tipo de documento: Tese
Idioma: eng
Título da fonte: Biblioteca Digital de Teses e Dissertações da UERJ
Texto Completo: http://www.bdtd.uerj.br/handle/1/20424
Resumo: Matching problems in graphs have been studied for a long time, achieving important results in both theoretical and practical aspects. Over the decades, many variations of matching problems were studied. Some of them can be solved in polynomial time, while others can not, unless P = NP. In this thesis, we briefly present the history of matchings and a survey of some of its variations along with its state of the art. We also give results on one of these variations: P-matchings. A matching M is a P- matching if the subgraph induced by the endpoints of the edges of M satisfies property P. As examples, for appropriate choices of P, the problems Induced Matching, Uniquely Restricted Matching, Acyclic Matching, Connected Matching and Disconnected Matching arise. For many of these problems, finding a maximum P-matching is a knowingly NP-hard problem. Two exceptions, that are the focus of this thesis, are connected matchings and disconnected matchings, where P is that the graph is connected and disconnected, respectively. While we can obtain a maximum connected matching in polynomial time, the complexity of finding a maximum disconnected matching was still unknown, though asked since 2005 by Goddard, Hedetniemi, Hedetniemi, and Laskar [Generalized subgraph-restricted matchings in graphs, Discrete Mathematics, 293 (2005) 129 – 138]. In this thesis, we answer this question. In fact, we consider the generalized problem of finding c-disconnected matchings; such matchings are ones whose vertex sets induce subgraphs with at least c connected components. We show that, for every fixed c ≥ 2, this problem is NP-complete even if we restrict the input to bounded diameter bipartite graphs, while can be solved in polynomial time if c = 1. For the case when c is part of the input, we show that the problem is NP-complete for chordal graphs and bounded degree graphs while being solvable in polynomial time for interval graphs. Then, we explore the parameterized complexity of the problem. We present an FPT algorithm under the treewidth parameterization, and an XP algorithm for graphs with a polynomial number of minimal separators when parameterized by c. We complement these results by showing that, unless NP ⊆ coNP=poly, the related Induced Matching problem does not admit a polynomial kernel when parameterized by vertex cover and size of the matching nor when parameterized by vertex deletion distance to clique and size of the matching. As for connected matchings, we give a linear-time algorithm for finding a maximum connected matching if a maximum matching is given. So, we turn our attention to a generalization of connected matchings that considers edge-weighted graphs and whose problem we name Maximum Weight Connected Matching. This problem is motivated by the usual Maximum Weight Matching, studied for decades, and with many applications, including the well-known Assignment problem. Besides, some other P-matchings, such as acyclic matchings and induced matchings, were also considered under weighted graphs before. In Maximum Weight Connected Matching, we want to find a matching M such that the endpoints of its edges induce a connected subgraph and the sum of the edge weights of M is maximum. Unlike the unweighted Connected Matching problem, which can be solved in polynomial time for general graphs, we show that Maximum Weight Connected Matching is NP-hard even for bounded diameter bipartite graphs, starlike graphs, planar bipartite graphs, and subcubic planar graphs, while solvable in linear time for trees and graphs having a degree at most two. When we restrict edge weights to be non-negative only, we show that the problem turns out to be polynomially solvable for chordal graphs, while it remains NP-hard for most of the other cases. We also consider the parameterized complexity of Maximum Weight Connected Matching. On the positive side, we present a single exponential time algorithm when parameterized by treewidth. As for kernelization, we show that, even when restricted to binary weights, its decision problem, Weighted Connected Matching, does not admit a polynomial kernel when parameterized by vertex cover number under standard complexity-theoretical hypotheses.
id UERJ_5c9aeeed1a4116155b714cd788421a46
oai_identifier_str oai:www.bdtd.uerj.br:1/20424
network_acronym_str UERJ
network_name_str Biblioteca Digital de Teses e Dissertações da UERJ
repository_id_str 2903
spelling Pinto, Paulo Eustáquio DuarteSzwarcfiter, Jayme LuizFaria, LuerbioGomes, Guilherme de Castro MendesKlein, SulamitaOliveira, Fabiano de SouzaSantos, Vinicius Fernandes doshttp://lattes.cnpq.br/1472143791254334Masquio, Bruno Portobrunomasquio@gmail.com2023-10-05T15:25:44Z2022-11-18MASQUIO, Bruno Porto. Connected and Disconnected Matchings. 2022. 102 f. Tese (Doutorado em Ciências Computacionais) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2022.http://www.bdtd.uerj.br/handle/1/20424Matching problems in graphs have been studied for a long time, achieving important results in both theoretical and practical aspects. Over the decades, many variations of matching problems were studied. Some of them can be solved in polynomial time, while others can not, unless P = NP. In this thesis, we briefly present the history of matchings and a survey of some of its variations along with its state of the art. We also give results on one of these variations: P-matchings. A matching M is a P- matching if the subgraph induced by the endpoints of the edges of M satisfies property P. As examples, for appropriate choices of P, the problems Induced Matching, Uniquely Restricted Matching, Acyclic Matching, Connected Matching and Disconnected Matching arise. For many of these problems, finding a maximum P-matching is a knowingly NP-hard problem. Two exceptions, that are the focus of this thesis, are connected matchings and disconnected matchings, where P is that the graph is connected and disconnected, respectively. While we can obtain a maximum connected matching in polynomial time, the complexity of finding a maximum disconnected matching was still unknown, though asked since 2005 by Goddard, Hedetniemi, Hedetniemi, and Laskar [Generalized subgraph-restricted matchings in graphs, Discrete Mathematics, 293 (2005) 129 – 138]. In this thesis, we answer this question. In fact, we consider the generalized problem of finding c-disconnected matchings; such matchings are ones whose vertex sets induce subgraphs with at least c connected components. We show that, for every fixed c ≥ 2, this problem is NP-complete even if we restrict the input to bounded diameter bipartite graphs, while can be solved in polynomial time if c = 1. For the case when c is part of the input, we show that the problem is NP-complete for chordal graphs and bounded degree graphs while being solvable in polynomial time for interval graphs. Then, we explore the parameterized complexity of the problem. We present an FPT algorithm under the treewidth parameterization, and an XP algorithm for graphs with a polynomial number of minimal separators when parameterized by c. We complement these results by showing that, unless NP ⊆ coNP=poly, the related Induced Matching problem does not admit a polynomial kernel when parameterized by vertex cover and size of the matching nor when parameterized by vertex deletion distance to clique and size of the matching. As for connected matchings, we give a linear-time algorithm for finding a maximum connected matching if a maximum matching is given. So, we turn our attention to a generalization of connected matchings that considers edge-weighted graphs and whose problem we name Maximum Weight Connected Matching. This problem is motivated by the usual Maximum Weight Matching, studied for decades, and with many applications, including the well-known Assignment problem. Besides, some other P-matchings, such as acyclic matchings and induced matchings, were also considered under weighted graphs before. In Maximum Weight Connected Matching, we want to find a matching M such that the endpoints of its edges induce a connected subgraph and the sum of the edge weights of M is maximum. Unlike the unweighted Connected Matching problem, which can be solved in polynomial time for general graphs, we show that Maximum Weight Connected Matching is NP-hard even for bounded diameter bipartite graphs, starlike graphs, planar bipartite graphs, and subcubic planar graphs, while solvable in linear time for trees and graphs having a degree at most two. When we restrict edge weights to be non-negative only, we show that the problem turns out to be polynomially solvable for chordal graphs, while it remains NP-hard for most of the other cases. We also consider the parameterized complexity of Maximum Weight Connected Matching. On the positive side, we present a single exponential time algorithm when parameterized by treewidth. As for kernelization, we show that, even when restricted to binary weights, its decision problem, Weighted Connected Matching, does not admit a polynomial kernel when parameterized by vertex cover number under standard complexity-theoretical hypotheses.Problemas de emparelhamentos em grafos vêm sendo estudados há muito tempo, tendo importantes resultados tanto teóricos quanto práticos. Ao longo das décadas, variações de problemas de emparelhamentos foram estudadas. Algumas dessas podem ser resolvidas em tempo polinomial, enquanto outras não, a menos que P = NP. Nesta tese, apresentamos brevemente a história dos emparelhamentos e algumas de suas variações, juntamente com seu estado da arte. Também apresentamos resultados em uma dessas variações: P-emparelhamentos. Um emparelhamento M é um P-emparelhamento se o subgrafo induzido pelas extremidades das arestas de M satisfaz a propriedade P. Como exemplos, para escolhas apropriadas de P, os problemas Emparelhamento Induzido, Emparelhamento Unicamente Restrito, Emparelhamento Acíclico, Emparelhamento Conexo e Emparelhamento Desconexo surgem. Para muitos desses problemas, sabe-se que encontrar um P-emparelhamento de cardinalidade máxima é um problema NP-difícil. Duas exceções, que são foco desta tese, são emparelhamentos conexos e emparelhamentos desconexos, em que a propriedade P é que o subgrafo induzido pelo emparelhamento seja conexo ou desconexo, respectivamente. Enquanto podemos obter um emparelhamento conexo máximo em tempo polinomial, a complexidade de encontrar um emparelhamento desconexo máximo ainda era desconhecida, apesar de perguntada em 2005 por Goddard, Hedetniemi, Hedetniemi e Laskar [Generalized subgraph-restricted matchings in graphs, Discrete Mathematics, 293 (2005) 129 – 138]. Nesta tese, respondemos essa pergunta. De fato, consideramos o problema de forma generalizada, em que deseja-se encontrar c-emparelhamentos desconexos; para tais emparelhamentos, os subgrafos induzidos pelos seus conjuntos de vértices devem possuir pelo menos c componentes conexas. Mostramos que, para todo c ≥ 2 fixo, esse problema é NP-completo mesmo se restringirmos a entrada para grafos bipartidos de diâmetro limitado, enquanto que pode ser resolvido em tempo polinomial para c = 1. Para o caso em que c é parte da entrada, mostramos que o problema é NP-completo para grafos cordais e grafos com grau limitado, podendo ser resolvido em tempo polinomial para grafos de intervalo. Exploramos, também, a complexidade parametrizada do problema. Apresentamos um algoritmo FPT para o parâmetro treewidth e um algoritmo XP para grafos com um número polinomial de separadores minimais quando parametrizado por c. Complementamos esses resultados mostrando que, a menos que NP ⊆ coNP=poly, o problema relacionado Emparelhamento Induzido não admite kernel polinomial quando parametrizado pela cobertura de vértices e pelo tamanho do emparelhamento, nem quando parametrizamos pela distância para clique e tamanho do emparelhamento. Para emparelhamentos conexos, apresentamos um algoritmo de tempo linear para encontrar emparelhamentos conexos máximos e um emparelhamento máximo é dado na entrada. Então, voltamos nossa atenção para uma generalização de emparelhamentos conexos que considera grafos ponderados em arestas e cujo problema chamamos de Emparelhamento Conexo Ponderado Máximo. Esse problema foi motivado pelo problema clássico Emparelhamento Ponderado Máximo, estudado há décadas, e com várias aplicações, incluindo o problema bem conhecido Atribuição. Além disso, alguns outros P-emparelhamentos, tais como acíclicos e induzidos, também já foram considerados para grafos ponderados. No Emparelhamento Conexo Ponderado Máximo, queremos encontrar um emparelhamento M tal que as extremidades das suas arestas induzem um subgrafo conexo e a soma dos pesos das arestas de M é máxima. Ao contrário do problema não ponderado Emparelhamento Conexo, que pode ser resolvido em tempo polinomial para grafos gerais, mostramos que Emparelhamento Conexo Ponderado Máximo é NP-difícil mesmo para grafos bipartidos de diâmetro limitado, grafos starlike, grafos planares bipartidos e grafos subcúbicos planares, enquanto pode ser resolvido em tempo linear para árvores e grafos com grau máximo dois. Quando restringimos as arestas para terem pesos somente não negativos, mostramos que o problema pode ser resolvido em tempo polinomial para grafos cordais, enquanto que continua NP-difícil para a maior parte dos casos. Também estudamos a complexidade parametrizada do Emparelhamento Conexo Ponderado Máximo. Como resultados positivos, apresentamos um algoritmo de tempo exponencial parametrizado pela treewidth. Em relação a kernelização, mostramos que, quando restringimos os pesos a valores binários, o seu problema de decisão, Emparelhamento Conexo Ponderado, não admite kernel polinomial quando parametrizado pelo tamanho da cobertura de vértices sob hipóteses teóricas de complexidade padrão.Submitted by Bárbara CTC/A (babalusotnas@gmail.com) on 2023-10-05T15:25:44Z No. of bitstreams: 1 Tese - Bruno Porto M asquio - 2022 - Completa.pdf.pdf: 1684737 bytes, checksum: 32e776e5efeb482d756e719f94c39721 (MD5)Made available in DSpace on 2023-10-05T15:25:44Z (GMT). No. of bitstreams: 1 Tese - Bruno Porto M asquio - 2022 - Completa.pdf.pdf: 1684737 bytes, checksum: 32e776e5efeb482d756e719f94c39721 (MD5) Previous issue date: 2022-11-18application/pdfengUniversidade do Estado do Rio de JaneiroPrograma de Pós-Graduação em Ciências ComputacionaisUERJBrasilCentro de Tecnologia e Ciências::Instituto de Matemática e EstatísticaAlgorithmsComplexityMatchingChordal graphsDisconnected MatchingConnected MatchingGrafos - TeoriaAlgoritmosComplexidadeEmparelhamentoGrafos bipartidosGrafos cordaisEmparelhamento DesconexoEmparelhamento ConexoBipartite graphsCIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAOConnected and Disconnected MatchingsEmparelhamentos Conexos e Desconexosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UERJinstname:Universidade do Estado do Rio de Janeiro (UERJ)instacron:UERJORIGINALTese - Bruno Porto Masquio - 2022 - Completa.pdfTese - Bruno Porto Masquio - 2022 - Completa.pdfapplication/pdf1684737http://www.bdtd.uerj.br/bitstream/1/20424/2/Tese+-+Bruno+Porto+Masquio+-+2022+-+Completa.pdf32e776e5efeb482d756e719f94c39721MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-82123http://www.bdtd.uerj.br/bitstream/1/20424/1/license.txte5502652da718045d7fcd832b79fca29MD511/204242024-02-27 14:34:49.779oai:www.bdtd.uerj.br:1/20424Tk9UQTogTElDRU7Dh0EgUkVERSBTSVJJVVMKRXN0YSBsaWNlbsOnYSBkZSBleGVtcGxvIMOpIGZvcm5lY2lkYSBhcGVuYXMgcGFyYSBmaW5zIGluZm9ybWF0aXZvcy4KCkxJQ0VOw4dBIERFIERJU1RSSUJVScOHw4NPIE7Dg08tRVhDTFVTSVZBCgpDb20gYSBhcHJlc2VudGHDp8OjbyBkZXN0YSBsaWNlbsOnYSwgdm9jw6ogKG8gYXV0b3IgKGVzKSBvdSBvIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yKSBjb25jZWRlIMOgIFVuaXZlcnNpZGFkZSAKZG8gRXN0YWRvIGRvIFJpbyBkZSBKYW5laXJvIChVRVJKKSBvIGRpcmVpdG8gbsOjby1leGNsdXNpdm8gZGUgcmVwcm9kdXppciwgIHRyYWR1emlyIChjb25mb3JtZSBkZWZpbmlkbyBhYmFpeG8pLCBlL291IApkaXN0cmlidWlyIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyAoaW5jbHVpbmRvIG8gcmVzdW1vKSBwb3IgdG9kbyBvIG11bmRvIG5vIGZvcm1hdG8gaW1wcmVzc28gZSBlbGV0csO0bmljbyBlIAplbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8gb3MgZm9ybWF0b3Mgw6F1ZGlvIG91IHbDrWRlby4KClZvY8OqIGNvbmNvcmRhIHF1ZSBhIFVFUkogcG9kZSwgc2VtIGFsdGVyYXIgbyBjb250ZcO6ZG8sIHRyYW5zcG9yIGEgc3VhIHRlc2Ugb3UgZGlzc2VydGHDp8OjbyAKcGFyYSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gcGFyYSBmaW5zIGRlIHByZXNlcnZhw6fDo28uCgpWb2PDqiB0YW1iw6ltIGNvbmNvcmRhIHF1ZSBhIFVFUkogcG9kZSBtYW50ZXIgbWFpcyBkZSB1bWEgY8OzcGlhIGEgc3VhIHRlc2Ugb3UgCmRpc3NlcnRhw6fDo28gcGFyYSBmaW5zIGRlIHNlZ3VyYW7Dp2EsIGJhY2stdXAgZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogZGVjbGFyYSBxdWUgYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIMOpIG9yaWdpbmFsIGUgcXVlIHZvY8OqIHRlbSBvIHBvZGVyIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIApuZXN0YSBsaWNlbsOnYS4gVm9jw6ogdGFtYsOpbSBkZWNsYXJhIHF1ZSBvIGRlcMOzc2l0byBkYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIG7Do28sIHF1ZSBzZWphIGRlIHNldSAKY29uaGVjaW1lbnRvLCBpbmZyaW5nZSBkaXJlaXRvcyBhdXRvcmFpcyBkZSBuaW5ndcOpbS4KCkNhc28gYSBzdWEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvIGNvbnRlbmhhIG1hdGVyaWFsIHF1ZSB2b2PDqiBuw6NvIHBvc3N1aSBhIHRpdHVsYXJpZGFkZSBkb3MgZGlyZWl0b3MgYXV0b3JhaXMsIHZvY8OqIApkZWNsYXJhIHF1ZSBvYnRldmUgYSBwZXJtaXNzw6NvIGlycmVzdHJpdGEgZG8gZGV0ZW50b3IgZG9zIGRpcmVpdG9zIGF1dG9yYWlzIHBhcmEgY29uY2VkZXIgw6AgVUVSSiBvcyBkaXJlaXRvcyBhcHJlc2VudGFkb3MgbmVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgCmlkZW50aWZpY2FkbyBlIHJlY29uaGVjaWRvIG5vIHRleHRvIG91IG5vIGNvbnRlw7pkbyBkYSB0ZXNlIG91IGRpc3NlcnRhw6fDo28gb3JhIGRlcG9zaXRhZGEuCgpDQVNPIEEgVEVTRSBPVSBESVNTRVJUQcOHw4NPIE9SQSBERVBPU0lUQURBIFRFTkhBIFNJRE8gUkVTVUxUQURPIERFIFVNIFBBVFJPQ8ONTklPIE9VIApBUE9JTyBERSBVTUEgQUfDik5DSUEgREUgRk9NRU5UTyBPVSBPVVRSTyBPUkdBTklTTU8gUVVFIE7Dg08gU0VKQSBFU1RBClVOSVZFUlNJREFERSwgVk9Dw4ogREVDTEFSQSBRVUUgUkVTUEVJVE9VIFRPRE9TIEUgUVVBSVNRVUVSIERJUkVJVE9TIERFIFJFVklTw4NPIENPTU8gClRBTULDiU0gQVMgREVNQUlTIE9CUklHQcOHw5VFUyBFWElHSURBUyBQT1IgQ09OVFJBVE8gT1UgQUNPUkRPLgoKQSBVbml2ZXJzaWRhZGUgZG8gRXN0YWRvIGRvIFJpbyBkZSBKYW5laXJvIChVRVJKKSBzZSBjb21wcm9tZXRlIGEgaWRlbnRpZmljYXIgY2xhcmFtZW50ZSBvIHNldSBub21lIChzKSBvdSBvKHMpIG5vbWUocykgZG8ocykgCmRldGVudG9yKGVzKSBkb3MgZGlyZWl0b3MgYXV0b3JhaXMgZGEgdGVzZSBvdSBkaXNzZXJ0YcOnw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIGFsw6ltIGRhcXVlbGFzIApjb25jZWRpZGFzIHBvciBlc3RhIGxpY2Vuw6dhLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://www.bdtd.uerj.br/PUBhttps://www.bdtd.uerj.br:8443/oai/requestbdtd.suporte@uerj.bropendoar:29032024-02-27T17:34:49Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ)false
dc.title.por.fl_str_mv Connected and Disconnected Matchings
dc.title.alternative.por.fl_str_mv Emparelhamentos Conexos e Desconexos
title Connected and Disconnected Matchings
spellingShingle Connected and Disconnected Matchings
Masquio, Bruno Porto
Algorithms
Complexity
Matching
Chordal graphs
Disconnected Matching
Connected Matching
Grafos - Teoria
Algoritmos
Complexidade
Emparelhamento
Grafos bipartidos
Grafos cordais
Emparelhamento Desconexo
Emparelhamento Conexo
Bipartite graphs
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO
title_short Connected and Disconnected Matchings
title_full Connected and Disconnected Matchings
title_fullStr Connected and Disconnected Matchings
title_full_unstemmed Connected and Disconnected Matchings
title_sort Connected and Disconnected Matchings
author Masquio, Bruno Porto
author_facet Masquio, Bruno Porto
brunomasquio@gmail.com
author_role author
author2 brunomasquio@gmail.com
author2_role author
dc.contributor.advisor1.fl_str_mv Pinto, Paulo Eustáquio Duarte
dc.contributor.advisor2.fl_str_mv Szwarcfiter, Jayme Luiz
dc.contributor.referee1.fl_str_mv Faria, Luerbio
dc.contributor.referee2.fl_str_mv Gomes, Guilherme de Castro Mendes
dc.contributor.referee3.fl_str_mv Klein, Sulamita
dc.contributor.referee4.fl_str_mv Oliveira, Fabiano de Souza
dc.contributor.referee5.fl_str_mv Santos, Vinicius Fernandes dos
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/1472143791254334
dc.contributor.author.fl_str_mv Masquio, Bruno Porto
brunomasquio@gmail.com
contributor_str_mv Pinto, Paulo Eustáquio Duarte
Szwarcfiter, Jayme Luiz
Faria, Luerbio
Gomes, Guilherme de Castro Mendes
Klein, Sulamita
Oliveira, Fabiano de Souza
Santos, Vinicius Fernandes dos
dc.subject.eng.fl_str_mv Algorithms
Complexity
Matching
Chordal graphs
Disconnected Matching
Connected Matching
topic Algorithms
Complexity
Matching
Chordal graphs
Disconnected Matching
Connected Matching
Grafos - Teoria
Algoritmos
Complexidade
Emparelhamento
Grafos bipartidos
Grafos cordais
Emparelhamento Desconexo
Emparelhamento Conexo
Bipartite graphs
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO
dc.subject.por.fl_str_mv Grafos - Teoria
Algoritmos
Complexidade
Emparelhamento
Grafos bipartidos
Grafos cordais
Emparelhamento Desconexo
Emparelhamento Conexo
Bipartite graphs
dc.subject.cnpq.fl_str_mv CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::TEORIA DA COMPUTACAO
description Matching problems in graphs have been studied for a long time, achieving important results in both theoretical and practical aspects. Over the decades, many variations of matching problems were studied. Some of them can be solved in polynomial time, while others can not, unless P = NP. In this thesis, we briefly present the history of matchings and a survey of some of its variations along with its state of the art. We also give results on one of these variations: P-matchings. A matching M is a P- matching if the subgraph induced by the endpoints of the edges of M satisfies property P. As examples, for appropriate choices of P, the problems Induced Matching, Uniquely Restricted Matching, Acyclic Matching, Connected Matching and Disconnected Matching arise. For many of these problems, finding a maximum P-matching is a knowingly NP-hard problem. Two exceptions, that are the focus of this thesis, are connected matchings and disconnected matchings, where P is that the graph is connected and disconnected, respectively. While we can obtain a maximum connected matching in polynomial time, the complexity of finding a maximum disconnected matching was still unknown, though asked since 2005 by Goddard, Hedetniemi, Hedetniemi, and Laskar [Generalized subgraph-restricted matchings in graphs, Discrete Mathematics, 293 (2005) 129 – 138]. In this thesis, we answer this question. In fact, we consider the generalized problem of finding c-disconnected matchings; such matchings are ones whose vertex sets induce subgraphs with at least c connected components. We show that, for every fixed c ≥ 2, this problem is NP-complete even if we restrict the input to bounded diameter bipartite graphs, while can be solved in polynomial time if c = 1. For the case when c is part of the input, we show that the problem is NP-complete for chordal graphs and bounded degree graphs while being solvable in polynomial time for interval graphs. Then, we explore the parameterized complexity of the problem. We present an FPT algorithm under the treewidth parameterization, and an XP algorithm for graphs with a polynomial number of minimal separators when parameterized by c. We complement these results by showing that, unless NP ⊆ coNP=poly, the related Induced Matching problem does not admit a polynomial kernel when parameterized by vertex cover and size of the matching nor when parameterized by vertex deletion distance to clique and size of the matching. As for connected matchings, we give a linear-time algorithm for finding a maximum connected matching if a maximum matching is given. So, we turn our attention to a generalization of connected matchings that considers edge-weighted graphs and whose problem we name Maximum Weight Connected Matching. This problem is motivated by the usual Maximum Weight Matching, studied for decades, and with many applications, including the well-known Assignment problem. Besides, some other P-matchings, such as acyclic matchings and induced matchings, were also considered under weighted graphs before. In Maximum Weight Connected Matching, we want to find a matching M such that the endpoints of its edges induce a connected subgraph and the sum of the edge weights of M is maximum. Unlike the unweighted Connected Matching problem, which can be solved in polynomial time for general graphs, we show that Maximum Weight Connected Matching is NP-hard even for bounded diameter bipartite graphs, starlike graphs, planar bipartite graphs, and subcubic planar graphs, while solvable in linear time for trees and graphs having a degree at most two. When we restrict edge weights to be non-negative only, we show that the problem turns out to be polynomially solvable for chordal graphs, while it remains NP-hard for most of the other cases. We also consider the parameterized complexity of Maximum Weight Connected Matching. On the positive side, we present a single exponential time algorithm when parameterized by treewidth. As for kernelization, we show that, even when restricted to binary weights, its decision problem, Weighted Connected Matching, does not admit a polynomial kernel when parameterized by vertex cover number under standard complexity-theoretical hypotheses.
publishDate 2022
dc.date.issued.fl_str_mv 2022-11-18
dc.date.accessioned.fl_str_mv 2023-10-05T15:25:44Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv MASQUIO, Bruno Porto. Connected and Disconnected Matchings. 2022. 102 f. Tese (Doutorado em Ciências Computacionais) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2022.
dc.identifier.uri.fl_str_mv http://www.bdtd.uerj.br/handle/1/20424
identifier_str_mv MASQUIO, Bruno Porto. Connected and Disconnected Matchings. 2022. 102 f. Tese (Doutorado em Ciências Computacionais) - Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2022.
url http://www.bdtd.uerj.br/handle/1/20424
dc.language.iso.fl_str_mv eng
language eng
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.publisher.none.fl_str_mv Universidade do Estado do Rio de Janeiro
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciências Computacionais
dc.publisher.initials.fl_str_mv UERJ
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Tecnologia e Ciências::Instituto de Matemática e Estatística
publisher.none.fl_str_mv Universidade do Estado do Rio de Janeiro
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UERJ
instname:Universidade do Estado do Rio de Janeiro (UERJ)
instacron:UERJ
instname_str Universidade do Estado do Rio de Janeiro (UERJ)
instacron_str UERJ
institution UERJ
reponame_str Biblioteca Digital de Teses e Dissertações da UERJ
collection Biblioteca Digital de Teses e Dissertações da UERJ
bitstream.url.fl_str_mv http://www.bdtd.uerj.br/bitstream/1/20424/2/Tese+-+Bruno+Porto+Masquio+-+2022+-+Completa.pdf
http://www.bdtd.uerj.br/bitstream/1/20424/1/license.txt
bitstream.checksum.fl_str_mv 32e776e5efeb482d756e719f94c39721
e5502652da718045d7fcd832b79fca29
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UERJ - Universidade do Estado do Rio de Janeiro (UERJ)
repository.mail.fl_str_mv bdtd.suporte@uerj.br
_version_ 1792352388417323008