{"title":"在近线性时间内扩展圆图的部分表示法","authors":"Guido Brückner, Ignaz Rutter, Peter Stumpf","doi":"10.1007/s00453-024-01216-5","DOIUrl":null,"url":null,"abstract":"<div><p>The <i>partial representation extension problem</i> generalizes the recognition problem for geometric intersection graphs. The input consists of a graph <i>G</i>, a subgraph <span>\\(H \\subseteq G\\)</span> and a representation <span>\\(\\mathcal R'\\)</span> of <i>H</i>. The question is whether <i>G</i> admits a representation <span>\\(\\mathcal R\\)</span> whose restriction to <i>H</i> is <span>\\(\\mathcal R'\\)</span>. We study this question for <i>circle graphs</i>, which are intersection graphs of chords of a circle. Their representations are called <i>chord diagrams</i>. We show that for a graph with <i>n</i> vertices and <i>m</i> edges the partial representation extension problem can be solved in <span>\\(O((n + m) \\alpha (n + m))\\)</span> time, thereby improving over an <span>\\(O(n^3)\\)</span>-time algorithm by Chaplick et al. (J Graph Theory 91(4), 365–394, 2019). The main technical contributions are a canonical way of orienting chord diagrams and a novel compact representation of the set of all canonically oriented chord diagrams that represent a given circle graph <i>G</i>, which is of independent interest.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2152 - 2173"},"PeriodicalIF":0.9000,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01216-5.pdf","citationCount":"0","resultStr":"{\"title\":\"Extending Partial Representations of Circle Graphs in Near-Linear Time\",\"authors\":\"Guido Brückner, Ignaz Rutter, Peter Stumpf\",\"doi\":\"10.1007/s00453-024-01216-5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The <i>partial representation extension problem</i> generalizes the recognition problem for geometric intersection graphs. The input consists of a graph <i>G</i>, a subgraph <span>\\\\(H \\\\subseteq G\\\\)</span> and a representation <span>\\\\(\\\\mathcal R'\\\\)</span> of <i>H</i>. The question is whether <i>G</i> admits a representation <span>\\\\(\\\\mathcal R\\\\)</span> whose restriction to <i>H</i> is <span>\\\\(\\\\mathcal R'\\\\)</span>. We study this question for <i>circle graphs</i>, which are intersection graphs of chords of a circle. Their representations are called <i>chord diagrams</i>. We show that for a graph with <i>n</i> vertices and <i>m</i> edges the partial representation extension problem can be solved in <span>\\\\(O((n + m) \\\\alpha (n + m))\\\\)</span> time, thereby improving over an <span>\\\\(O(n^3)\\\\)</span>-time algorithm by Chaplick et al. (J Graph Theory 91(4), 365–394, 2019). The main technical contributions are a canonical way of orienting chord diagrams and a novel compact representation of the set of all canonically oriented chord diagrams that represent a given circle graph <i>G</i>, which is of independent interest.</p></div>\",\"PeriodicalId\":50824,\"journal\":{\"name\":\"Algorithmica\",\"volume\":\"86 7\",\"pages\":\"2152 - 2173\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-03-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s00453-024-01216-5.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algorithmica\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00453-024-01216-5\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-024-01216-5","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0
摘要
部分表示扩展问题概括了几何交集图的识别问题。输入包括一个图 G、一个子图 H 和 H 的一个表示(\mathcal R'\)。问题是 G 是否允许一个表示(\mathcal R\),它对 H 的限制是(\mathcal R'\)。我们针对圆图研究这个问题,圆图是圆的弦的交点图。它们的表示被称为弦图。我们证明,对于一个有 n 个顶点和 m 条边的图,部分表示扩展问题可以在 \(O((n + m) \alpha (n + m))\) 时间内求解,从而改进了 Chaplick 等人的\(O(n^3)\)-time 算法(《图论》91(4), 365-394, 2019)。主要的技术贡献是一种典型的弦图定向方法,以及对表示给定圆图 G 的所有典型定向弦图集合的一种新颖的紧凑表示,这一点具有独立的意义。
Extending Partial Representations of Circle Graphs in Near-Linear Time
The partial representation extension problem generalizes the recognition problem for geometric intersection graphs. The input consists of a graph G, a subgraph \(H \subseteq G\) and a representation \(\mathcal R'\) of H. The question is whether G admits a representation \(\mathcal R\) whose restriction to H is \(\mathcal R'\). We study this question for circle graphs, which are intersection graphs of chords of a circle. Their representations are called chord diagrams. We show that for a graph with n vertices and m edges the partial representation extension problem can be solved in \(O((n + m) \alpha (n + m))\) time, thereby improving over an \(O(n^3)\)-time algorithm by Chaplick et al. (J Graph Theory 91(4), 365–394, 2019). The main technical contributions are a canonical way of orienting chord diagrams and a novel compact representation of the set of all canonically oriented chord diagrams that represent a given circle graph G, which is of independent interest.
期刊介绍:
Algorithmica is an international journal which publishes theoretical papers on algorithms that address problems arising in practical areas, and experimental papers of general appeal for practical importance or techniques. The development of algorithms is an integral part of computer science. The increasing complexity and scope of computer applications makes the design of efficient algorithms essential.
Algorithmica covers algorithms in applied areas such as: VLSI, distributed computing, parallel processing, automated design, robotics, graphics, data base design, software tools, as well as algorithms in fundamental areas such as sorting, searching, data structures, computational geometry, and linear programming.
In addition, the journal features two special sections: Application Experience, presenting findings obtained from applications of theoretical results to practical situations, and Problems, offering short papers presenting problems on selected topics of computer science.