TY - JOUR AU - Brendborg, Joachim AU - Karras, Panagiotis AU - Pavlogiannis, Andreas AU - Rasmussen, Asger Ullersted AU - Tkadlec, Josef PY - 2022/06/28 Y2 - 2024/03/29 TI - Fixation Maximization in the Positional Moran Process JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 36 IS - 9 SE - AAAI Technical Track on Multiagent Systems DO - 10.1609/aaai.v36i9.21160 UR - https://ojs.aaai.org/index.php/AAAI/article/view/21160 SP - 9304-9312 AB - The Moran process is a classic stochastic process that models invasion dynamics on graphs. A single mutant (e.g., a new opinion, strain, social trait etc.) invades a population of residents spread over the nodes of a graph. The mutant fitness advantage δ>=0 determines how aggressively mutants propagate to their neighbors. The quantity of interest is the fixation probability, i.e., the probability that the initial mutant eventually takes over the whole population. However, in realistic settings, the invading mutant has an advantage only in certain locations. E.g., the ability to metabolize a certain sugar is an advantageous trait to bacteria only when the sugar is actually present in their surroundings. In this paper we introduce the positional Moran process, a natural generalization in which the mutant fitness advantage is only realized on specific nodes called active nodes, and study the problem of fixation maximization: given a budget k, choose a set of k active nodes that maximize the fixation probability of the invading mutant. We show that the problem is NP-hard, while the optimization function is not submodular, thus indicating strong computational hardness. We focus on two natural limits. In the limit of δ to infinity (strong selection), although the problem remains NP-hard, the optimization function becomes submodular and thus admits a constant-factor approximation using a simple greedy algorithm. In the limit of δ to 0 (weak selection), we show that we can obtain a tight approximation in O(n^{2×ω}) time, where ω is the matrix-multiplication exponent. An experimental evaluation of the new algorithms along with some proposed heuristics corroborates our results. ER -