{"title":"Existence and construction of a C-shaped module within a floorplan","authors":"Rohit Lohani, Krishnendra Shekhawat","doi":"10.1016/j.tcs.2025.115209","DOIUrl":null,"url":null,"abstract":"<div><div>For a given graph, this paper presents a graph-theoretic approach for creating a floorplan with a specific module, i.e., a C-shaped module. Unlike traditional methods that only consider boundary layouts for floorplan generation, this research considers constraints related to constructing the desired modules. The central objective is to explore how graph theoretic properties can ensure the integration of C-shaped modules within floorplans that have rectangular boundaries.</div><div>A key innovation lies in introducing the concept of non-triviality for these modules, which becomes crucial for achieving the desired non-trivial C-shaped module (a non-trivial module means that it cannot be transformed into other shaped modules by stretching or shrinking its module walls, i.e. if its module walls are stretched or shrinked, then either the bends of its neighboring modules may increase or the given adjacency may not be preserved).</div><div>The proposed solution involves a linear-time algorithm based on the concept of canonical labeling. The algorithm introduces prioritized canonical labeling to generate a non-trivial C-shaped module within the floorplan. It operates on a given plane triangulated graph (PTG) that contains at least one interior <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>. The paper outlines the algorithm and establishes the essential conditions for constructing a non-trivial C-shaped module within the floorplan of a given plane triangulated graph (PTG) <em>G</em>. Notably, the algorithm's simplicity and ease of implementation set it apart. In future work, we will focus on generating the existence and construction of other desired shaped modules for the given input graphs.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1040 ","pages":"Article 115209"},"PeriodicalIF":0.9000,"publicationDate":"2025-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525001471","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
Abstract
For a given graph, this paper presents a graph-theoretic approach for creating a floorplan with a specific module, i.e., a C-shaped module. Unlike traditional methods that only consider boundary layouts for floorplan generation, this research considers constraints related to constructing the desired modules. The central objective is to explore how graph theoretic properties can ensure the integration of C-shaped modules within floorplans that have rectangular boundaries.
A key innovation lies in introducing the concept of non-triviality for these modules, which becomes crucial for achieving the desired non-trivial C-shaped module (a non-trivial module means that it cannot be transformed into other shaped modules by stretching or shrinking its module walls, i.e. if its module walls are stretched or shrinked, then either the bends of its neighboring modules may increase or the given adjacency may not be preserved).
The proposed solution involves a linear-time algorithm based on the concept of canonical labeling. The algorithm introduces prioritized canonical labeling to generate a non-trivial C-shaped module within the floorplan. It operates on a given plane triangulated graph (PTG) that contains at least one interior . The paper outlines the algorithm and establishes the essential conditions for constructing a non-trivial C-shaped module within the floorplan of a given plane triangulated graph (PTG) G. Notably, the algorithm's simplicity and ease of implementation set it apart. In future work, we will focus on generating the existence and construction of other desired shaped modules for the given input graphs.
期刊介绍:
Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.