Davide Bilò, Alessia Di Fonso, Gabriele Di Stefano, Stefano Leucci
{"title":"论图形可见性问题的近似性","authors":"Davide Bilò, Alessia Di Fonso, Gabriele Di Stefano, Stefano Leucci","doi":"arxiv-2407.00409","DOIUrl":null,"url":null,"abstract":"Visibility problems have been investigated for a long time under different\nassumptions as they pose challenging combinatorial problems and are connected\nto robot navigation problems. The mutual-visibility problem in a graph $G$ of\n$n$ vertices asks to find the largest set of vertices $X\\subseteq V(G)$, also\ncalled $\\mu$-set, such that for any two vertices $u,v\\in X$, there is a\nshortest $u,v$-path $P$ where all internal vertices of $P$ are not in $X$. This\nmeans that $u$ and $v$ are visible w.r.t. $X$. Variations of this problem are\nknown as total, outer, and dual mutual-visibility problems, depending on the\nvisibility property of vertices inside and/or outside $X$. The\nmutual-visibility problem and all its variations are known to be\n$\\mathsf{NP}$-complete on graphs of diameter $4$. In this paper, we design a polynomial-time algorithm that finds a $\\mu$-set\nwith size $\\Omega\\left( \\sqrt{n/ \\overline{D}} \\right)$, where $\\overline D$ is\nthe average distance between any two vertices of $G$. Moreover, we show\ninapproximability results for all visibility problems on graphs of diameter $2$\nand strengthen the inapproximability ratios for graphs of diameter $3$ or\nlarger. More precisely, for graphs of diameter at least $3$ and for every\nconstant $\\varepsilon > 0$, we show that mutual-visibility and dual\nmutual-visibility problems are not approximable within a factor of\n$n^{1/3-\\varepsilon}$, while outer and total mutual-visibility problems are not\napproximable within a factor of $n^{1/2 - \\varepsilon}$, unless\n$\\mathsf{P}=\\mathsf{NP}$. Furthermore we study the relationship between the mutual-visibility number\nand the general position number in which no three distinct vertices $u,v,w$ of\n$X$ belong to any shortest path of $G$.","PeriodicalId":501024,"journal":{"name":"arXiv - CS - Computational Complexity","volume":"160 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the approximability of graph visibility problems\",\"authors\":\"Davide Bilò, Alessia Di Fonso, Gabriele Di Stefano, Stefano Leucci\",\"doi\":\"arxiv-2407.00409\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Visibility problems have been investigated for a long time under different\\nassumptions as they pose challenging combinatorial problems and are connected\\nto robot navigation problems. The mutual-visibility problem in a graph $G$ of\\n$n$ vertices asks to find the largest set of vertices $X\\\\subseteq V(G)$, also\\ncalled $\\\\mu$-set, such that for any two vertices $u,v\\\\in X$, there is a\\nshortest $u,v$-path $P$ where all internal vertices of $P$ are not in $X$. This\\nmeans that $u$ and $v$ are visible w.r.t. $X$. Variations of this problem are\\nknown as total, outer, and dual mutual-visibility problems, depending on the\\nvisibility property of vertices inside and/or outside $X$. The\\nmutual-visibility problem and all its variations are known to be\\n$\\\\mathsf{NP}$-complete on graphs of diameter $4$. In this paper, we design a polynomial-time algorithm that finds a $\\\\mu$-set\\nwith size $\\\\Omega\\\\left( \\\\sqrt{n/ \\\\overline{D}} \\\\right)$, where $\\\\overline D$ is\\nthe average distance between any two vertices of $G$. Moreover, we show\\ninapproximability results for all visibility problems on graphs of diameter $2$\\nand strengthen the inapproximability ratios for graphs of diameter $3$ or\\nlarger. More precisely, for graphs of diameter at least $3$ and for every\\nconstant $\\\\varepsilon > 0$, we show that mutual-visibility and dual\\nmutual-visibility problems are not approximable within a factor of\\n$n^{1/3-\\\\varepsilon}$, while outer and total mutual-visibility problems are not\\napproximable within a factor of $n^{1/2 - \\\\varepsilon}$, unless\\n$\\\\mathsf{P}=\\\\mathsf{NP}$. Furthermore we study the relationship between the mutual-visibility number\\nand the general position number in which no three distinct vertices $u,v,w$ of\\n$X$ belong to any shortest path of $G$.\",\"PeriodicalId\":501024,\"journal\":{\"name\":\"arXiv - CS - Computational Complexity\",\"volume\":\"160 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-06-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Computational Complexity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.00409\",\"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 - Computational Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.00409","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On the approximability of graph visibility problems
Visibility problems have been investigated for a long time under different
assumptions as they pose challenging combinatorial problems and are connected
to robot navigation problems. The mutual-visibility problem in a graph $G$ of
$n$ vertices asks to find the largest set of vertices $X\subseteq V(G)$, also
called $\mu$-set, such that for any two vertices $u,v\in X$, there is a
shortest $u,v$-path $P$ where all internal vertices of $P$ are not in $X$. This
means that $u$ and $v$ are visible w.r.t. $X$. Variations of this problem are
known as total, outer, and dual mutual-visibility problems, depending on the
visibility property of vertices inside and/or outside $X$. The
mutual-visibility problem and all its variations are known to be
$\mathsf{NP}$-complete on graphs of diameter $4$. In this paper, we design a polynomial-time algorithm that finds a $\mu$-set
with size $\Omega\left( \sqrt{n/ \overline{D}} \right)$, where $\overline D$ is
the average distance between any two vertices of $G$. Moreover, we show
inapproximability results for all visibility problems on graphs of diameter $2$
and strengthen the inapproximability ratios for graphs of diameter $3$ or
larger. More precisely, for graphs of diameter at least $3$ and for every
constant $\varepsilon > 0$, we show that mutual-visibility and dual
mutual-visibility problems are not approximable within a factor of
$n^{1/3-\varepsilon}$, while outer and total mutual-visibility problems are not
approximable within a factor of $n^{1/2 - \varepsilon}$, unless
$\mathsf{P}=\mathsf{NP}$. Furthermore we study the relationship between the mutual-visibility number
and the general position number in which no three distinct vertices $u,v,w$ of
$X$ belong to any shortest path of $G$.