Nicolas Maack , Hendrik Molter , Rolf Niedermeier , Malte Renken
{"title":"关于在时间分裂图和置换图中寻找分隔符","authors":"Nicolas Maack , Hendrik Molter , Rolf Niedermeier , Malte Renken","doi":"10.1016/j.jcss.2023.01.004","DOIUrl":null,"url":null,"abstract":"<div><p>We study the NP-hard <span>Temporal</span> <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>z</mi><mo>)</mo></math></span><span>-Separation</span><span> problem on temporal graphs<span>, which are graphs with fixed vertex sets but edge sets that change over discrete time steps. We tackle </span></span><span>Temporal</span> <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>z</mi><mo>)</mo></math></span><span>-Separation</span><span> by restricting the layers (i.e., graphs characterized by edges that are present at a certain point in time) to specific graph classes. We restrict the layers of the temporal graphs to be either all split graphs or all permutation graphs (both being perfect graph classes) and provide both intractability and tractability results. In particular, we show that in general </span><span>Temporal</span> <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>z</mi><mo>)</mo></math></span><span>-Separation</span> remains NP-hard both on temporal split and temporal permutation graphs, but we also spot promising islands of fixed-parameter tractability particularly based on parameterizations that measure the amount of “change over time”.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"135 ","pages":"Pages 1-14"},"PeriodicalIF":1.1000,"publicationDate":"2023-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On finding separators in temporal split and permutation graphs\",\"authors\":\"Nicolas Maack , Hendrik Molter , Rolf Niedermeier , Malte Renken\",\"doi\":\"10.1016/j.jcss.2023.01.004\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study the NP-hard <span>Temporal</span> <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>z</mi><mo>)</mo></math></span><span>-Separation</span><span> problem on temporal graphs<span>, which are graphs with fixed vertex sets but edge sets that change over discrete time steps. We tackle </span></span><span>Temporal</span> <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>z</mi><mo>)</mo></math></span><span>-Separation</span><span> by restricting the layers (i.e., graphs characterized by edges that are present at a certain point in time) to specific graph classes. We restrict the layers of the temporal graphs to be either all split graphs or all permutation graphs (both being perfect graph classes) and provide both intractability and tractability results. In particular, we show that in general </span><span>Temporal</span> <span><math><mo>(</mo><mi>s</mi><mo>,</mo><mi>z</mi><mo>)</mo></math></span><span>-Separation</span> remains NP-hard both on temporal split and temporal permutation graphs, but we also spot promising islands of fixed-parameter tractability particularly based on parameterizations that measure the amount of “change over time”.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"135 \",\"pages\":\"Pages 1-14\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2023-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"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/S0022000023000119\",\"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/S0022000023000119","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
On finding separators in temporal split and permutation graphs
We study the NP-hard Temporal-Separation problem on temporal graphs, which are graphs with fixed vertex sets but edge sets that change over discrete time steps. We tackle Temporal-Separation by restricting the layers (i.e., graphs characterized by edges that are present at a certain point in time) to specific graph classes. We restrict the layers of the temporal graphs to be either all split graphs or all permutation graphs (both being perfect graph classes) and provide both intractability and tractability results. In particular, we show that in general Temporal-Separation remains NP-hard both on temporal split and temporal permutation graphs, but we also spot promising islands of fixed-parameter tractability particularly based on parameterizations that measure the amount of “change over time”.
期刊介绍:
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.