{"title":"认识单位多重区间图很难","authors":"Virginia Ardévol Martínez , Romeo Rizzi , Florian Sikora , Stéphane Vialette","doi":"10.1016/j.dam.2024.09.011","DOIUrl":null,"url":null,"abstract":"<div><p>Multiple interval graphs are a well-known generalization of interval graphs introduced in the 1970s to deal with situations arising naturally in scheduling and allocation. A <span><math><mi>d</mi></math></span>-interval is the union of <span><math><mi>d</mi></math></span> disjoint intervals on the real line, and a graph is a <span><math><mi>d</mi></math></span>-interval graph if it is the intersection graph of <span><math><mi>d</mi></math></span>-intervals. In particular, it is a unit <span><math><mi>d</mi></math></span>-interval graph if it admits a <span><math><mi>d</mi></math></span>-interval representation where every interval has unit length.</p><p>Whereas it has been known for a long time that recognizing 2-interval graphs and other related classes such as 2-track interval graphs is <span><math><mi>NP</mi></math></span>-complete, the complexity of recognizing unit 2-interval graphs remains open. Here, we settle this question by proving that the recognition of unit 2-interval graphs is also <span><math><mi>NP</mi></math></span>-complete. Our proof technique uses a completely different approach from the other hardness results of recognizing related classes. Furthermore, we extend the result for unit <span><math><mi>d</mi></math></span>-interval graphs for any <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, which does not follow directly in graph recognition problems — as an example, it took almost 20 years to close the gap between <span><math><mrow><mi>d</mi><mo>=</mo><mn>2</mn></mrow></math></span> and <span><math><mrow><mi>d</mi><mo>></mo><mn>2</mn></mrow></math></span> for the recognition of <span><math><mi>d</mi></math></span>-track interval graphs. Our result has several implications, including that for every <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, recognizing <span><math><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mo>…</mo><mo>,</mo><mi>x</mi><mo>)</mo></mrow></math></span>\n<span><math><mi>d</mi></math></span>-interval graphs and depth <span><math><mi>r</mi></math></span> unit <span><math><mi>d</mi></math></span>-interval graphs is <span><math><mi>NP</mi></math></span>-complete for every <span><math><mrow><mi>x</mi><mo>≥</mo><mn>11</mn></mrow></math></span> and every <span><math><mrow><mi>r</mi><mo>≥</mo><mn>4</mn></mrow></math></span>.</p></div>","PeriodicalId":50573,"journal":{"name":"Discrete Applied Mathematics","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0166218X24004013/pdfft?md5=435fad9c65782c974becdf669baa5302&pid=1-s2.0-S0166218X24004013-main.pdf","citationCount":"0","resultStr":"{\"title\":\"Recognizing unit multiple interval graphs is hard\",\"authors\":\"Virginia Ardévol Martínez , Romeo Rizzi , Florian Sikora , Stéphane Vialette\",\"doi\":\"10.1016/j.dam.2024.09.011\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Multiple interval graphs are a well-known generalization of interval graphs introduced in the 1970s to deal with situations arising naturally in scheduling and allocation. A <span><math><mi>d</mi></math></span>-interval is the union of <span><math><mi>d</mi></math></span> disjoint intervals on the real line, and a graph is a <span><math><mi>d</mi></math></span>-interval graph if it is the intersection graph of <span><math><mi>d</mi></math></span>-intervals. In particular, it is a unit <span><math><mi>d</mi></math></span>-interval graph if it admits a <span><math><mi>d</mi></math></span>-interval representation where every interval has unit length.</p><p>Whereas it has been known for a long time that recognizing 2-interval graphs and other related classes such as 2-track interval graphs is <span><math><mi>NP</mi></math></span>-complete, the complexity of recognizing unit 2-interval graphs remains open. Here, we settle this question by proving that the recognition of unit 2-interval graphs is also <span><math><mi>NP</mi></math></span>-complete. Our proof technique uses a completely different approach from the other hardness results of recognizing related classes. Furthermore, we extend the result for unit <span><math><mi>d</mi></math></span>-interval graphs for any <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, which does not follow directly in graph recognition problems — as an example, it took almost 20 years to close the gap between <span><math><mrow><mi>d</mi><mo>=</mo><mn>2</mn></mrow></math></span> and <span><math><mrow><mi>d</mi><mo>></mo><mn>2</mn></mrow></math></span> for the recognition of <span><math><mi>d</mi></math></span>-track interval graphs. Our result has several implications, including that for every <span><math><mrow><mi>d</mi><mo>≥</mo><mn>2</mn></mrow></math></span>, recognizing <span><math><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mo>…</mo><mo>,</mo><mi>x</mi><mo>)</mo></mrow></math></span>\\n<span><math><mi>d</mi></math></span>-interval graphs and depth <span><math><mi>r</mi></math></span> unit <span><math><mi>d</mi></math></span>-interval graphs is <span><math><mi>NP</mi></math></span>-complete for every <span><math><mrow><mi>x</mi><mo>≥</mo><mn>11</mn></mrow></math></span> and every <span><math><mrow><mi>r</mi><mo>≥</mo><mn>4</mn></mrow></math></span>.</p></div>\",\"PeriodicalId\":50573,\"journal\":{\"name\":\"Discrete Applied Mathematics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-09-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.sciencedirect.com/science/article/pii/S0166218X24004013/pdfft?md5=435fad9c65782c974becdf669baa5302&pid=1-s2.0-S0166218X24004013-main.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete Applied Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0166218X24004013\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"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/S0166218X24004013","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
摘要
多区间图是 20 世纪 70 年代引入的对区间图的著名概括,用于处理调度和分配中自然出现的情况。d 个区间是实线上 d 个互不相交的区间的联合,如果一个图是 d 个区间的交集图,那么它就是一个 d 个区间图。特别是,如果一个图可以用 d 个区间表示,其中每个区间的长度都是单位,那么它就是一个单位 d 个区间图。长期以来,人们都知道识别 2 个区间图和其他相关类别(如 2 轨区间图)是 NP-完全的,但识别单位 2 个区间图的复杂性仍然是个未知数。在这里,我们通过证明单位 2 间隔图的识别也是 NP-完全来解决这个问题。我们的证明技术采用了一种完全不同于其他识别相关类的硬度结果的方法。此外,我们还扩展了对任意 d≥2 的单位 d 间隔图的结果,这在图识别问题中并不直接适用--例如,在识别 d 轨道间隔图时,我们花了近 20 年时间才缩小了 d=2 和 d>2 之间的差距。我们的结果有几个意义,包括对于每一个 d≥2,对于每一个 x≥11 和每一个 r≥4,识别(x,...,x)d-区间图和深度 r 单位 d-区间图都是 NP-完全的。
Multiple interval graphs are a well-known generalization of interval graphs introduced in the 1970s to deal with situations arising naturally in scheduling and allocation. A -interval is the union of disjoint intervals on the real line, and a graph is a -interval graph if it is the intersection graph of -intervals. In particular, it is a unit -interval graph if it admits a -interval representation where every interval has unit length.
Whereas it has been known for a long time that recognizing 2-interval graphs and other related classes such as 2-track interval graphs is -complete, the complexity of recognizing unit 2-interval graphs remains open. Here, we settle this question by proving that the recognition of unit 2-interval graphs is also -complete. Our proof technique uses a completely different approach from the other hardness results of recognizing related classes. Furthermore, we extend the result for unit -interval graphs for any , which does not follow directly in graph recognition problems — as an example, it took almost 20 years to close the gap between and for the recognition of -track interval graphs. Our result has several implications, including that for every , recognizing
-interval graphs and depth unit -interval graphs is -complete for every and every .
期刊介绍:
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.