{"title":"三维箱形图安全控制算法及其复杂性","authors":"Cai-Xia Wang, Yu Yang, Shou-Jun Xu","doi":"10.1016/j.dam.2025.01.018","DOIUrl":null,"url":null,"abstract":"<div><div>Given a graph <span><math><mi>G</mi></math></span> with vertex set <span><math><mi>V</mi></math></span>, a secure dominating set of <span><math><mi>G</mi></math></span> is a set <span><math><mrow><mi>S</mi><mo>⊆</mo><mi>V</mi></mrow></math></span> with the property that for each vertex <span><math><mrow><mi>u</mi><mo>∈</mo><mi>V</mi><mo>∖</mo><mi>S</mi></mrow></math></span>, there is a vertex <span><math><mrow><mi>v</mi><mo>∈</mo><mi>S</mi></mrow></math></span> adjacent to <span><math><mi>u</mi></math></span> such that <span><math><mrow><mrow><mo>(</mo><mi>S</mi><mo>∪</mo><mrow><mo>{</mo><mi>u</mi><mo>}</mo></mrow><mo>)</mo></mrow><mo>∖</mo><mrow><mo>{</mo><mi>v</mi><mo>}</mo></mrow></mrow></math></span> is a dominating set of <span><math><mi>G</mi></math></span>. The minimum secure dominating set (or, for short, MSDS) problem asks to find an MSDS in a given graph.</div><div>In this paper, firstly, we show that the MSDS problem is APX-hard in <span><math><mi>d</mi></math></span>-box graphs for any fixed integer <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>. Secondly, we obtain a PTAS for the MSDS problem which is <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>21</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation (resp. <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>6</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation) and runs in <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span> (resp. <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span>) time for unit cube graphs and unit ball graphs (resp. unit square graphs and unit disk graphs). Thirdly, we give a dynamic programming algorithm for the MSDS problem in unit-height box graphs (resp. unit-height rectangle graphs), where the centers of all boxes (resp. rectangles) are inside a column of length <span><math><mi>l</mi></math></span> and width <span><math><mi>w</mi></math></span> for some integers <span><math><mrow><mi>l</mi><mo>,</mo><mi>w</mi><mo>≥</mo><mn>1</mn></mrow></math></span> (resp. a strip of width <span><math><mi>w</mi></math></span> for some integer <span><math><mrow><mi>w</mi><mo>≥</mo><mn>1</mn></mrow></math></span>). Finally, with the help of the dynamic programming algorithm, we improve the PTAS to <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>6</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation (resp. <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation) and <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span> (resp. <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></mrow></msup></math></span>) time for unit cube graphs and unit ball graphs (resp. unit square graphs and unit disk graphs).</div></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":"366 ","pages":"Pages 63-74"},"PeriodicalIF":1.0000,"publicationDate":"2025-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The algorithm and complexity of secure domination in 3-dimensional box graphs\",\"authors\":\"Cai-Xia Wang, Yu Yang, Shou-Jun Xu\",\"doi\":\"10.1016/j.dam.2025.01.018\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Given a graph <span><math><mi>G</mi></math></span> with vertex set <span><math><mi>V</mi></math></span>, a secure dominating set of <span><math><mi>G</mi></math></span> is a set <span><math><mrow><mi>S</mi><mo>⊆</mo><mi>V</mi></mrow></math></span> with the property that for each vertex <span><math><mrow><mi>u</mi><mo>∈</mo><mi>V</mi><mo>∖</mo><mi>S</mi></mrow></math></span>, there is a vertex <span><math><mrow><mi>v</mi><mo>∈</mo><mi>S</mi></mrow></math></span> adjacent to <span><math><mi>u</mi></math></span> such that <span><math><mrow><mrow><mo>(</mo><mi>S</mi><mo>∪</mo><mrow><mo>{</mo><mi>u</mi><mo>}</mo></mrow><mo>)</mo></mrow><mo>∖</mo><mrow><mo>{</mo><mi>v</mi><mo>}</mo></mrow></mrow></math></span> is a dominating set of <span><math><mi>G</mi></math></span>. The minimum secure dominating set (or, for short, MSDS) problem asks to find an MSDS in a given graph.</div><div>In this paper, firstly, we show that the MSDS problem is APX-hard in <span><math><mi>d</mi></math></span>-box graphs for any fixed integer <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>. Secondly, we obtain a PTAS for the MSDS problem which is <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>21</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation (resp. <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>6</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation) and runs in <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span> (resp. <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span>) time for unit cube graphs and unit ball graphs (resp. unit square graphs and unit disk graphs). Thirdly, we give a dynamic programming algorithm for the MSDS problem in unit-height box graphs (resp. unit-height rectangle graphs), where the centers of all boxes (resp. rectangles) are inside a column of length <span><math><mi>l</mi></math></span> and width <span><math><mi>w</mi></math></span> for some integers <span><math><mrow><mi>l</mi><mo>,</mo><mi>w</mi><mo>≥</mo><mn>1</mn></mrow></math></span> (resp. a strip of width <span><math><mi>w</mi></math></span> for some integer <span><math><mrow><mi>w</mi><mo>≥</mo><mn>1</mn></mrow></math></span>). Finally, with the help of the dynamic programming algorithm, we improve the PTAS to <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>6</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation (resp. <span><math><mrow><mo>(</mo><mn>1</mn><mo>+</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>k</mi></mrow></mfrac><mo>)</mo></mrow></math></span>-approximation) and <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></mrow></mrow></msup></math></span> (resp. <span><math><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></mrow></msup></math></span>) time for unit cube graphs and unit ball graphs (resp. unit square graphs and unit disk graphs).</div></div>\",\"PeriodicalId\":50573,\"journal\":{\"name\":\"Discrete Applied Mathematics\",\"volume\":\"366 \",\"pages\":\"Pages 63-74\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2025-05-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete Applied Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0166218X25000241\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2025/1/21 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Applied Mathematics","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0166218X25000241","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/1/21 0:00:00","PubModel":"Epub","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
The algorithm and complexity of secure domination in 3-dimensional box graphs
Given a graph with vertex set , a secure dominating set of is a set with the property that for each vertex , there is a vertex adjacent to such that is a dominating set of . The minimum secure dominating set (or, for short, MSDS) problem asks to find an MSDS in a given graph.
In this paper, firstly, we show that the MSDS problem is APX-hard in -box graphs for any fixed integer . Secondly, we obtain a PTAS for the MSDS problem which is -approximation (resp. -approximation) and runs in (resp. ) time for unit cube graphs and unit ball graphs (resp. unit square graphs and unit disk graphs). Thirdly, we give a dynamic programming algorithm for the MSDS problem in unit-height box graphs (resp. unit-height rectangle graphs), where the centers of all boxes (resp. rectangles) are inside a column of length and width for some integers (resp. a strip of width for some integer ). Finally, with the help of the dynamic programming algorithm, we improve the PTAS to -approximation (resp. -approximation) and (resp. ) time for unit cube graphs and unit ball graphs (resp. unit square graphs and unit disk graphs).
期刊介绍:
The aim of Discrete Applied Mathematics is to bring together research papers in different areas of algorithmic and applicable discrete mathematics as well as applications of combinatorial mathematics to informatics and various areas of science and technology. Contributions presented to the journal can be research papers, short notes, surveys, and possibly research problems. The "Communications" section will be devoted to the fastest possible publication of recent research results that are checked and recommended for publication by a member of the Editorial Board. The journal will also publish a limited number of book announcements as well as proceedings of conferences. These proceedings will be fully refereed and adhere to the normal standards of the journal.
Potential authors are advised to view the journal and the open calls-for-papers of special issues before submitting their manuscripts. Only high-quality, original work that is within the scope of the journal or the targeted special issue will be considered.