{"title":"几何形状的指数增长","authors":"Nada Almalki , Siddharth Gupta , Othon Michail","doi":"10.1016/j.tcs.2025.115439","DOIUrl":null,"url":null,"abstract":"<div><div>In this paper, we explore the exponential growth of geometric structures starting from a single node, focusing on centralized growth operations. We identify a parameter <em>k</em>, representing the number of turning points within specific parts of a shape. We prove that, if edges can only be formed between a newly generated node and the node that created it and cannot be deleted, trees having at most <em>k</em> turning points on every root-to-leaf path can be grown in <span><math><mi>O</mi><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>k</mi><mo>+</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time steps and spirals with <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> turning points can be grown in <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time steps, <em>n</em> being the size of the final shape. For this model, we also show that the maximum number of turning points in a root-to-leaf path of a tree is a lower bound on the number of time steps to grow the tree and that there exists a class of paths such that any path in the class with <em>k</em> turning points requires <span><math><mi>Ω</mi><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>k</mi><mo>)</mo></math></span> time steps to be grown. If nodes can additionally be connected as soon as they become adjacent, we prove that if a shape <em>S</em> has a spanning tree with at most <em>k</em> turning points on every root-to-leaf path, then the adjacency closure of <em>S</em> can be grown in <span><math><mi>O</mi><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>k</mi><mo>+</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time steps. In the strongest version of the model, where, additionally, edges can be deleted and neighbors handed over to new nodes, we present a universal algorithm for growing any shape <em>S</em> exponentially fast.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1053 ","pages":"Article 115439"},"PeriodicalIF":1.0000,"publicationDate":"2025-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the exponential growth of geometric shapes\",\"authors\":\"Nada Almalki , Siddharth Gupta , Othon Michail\",\"doi\":\"10.1016/j.tcs.2025.115439\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In this paper, we explore the exponential growth of geometric structures starting from a single node, focusing on centralized growth operations. We identify a parameter <em>k</em>, representing the number of turning points within specific parts of a shape. We prove that, if edges can only be formed between a newly generated node and the node that created it and cannot be deleted, trees having at most <em>k</em> turning points on every root-to-leaf path can be grown in <span><math><mi>O</mi><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>k</mi><mo>+</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time steps and spirals with <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> turning points can be grown in <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time steps, <em>n</em> being the size of the final shape. For this model, we also show that the maximum number of turning points in a root-to-leaf path of a tree is a lower bound on the number of time steps to grow the tree and that there exists a class of paths such that any path in the class with <em>k</em> turning points requires <span><math><mi>Ω</mi><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>k</mi><mo>)</mo></math></span> time steps to be grown. If nodes can additionally be connected as soon as they become adjacent, we prove that if a shape <em>S</em> has a spanning tree with at most <em>k</em> turning points on every root-to-leaf path, then the adjacency closure of <em>S</em> can be grown in <span><math><mi>O</mi><mo>(</mo><mi>k</mi><mi>log</mi><mo></mo><mi>k</mi><mo>+</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> time steps. In the strongest version of the model, where, additionally, edges can be deleted and neighbors handed over to new nodes, we present a universal algorithm for growing any shape <em>S</em> exponentially fast.</div></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":\"1053 \",\"pages\":\"Article 115439\"},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2025-07-02\",\"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/S0304397525003779\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theoretical Computer Science","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0304397525003779","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
In this paper, we explore the exponential growth of geometric structures starting from a single node, focusing on centralized growth operations. We identify a parameter k, representing the number of turning points within specific parts of a shape. We prove that, if edges can only be formed between a newly generated node and the node that created it and cannot be deleted, trees having at most k turning points on every root-to-leaf path can be grown in time steps and spirals with turning points can be grown in time steps, n being the size of the final shape. For this model, we also show that the maximum number of turning points in a root-to-leaf path of a tree is a lower bound on the number of time steps to grow the tree and that there exists a class of paths such that any path in the class with k turning points requires time steps to be grown. If nodes can additionally be connected as soon as they become adjacent, we prove that if a shape S has a spanning tree with at most k turning points on every root-to-leaf path, then the adjacency closure of S can be grown in time steps. In the strongest version of the model, where, additionally, edges can be deleted and neighbors handed over to new nodes, we present a universal algorithm for growing any shape S exponentially fast.
期刊介绍:
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.