F. Fomin, P. Golovach, Tanmay Inamdar, Tomohiro Koana
{"title":"覆盖少边或多边的FPT逼近和亚指数算法","authors":"F. Fomin, P. Golovach, Tanmay Inamdar, Tomohiro Koana","doi":"10.4230/LIPIcs.MFCS.2023.46","DOIUrl":null,"url":null,"abstract":"We study the \\textsc{$\\alpha$-Fixed Cardinality Graph Partitioning ($\\alpha$-FCGP)} problem, the generic local graph partitioning problem introduced by Bonnet et al. [Algorithmica 2015]. In this problem, we are given a graph $G$, two numbers $k,p$ and $0\\leq\\alpha\\leq 1$, the question is whether there is a set $S\\subseteq V$ of size $k$ with a specified coverage function $cov_{\\alpha}(S)$ at least $p$ (or at most $p$ for the minimization version). The coverage function $cov_{\\alpha}(\\cdot)$ counts edges with exactly one endpoint in $S$ with weight $\\alpha$ and edges with both endpoints in $S$ with weight $1 - \\alpha$. $\\alpha$-FCGP generalizes a number of fundamental graph problems such as \\textsc{Densest $k$-Subgraph}, \\textsc{Max $k$-Vertex Cover}, and \\textsc{Max $(k,n-k)$-Cut}. A natural question in the study of $\\alpha$-FCGP is whether the algorithmic results known for its special cases, like \\textsc{Max $k$-Vertex Cover}, could be extended to more general settings. One of the simple but powerful methods for obtaining parameterized approximation [Manurangsi, SOSA 2019] and subexponential algorithms [Fomin et al. IPL 2011] for \\textsc{Max $k$-Vertex Cover} is based on the greedy vertex degree orderings. The main insight of our work is that the idea of greed vertex degree ordering could be used to design fixed-parameter approximation schemes (FPT-AS) for $\\alpha>0$ and the subexponential-time algorithms for the problem on apex-minor free graphs for maximization with $\\alpha>1/3$ and minimization with $\\alpha<1/3$.","PeriodicalId":369104,"journal":{"name":"International Symposium on Mathematical Foundations of Computer Science","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"FPT Approximation and Subexponential Algorithms for Covering Few or Many Edges\",\"authors\":\"F. Fomin, P. Golovach, Tanmay Inamdar, Tomohiro Koana\",\"doi\":\"10.4230/LIPIcs.MFCS.2023.46\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study the \\\\textsc{$\\\\alpha$-Fixed Cardinality Graph Partitioning ($\\\\alpha$-FCGP)} problem, the generic local graph partitioning problem introduced by Bonnet et al. [Algorithmica 2015]. In this problem, we are given a graph $G$, two numbers $k,p$ and $0\\\\leq\\\\alpha\\\\leq 1$, the question is whether there is a set $S\\\\subseteq V$ of size $k$ with a specified coverage function $cov_{\\\\alpha}(S)$ at least $p$ (or at most $p$ for the minimization version). The coverage function $cov_{\\\\alpha}(\\\\cdot)$ counts edges with exactly one endpoint in $S$ with weight $\\\\alpha$ and edges with both endpoints in $S$ with weight $1 - \\\\alpha$. $\\\\alpha$-FCGP generalizes a number of fundamental graph problems such as \\\\textsc{Densest $k$-Subgraph}, \\\\textsc{Max $k$-Vertex Cover}, and \\\\textsc{Max $(k,n-k)$-Cut}. A natural question in the study of $\\\\alpha$-FCGP is whether the algorithmic results known for its special cases, like \\\\textsc{Max $k$-Vertex Cover}, could be extended to more general settings. One of the simple but powerful methods for obtaining parameterized approximation [Manurangsi, SOSA 2019] and subexponential algorithms [Fomin et al. IPL 2011] for \\\\textsc{Max $k$-Vertex Cover} is based on the greedy vertex degree orderings. The main insight of our work is that the idea of greed vertex degree ordering could be used to design fixed-parameter approximation schemes (FPT-AS) for $\\\\alpha>0$ and the subexponential-time algorithms for the problem on apex-minor free graphs for maximization with $\\\\alpha>1/3$ and minimization with $\\\\alpha<1/3$.\",\"PeriodicalId\":369104,\"journal\":{\"name\":\"International Symposium on Mathematical Foundations of Computer Science\",\"volume\":\"32 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Symposium on Mathematical Foundations of Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.MFCS.2023.46\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Symposium on Mathematical Foundations of Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.MFCS.2023.46","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
FPT Approximation and Subexponential Algorithms for Covering Few or Many Edges
We study the \textsc{$\alpha$-Fixed Cardinality Graph Partitioning ($\alpha$-FCGP)} problem, the generic local graph partitioning problem introduced by Bonnet et al. [Algorithmica 2015]. In this problem, we are given a graph $G$, two numbers $k,p$ and $0\leq\alpha\leq 1$, the question is whether there is a set $S\subseteq V$ of size $k$ with a specified coverage function $cov_{\alpha}(S)$ at least $p$ (or at most $p$ for the minimization version). The coverage function $cov_{\alpha}(\cdot)$ counts edges with exactly one endpoint in $S$ with weight $\alpha$ and edges with both endpoints in $S$ with weight $1 - \alpha$. $\alpha$-FCGP generalizes a number of fundamental graph problems such as \textsc{Densest $k$-Subgraph}, \textsc{Max $k$-Vertex Cover}, and \textsc{Max $(k,n-k)$-Cut}. A natural question in the study of $\alpha$-FCGP is whether the algorithmic results known for its special cases, like \textsc{Max $k$-Vertex Cover}, could be extended to more general settings. One of the simple but powerful methods for obtaining parameterized approximation [Manurangsi, SOSA 2019] and subexponential algorithms [Fomin et al. IPL 2011] for \textsc{Max $k$-Vertex Cover} is based on the greedy vertex degree orderings. The main insight of our work is that the idea of greed vertex degree ordering could be used to design fixed-parameter approximation schemes (FPT-AS) for $\alpha>0$ and the subexponential-time algorithms for the problem on apex-minor free graphs for maximization with $\alpha>1/3$ and minimization with $\alpha<1/3$.