{"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":"360 ","pages":"Pages 258-274"},"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}
引用次数: 0
Abstract
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.