Guilherme C. M. Gomes, Bruno P. Masquio, Paulo E. D. Pinto, Dieter Rautenbach, Vinicius F. dos Santos, Jayme L. Szwarcfiter, Florian Werner
{"title":"决定匹配数相等的复杂性","authors":"Guilherme C. M. Gomes, Bruno P. Masquio, Paulo E. D. Pinto, Dieter Rautenbach, Vinicius F. dos Santos, Jayme L. Szwarcfiter, Florian Werner","doi":"arxiv-2409.04855","DOIUrl":null,"url":null,"abstract":"A matching is said to be disconnected if the saturated vertices induce a\ndisconnected subgraph and induced if the saturated vertices induce a 1-regular\ngraph. The disconnected and induced matching numbers are defined as the maximum\ncardinality of such matchings, respectively, and are known to be NP-hard to\ncompute. In this paper, we study the relationship between these two parameters\nand the matching number. In particular, we discuss the complexity of two\ndecision problems; first: deciding if the matching number and disconnected\nmatching number are equal; second: deciding if the disconnected matching number\nand induced matching number are equal. We show that given a bipartite graph\nwith diameter four, deciding if the matching number and disconnected matching\nnumber are equal is NP-complete; the same holds for bipartite graphs with\nmaximum degree three. We characterize diameter three graphs with equal matching\nnumber and disconnected matching number, which yields a polynomial time\nrecognition algorithm. Afterwards, we show that deciding if the induced and\ndisconnected matching numbers are equal is co-NP-complete for bipartite graphs\nof diameter 3. When the induced matching number is large enough compared to the\nmaximum degree, we characterize graphs where these parameters are equal, which\nresults in a polynomial time algorithm for bounded degree graphs.","PeriodicalId":501216,"journal":{"name":"arXiv - CS - Discrete Mathematics","volume":"5 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Complexity of Deciding the Equality of Matching Numbers\",\"authors\":\"Guilherme C. M. Gomes, Bruno P. Masquio, Paulo E. D. Pinto, Dieter Rautenbach, Vinicius F. dos Santos, Jayme L. Szwarcfiter, Florian Werner\",\"doi\":\"arxiv-2409.04855\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A matching is said to be disconnected if the saturated vertices induce a\\ndisconnected subgraph and induced if the saturated vertices induce a 1-regular\\ngraph. The disconnected and induced matching numbers are defined as the maximum\\ncardinality of such matchings, respectively, and are known to be NP-hard to\\ncompute. In this paper, we study the relationship between these two parameters\\nand the matching number. In particular, we discuss the complexity of two\\ndecision problems; first: deciding if the matching number and disconnected\\nmatching number are equal; second: deciding if the disconnected matching number\\nand induced matching number are equal. We show that given a bipartite graph\\nwith diameter four, deciding if the matching number and disconnected matching\\nnumber are equal is NP-complete; the same holds for bipartite graphs with\\nmaximum degree three. We characterize diameter three graphs with equal matching\\nnumber and disconnected matching number, which yields a polynomial time\\nrecognition algorithm. Afterwards, we show that deciding if the induced and\\ndisconnected matching numbers are equal is co-NP-complete for bipartite graphs\\nof diameter 3. When the induced matching number is large enough compared to the\\nmaximum degree, we characterize graphs where these parameters are equal, which\\nresults in a polynomial time algorithm for bounded degree graphs.\",\"PeriodicalId\":501216,\"journal\":{\"name\":\"arXiv - CS - Discrete Mathematics\",\"volume\":\"5 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Discrete Mathematics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.04855\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Discrete Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.04855","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Complexity of Deciding the Equality of Matching Numbers
A matching is said to be disconnected if the saturated vertices induce a
disconnected subgraph and induced if the saturated vertices induce a 1-regular
graph. The disconnected and induced matching numbers are defined as the maximum
cardinality of such matchings, respectively, and are known to be NP-hard to
compute. In this paper, we study the relationship between these two parameters
and the matching number. In particular, we discuss the complexity of two
decision problems; first: deciding if the matching number and disconnected
matching number are equal; second: deciding if the disconnected matching number
and induced matching number are equal. We show that given a bipartite graph
with diameter four, deciding if the matching number and disconnected matching
number are equal is NP-complete; the same holds for bipartite graphs with
maximum degree three. We characterize diameter three graphs with equal matching
number and disconnected matching number, which yields a polynomial time
recognition algorithm. Afterwards, we show that deciding if the induced and
disconnected matching numbers are equal is co-NP-complete for bipartite graphs
of diameter 3. When the induced matching number is large enough compared to the
maximum degree, we characterize graphs where these parameters are equal, which
results in a polynomial time algorithm for bounded degree graphs.