{"title":"关于移动代理弱拜占庭聚集的进一步研究","authors":"Ashish Saxena, Kaushik Mondal","doi":"10.1016/j.tcs.2024.114892","DOIUrl":null,"url":null,"abstract":"<div><div>The gathering of mobile agents in the presence of Byzantine faults is first studied by Dieudonné et al. Authors provide a polynomial time algorithm handling any number of weak Byzantine agents in the presence of at least one good agent considering start-up delays, i.e., the good agents may not wake up at the same time. Hirose et al. <span><span>[1]</span></span> come up with an algorithm considering start-up delays that use a strong team of at least <span><math><mn>4</mn><msup><mrow><mi>f</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mn>8</mn><mi>f</mi><mo>+</mo><mn>4</mn></math></span> many good agents but runs much faster than that of Dieudonné et al. Later, Hirose et al. <span><span>[2]</span></span> provided another polynomial time algorithm for gathering in the presence of at least <span><math><mn>7</mn><mi>f</mi><mo>+</mo><mn>7</mn></math></span> good agents. This algorithm works considering start-up delay and achieves simultaneous termination. However, this algorithm depends on the length of the largest ID in the system. We, in this work, provide an algorithm considering start-up delays of the good agents, reducing the number of good agents w.r.t. <span><span>[1]</span></span> to <span><math><msup><mrow><mi>f</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mn>4</mn><mi>f</mi><mo>+</mo><mn>9</mn></math></span>, and good agents achieve simultaneous termination. Our algorithm runs faster than <span><span>[2]</span></span> when the ID range of the good agents is significantly smaller in comparison to the ID range of all the agents. We also provide a much faster <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> time algorithm for trees using <span><math><mn>3</mn><mi>f</mi><mo>+</mo><mn>2</mn></math></span> agents handling start-up delays and guaranteeing simultaneous termination on a restricted ID range.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1022 ","pages":"Article 114892"},"PeriodicalIF":0.9000,"publicationDate":"2024-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A further study on weak Byzantine gathering of mobile agents\",\"authors\":\"Ashish Saxena, Kaushik Mondal\",\"doi\":\"10.1016/j.tcs.2024.114892\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>The gathering of mobile agents in the presence of Byzantine faults is first studied by Dieudonné et al. Authors provide a polynomial time algorithm handling any number of weak Byzantine agents in the presence of at least one good agent considering start-up delays, i.e., the good agents may not wake up at the same time. Hirose et al. <span><span>[1]</span></span> come up with an algorithm considering start-up delays that use a strong team of at least <span><math><mn>4</mn><msup><mrow><mi>f</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mn>8</mn><mi>f</mi><mo>+</mo><mn>4</mn></math></span> many good agents but runs much faster than that of Dieudonné et al. Later, Hirose et al. <span><span>[2]</span></span> provided another polynomial time algorithm for gathering in the presence of at least <span><math><mn>7</mn><mi>f</mi><mo>+</mo><mn>7</mn></math></span> good agents. This algorithm works considering start-up delay and achieves simultaneous termination. However, this algorithm depends on the length of the largest ID in the system. We, in this work, provide an algorithm considering start-up delays of the good agents, reducing the number of good agents w.r.t. <span><span>[1]</span></span> to <span><math><msup><mrow><mi>f</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>+</mo><mn>4</mn><mi>f</mi><mo>+</mo><mn>9</mn></math></span>, and good agents achieve simultaneous termination. Our algorithm runs faster than <span><span>[2]</span></span> when the ID range of the good agents is significantly smaller in comparison to the ID range of all the agents. We also provide a much faster <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> time algorithm for trees using <span><math><mn>3</mn><mi>f</mi><mo>+</mo><mn>2</mn></math></span> agents handling start-up delays and guaranteeing simultaneous termination on a restricted ID range.</div></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":\"1022 \",\"pages\":\"Article 114892\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-09-27\",\"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/S0304397524005097\",\"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/S0304397524005097","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
摘要
Dieudonné 等人首先研究了存在拜占庭故障时的移动代理聚集问题。考虑到启动延迟(即好代理可能不会同时唤醒),他们提供了一种多项式时间算法,可以在至少有一个好代理的情况下处理任意数量的弱拜占庭代理。Hirose 等人[1]提出了一种考虑到启动延迟的算法,该算法使用一个至少有 4f2+8f+4 个好代理的强大团队,但运行速度比 Dieudonné 等人的算法快得多。该算法在考虑启动延迟的情况下工作,并实现了同时终止。不过,该算法取决于系统中最大 ID 的长度。在这项工作中,我们提供了一种考虑到好代理启动延迟的算法,将[1]中的好代理数量减少到 f2+4f+9,好代理实现了同时终止。当好代理的 ID 范围明显小于所有代理的 ID 范围时,我们的算法运行速度比 [2] 更快。我们还为使用 3f+2 个代理的树提供了一种更快的 O(n2) 时间算法,它能处理启动延迟并保证在受限的 ID 范围内同时终止。
A further study on weak Byzantine gathering of mobile agents
The gathering of mobile agents in the presence of Byzantine faults is first studied by Dieudonné et al. Authors provide a polynomial time algorithm handling any number of weak Byzantine agents in the presence of at least one good agent considering start-up delays, i.e., the good agents may not wake up at the same time. Hirose et al. [1] come up with an algorithm considering start-up delays that use a strong team of at least many good agents but runs much faster than that of Dieudonné et al. Later, Hirose et al. [2] provided another polynomial time algorithm for gathering in the presence of at least good agents. This algorithm works considering start-up delay and achieves simultaneous termination. However, this algorithm depends on the length of the largest ID in the system. We, in this work, provide an algorithm considering start-up delays of the good agents, reducing the number of good agents w.r.t. [1] to , and good agents achieve simultaneous termination. Our algorithm runs faster than [2] when the ID range of the good agents is significantly smaller in comparison to the ID range of all the agents. We also provide a much faster time algorithm for trees using agents handling start-up delays and guaranteeing simultaneous termination on a restricted ID range.
期刊介绍:
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.