{"title":"Mobile agents on chordal graphs: Maximum independent set and beyond","authors":"Tanvir Kaur, Kaustav Paul, Kaushik Mondal","doi":"10.1016/j.tcs.2025.115490","DOIUrl":null,"url":null,"abstract":"<div><div>We consider the problem of finding Maximum Independent Set (MaxIS) for chordal graphs using mobile agents. Suppose <em>n</em> agents are initially placed arbitrarily on the nodes of an <em>n</em>-node chordal graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span>. Agents need to find a Maximum Independent Set <em>M</em> of <em>G</em> such that each node of <em>M</em> is occupied by at least one agent. Also, each of the <em>n</em> agents must know whether its occupied node is a part of <em>M</em> or not. We provide distributed algorithms for <em>n</em> mobile agents, each having <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo></mo><mi>n</mi><mo>)</mo></math></span> memory, to compute MaxIS of <em>G</em> in <span><math><mi>O</mi><mo>(</mo><mi>m</mi><mi>n</mi><mi>log</mi><mo></mo><mi>Δ</mi><mo>)</mo></math></span> time, where <em>m</em> denotes the number of edges in <em>G</em>, <em>n</em> denotes the number of nodes in <em>G</em>, and Δ is the maximum degree of the graph. At first, we design an algorithm considering the case where all agents are initially placed at the same node (i.e., rooted initial configuration). To run this algorithm, the agents do not require prior knowledge of any global parameter. Then we propose an algorithm for the case where agents are initially distributed arbitrarily across the graph (i.e., arbitrary initial configuration). To run this algorithm, the agents require prior knowledge of certain global parameters. Further, we provide faster algorithms for finding MaxIS in chordal graphs either by increasing the memory available to each agent or by employing more agents. We report that by using a similar approach, it is possible to find the maximum clique in chordal graphs and color any chordal graph with the minimum number of colors. We also provide a dynamic programming-based distributed algorithm to find a Maximum Independent Set for trees in <span><math><mi>O</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span> time.</div></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1055 ","pages":"Article 115490"},"PeriodicalIF":1.0000,"publicationDate":"2025-08-05","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/S0304397525004281","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
We consider the problem of finding Maximum Independent Set (MaxIS) for chordal graphs using mobile agents. Suppose n agents are initially placed arbitrarily on the nodes of an n-node chordal graph . Agents need to find a Maximum Independent Set M of G such that each node of M is occupied by at least one agent. Also, each of the n agents must know whether its occupied node is a part of M or not. We provide distributed algorithms for n mobile agents, each having memory, to compute MaxIS of G in time, where m denotes the number of edges in G, n denotes the number of nodes in G, and Δ is the maximum degree of the graph. At first, we design an algorithm considering the case where all agents are initially placed at the same node (i.e., rooted initial configuration). To run this algorithm, the agents do not require prior knowledge of any global parameter. Then we propose an algorithm for the case where agents are initially distributed arbitrarily across the graph (i.e., arbitrary initial configuration). To run this algorithm, the agents require prior knowledge of certain global parameters. Further, we provide faster algorithms for finding MaxIS in chordal graphs either by increasing the memory available to each agent or by employing more agents. We report that by using a similar approach, it is possible to find the maximum clique in chordal graphs and color any chordal graph with the minimum number of colors. We also provide a dynamic programming-based distributed algorithm to find a Maximum Independent Set for trees in time.
期刊介绍:
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.