{"title":"分隔符重构问题的参数化复杂性","authors":"Guilherme de C. M. Gomes, V. Santos","doi":"10.5753/etc.2023.230681","DOIUrl":null,"url":null,"abstract":"Separadores em grafos são conjuntos de vértices cuja remoção destrói todos os caminhos entre dois vértices dados. Em particular, dizemos que um conjunto é um st-separador se sua remoção destrói todos os caminhos entre dois vértices s e t. Problemas de reconfiguração recebem como entrada dois objetos combinatórios e o objetivo é transformar um no outro, mantendo certas propriedades ao longo da transformação. No problema de reconfiguração de separadores, são dados um grafo G e dois st-separadores A e B e deseja-se transformar A em B utilizando certas operações de modificação, de maneira que todos os passos intermediários sejam, também, st-separadores. Este problema é NP-dificil e, em algumas versões, é PSPACE-dificil. Neste trabalho, consideramos pela primeira vez a complexidade parametrizada deste problema de reconfiguração e mostramos resultados positivos para uma parametrização estrutural, além de discutir outras parametrizações naturais.","PeriodicalId":165974,"journal":{"name":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Complexidade parametrizada do problema de reconfiguração de separadores\",\"authors\":\"Guilherme de C. M. Gomes, V. Santos\",\"doi\":\"10.5753/etc.2023.230681\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Separadores em grafos são conjuntos de vértices cuja remoção destrói todos os caminhos entre dois vértices dados. Em particular, dizemos que um conjunto é um st-separador se sua remoção destrói todos os caminhos entre dois vértices s e t. Problemas de reconfiguração recebem como entrada dois objetos combinatórios e o objetivo é transformar um no outro, mantendo certas propriedades ao longo da transformação. No problema de reconfiguração de separadores, são dados um grafo G e dois st-separadores A e B e deseja-se transformar A em B utilizando certas operações de modificação, de maneira que todos os passos intermediários sejam, também, st-separadores. Este problema é NP-dificil e, em algumas versões, é PSPACE-dificil. Neste trabalho, consideramos pela primeira vez a complexidade parametrizada deste problema de reconfiguração e mostramos resultados positivos para uma parametrização estrutural, além de discutir outras parametrizações naturais.\",\"PeriodicalId\":165974,\"journal\":{\"name\":\"Anais do VIII Encontro de Teoria da Computação (ETC 2023)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-08-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do VIII Encontro de Teoria da Computação (ETC 2023)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/etc.2023.230681\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do VIII Encontro de Teoria da Computação (ETC 2023)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/etc.2023.230681","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Complexidade parametrizada do problema de reconfiguração de separadores
Separadores em grafos são conjuntos de vértices cuja remoção destrói todos os caminhos entre dois vértices dados. Em particular, dizemos que um conjunto é um st-separador se sua remoção destrói todos os caminhos entre dois vértices s e t. Problemas de reconfiguração recebem como entrada dois objetos combinatórios e o objetivo é transformar um no outro, mantendo certas propriedades ao longo da transformação. No problema de reconfiguração de separadores, são dados um grafo G e dois st-separadores A e B e deseja-se transformar A em B utilizando certas operações de modificação, de maneira que todos os passos intermediários sejam, também, st-separadores. Este problema é NP-dificil e, em algumas versões, é PSPACE-dificil. Neste trabalho, consideramos pela primeira vez a complexidade parametrizada deste problema de reconfiguração e mostramos resultados positivos para uma parametrização estrutural, além de discutir outras parametrizações naturais.