Giuseppe Liotta , Ignaz Rutter , Alessandra Tappini
{"title":"Parameterized complexity of graph planarity with restricted cyclic orders","authors":"Giuseppe Liotta , Ignaz Rutter , Alessandra Tappini","doi":"10.1016/j.jcss.2023.02.007","DOIUrl":null,"url":null,"abstract":"<div><p>We study the complexity of testing whether a biconnected graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span> is planar with the constraint that some cyclic orders of the edges incident to its vertices are allowed while some others are forbidden. The allowed cyclic orders are described by associating every vertex <em>v</em> of <em>G</em> with a set <span><math><mi>D</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> of FPQ-trees. Let <em>tw</em> be the treewidth of <em>G</em> and let <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>max</mi></mrow></msub></math></span> be the maximum number of FPQ-trees per vertex. We show that the problem is FPT when parameterized by <span><math><mtext>tw</mtext><mo>+</mo><msub><mrow><mi>D</mi></mrow><mrow><mi>max</mi></mrow></msub></math></span>, paraNP-hard when parameterized by <span><math><msub><mrow><mi>D</mi></mrow><mrow><mi>max</mi></mrow></msub></math></span>, and W[1]-hard when parameterized by <em>tw</em>. We also consider NodeTrix planar representations of clustered graphs, where clusters are adjacency matrices and inter-cluster edges are non-intersecting simple curves. We prove that NodeTrix planarity with fixed sides is FPT when parameterized by the size of clusters plus the treewidth of the graph obtained by collapsing clusters to single vertices, provided that this graph is biconnected.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"135 ","pages":"Pages 125-144"},"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/S0022000023000284","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
引用次数: 0
Abstract
We study the complexity of testing whether a biconnected graph is planar with the constraint that some cyclic orders of the edges incident to its vertices are allowed while some others are forbidden. The allowed cyclic orders are described by associating every vertex v of G with a set of FPQ-trees. Let tw be the treewidth of G and let be the maximum number of FPQ-trees per vertex. We show that the problem is FPT when parameterized by , paraNP-hard when parameterized by , and W[1]-hard when parameterized by tw. We also consider NodeTrix planar representations of clustered graphs, where clusters are adjacency matrices and inter-cluster edges are non-intersecting simple curves. We prove that NodeTrix planarity with fixed sides is FPT when parameterized by the size of clusters plus the treewidth of the graph obtained by collapsing clusters to single vertices, provided that this graph is biconnected.
期刊介绍:
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.