We study open swarms and teams of multi-agent systems where agents may join or leave the system at runtime. Kouvaros et al. [1] defined the verification problem for such systems and showed it to be undecidable, in general. Also, they have found one decidable class of open multi-agent systems and provided a partial decision procedure for another. In the same vein we present a subclass of open teams called regular open teams for which reachability is decidable. This is shown by employing a counter abstraction technique wherein the regular open team is abstracted into a finite state multi-counter system.
In minimum power network design problems we are given an undirected graph with edge costs . The goal is to find an edge set that satisfies a prescribed property of minimum power . In the Min-Power k Edge Disjoint st-Paths problem F should contain k edge disjoint st-paths. The problem admits a k-approximation algorithm, and it was an open question to achieve an approximation ratio sublinear in k for simple graphs, even for unit costs. We give a -approximation algorithm for general costs.
We reconsider two well-known distributed randomized algorithms computing a maximal independent set, proposed in the seminal work of Luby (1986). We enhance these algorithms such that they become self-stabilizing without sacrificing their run-time, i.e., both stabilize in synchronous rounds with high probability on any n-node graph. The first algorithm gets along with three states, but needs to know an upper bound on the maximum degree. The second does not need any information about the graph, but uses a number of states that is linear in the node degree. Both algorithms use messages of logarithmic size.
For a class of graphs, the objective of Subgraph Complementation to is to find whether there exists a subset S of vertices of the input graph G such that modifying G by complementing the subgraph induced by S results in a graph in . We obtain a polynomial-time algorithm for the problem when is the class of graphs with minimum degree at least k, for a constant k, answering an open problem by Fomin et al. (Algorithmica, 2020). When is the class of graphs without any induced copies of the star graph on vertices (for any constant ) and diamond, we obtain a polynomial-time algorithm for the problem. This is in contrast with a result by Antony et al. (Algorithmica, 2022) that the problem is NP-complete and cannot be solved in subexponential-time (assuming the Exponential Time Hypothesis) when is the class of graphs without any induced copies of the star graph on vertices, for every constant .

