Nina Klobas , George B. Mertzios , Hendrik Molter , Paul G. Spirakis
{"title":"计算时空连通性最佳标签的复杂性","authors":"Nina Klobas , George B. Mertzios , Hendrik Molter , Paul G. Spirakis","doi":"10.1016/j.jcss.2024.103564","DOIUrl":null,"url":null,"abstract":"<div><p>A graph is temporally connected if a strict temporal path exists from every vertex <em>u</em> to every other vertex <em>v</em>. This paper studies <em>temporal design</em> problems for undirected temporally connected graphs. Given a connected undirected graph <em>G</em>, the goal is to determine the smallest total number of time-labels <span><math><mo>|</mo><mi>λ</mi><mo>|</mo></math></span> needed to ensure temporal connectivity, where <span><math><mo>|</mo><mi>λ</mi><mo>|</mo></math></span> denotes the sum, over all edges, of the size of the set of labels associated to an edge. The basic problem, called <span>Minimum Labeling</span> (<span>ML</span>) can be solved optimally in polynomial time. We introduce the <span>Min. Aged Labeling</span> (<span>MAL</span>) problem, which involves connecting the graph with an upper-bound on the maximum label, the <span>Min. Steiner Labeling</span> (<span>MSL</span>) problem, focusing on connecting specific important vertices, and the age-restricted version of <span>MSL</span>, <span>Min. Aged Steiner Labeling</span> (<span>MASL</span>). We show that <span>MAL</span> is NP-complete, <span>MASL</span> is W[1]-hard, and while <span>MSL</span> remains NP-hard, it is FPT with respect to the number of terminals.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"146 ","pages":"Article 103564"},"PeriodicalIF":1.1000,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S002200002400059X/pdfft?md5=47d92c214e02fc0c658d2c49a1fdf6d8&pid=1-s2.0-S002200002400059X-main.pdf","citationCount":"0","resultStr":"{\"title\":\"The complexity of computing optimum labelings for temporal connectivity\",\"authors\":\"Nina Klobas , George B. Mertzios , Hendrik Molter , Paul G. Spirakis\",\"doi\":\"10.1016/j.jcss.2024.103564\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>A graph is temporally connected if a strict temporal path exists from every vertex <em>u</em> to every other vertex <em>v</em>. This paper studies <em>temporal design</em> problems for undirected temporally connected graphs. Given a connected undirected graph <em>G</em>, the goal is to determine the smallest total number of time-labels <span><math><mo>|</mo><mi>λ</mi><mo>|</mo></math></span> needed to ensure temporal connectivity, where <span><math><mo>|</mo><mi>λ</mi><mo>|</mo></math></span> denotes the sum, over all edges, of the size of the set of labels associated to an edge. The basic problem, called <span>Minimum Labeling</span> (<span>ML</span>) can be solved optimally in polynomial time. We introduce the <span>Min. Aged Labeling</span> (<span>MAL</span>) problem, which involves connecting the graph with an upper-bound on the maximum label, the <span>Min. Steiner Labeling</span> (<span>MSL</span>) problem, focusing on connecting specific important vertices, and the age-restricted version of <span>MSL</span>, <span>Min. Aged Steiner Labeling</span> (<span>MASL</span>). We show that <span>MAL</span> is NP-complete, <span>MASL</span> is W[1]-hard, and while <span>MSL</span> remains NP-hard, it is FPT with respect to the number of terminals.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"146 \",\"pages\":\"Article 103564\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-07-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.sciencedirect.com/science/article/pii/S002200002400059X/pdfft?md5=47d92c214e02fc0c658d2c49a1fdf6d8&pid=1-s2.0-S002200002400059X-main.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Computer and System Sciences\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S002200002400059X\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"BUSINESS, FINANCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S002200002400059X","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
The complexity of computing optimum labelings for temporal connectivity
A graph is temporally connected if a strict temporal path exists from every vertex u to every other vertex v. This paper studies temporal design problems for undirected temporally connected graphs. Given a connected undirected graph G, the goal is to determine the smallest total number of time-labels needed to ensure temporal connectivity, where denotes the sum, over all edges, of the size of the set of labels associated to an edge. The basic problem, called Minimum Labeling (ML) can be solved optimally in polynomial time. We introduce the Min. Aged Labeling (MAL) problem, which involves connecting the graph with an upper-bound on the maximum label, the Min. Steiner Labeling (MSL) problem, focusing on connecting specific important vertices, and the age-restricted version of MSL, Min. Aged Steiner Labeling (MASL). We show that MAL is NP-complete, MASL is W[1]-hard, and while MSL remains NP-hard, it is FPT with respect to the number of terminals.
期刊介绍:
The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.
Research areas include traditional subjects such as:
• Theory of algorithms and computability
• Formal languages
• Automata theory
Contemporary subjects such as:
• Complexity theory
• Algorithmic Complexity
• Parallel & distributed computing
• Computer networks
• Neural networks
• Computational learning theory
• Database theory & practice
• Computer modeling of complex systems
• Security and Privacy.