{"title":"多类型莫兰过程中显性突变固定概率的参数化近似值","authors":"Leslie Ann Goldberg , Marc Roth , Tassilo Schwarz","doi":"10.1016/j.tcs.2024.114785","DOIUrl":null,"url":null,"abstract":"<div><p>The multi-type Moran process is an evolutionary process on a connected graph <em>G</em> in which each vertex has one of <em>k</em> types and, in each step, a vertex <em>v</em> is chosen to reproduce its type to one of its neighbours. The probability of a vertex <em>v</em> being chosen for reproduction is proportional to the fitness of the type of <em>v</em>. So far, the literature was almost solely concerned with the 2-type Moran process in which each vertex is either healthy (type 0) or a mutant (type 1), and the main problem of interest has been the (approximate) computation of the so-called <em>fixation probability</em>, i.e., the probability that eventually all vertices are mutants.</p><p>In this work we initiate the study of approximating fixation probabilities in the multi-type Moran process on general graphs. Our main result is an FPTRAS (fixed-parameter tractable randomised approximation scheme) for computing the fixation probability of the dominant mutation; the parameter is the number of types and their fitnesses. In the course of our studies we also provide novel upper bounds on the expected <em>absorption time</em>, i.e., the time that it takes the multi-type Moran process to reach a state in which each vertex has the same type.</p></div>","PeriodicalId":49438,"journal":{"name":"Theoretical Computer Science","volume":"1016 ","pages":"Article 114785"},"PeriodicalIF":0.9000,"publicationDate":"2024-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process\",\"authors\":\"Leslie Ann Goldberg , Marc Roth , Tassilo Schwarz\",\"doi\":\"10.1016/j.tcs.2024.114785\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The multi-type Moran process is an evolutionary process on a connected graph <em>G</em> in which each vertex has one of <em>k</em> types and, in each step, a vertex <em>v</em> is chosen to reproduce its type to one of its neighbours. The probability of a vertex <em>v</em> being chosen for reproduction is proportional to the fitness of the type of <em>v</em>. So far, the literature was almost solely concerned with the 2-type Moran process in which each vertex is either healthy (type 0) or a mutant (type 1), and the main problem of interest has been the (approximate) computation of the so-called <em>fixation probability</em>, i.e., the probability that eventually all vertices are mutants.</p><p>In this work we initiate the study of approximating fixation probabilities in the multi-type Moran process on general graphs. Our main result is an FPTRAS (fixed-parameter tractable randomised approximation scheme) for computing the fixation probability of the dominant mutation; the parameter is the number of types and their fitnesses. In the course of our studies we also provide novel upper bounds on the expected <em>absorption time</em>, i.e., the time that it takes the multi-type Moran process to reach a state in which each vertex has the same type.</p></div>\",\"PeriodicalId\":49438,\"journal\":{\"name\":\"Theoretical Computer Science\",\"volume\":\"1016 \",\"pages\":\"Article 114785\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-08-22\",\"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/S030439752400402X\",\"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/S030439752400402X","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
摘要
多类型莫兰过程是连通图 G 上的一个进化过程,其中每个顶点都有 k 种类型,每一步都会选择一个顶点 v 将其类型复制给它的一个邻居。迄今为止,文献几乎只涉及 2 型莫兰过程,其中每个顶点要么是健康的(0 型),要么是突变体(1 型),人们感兴趣的主要问题是所谓固定概率的(近似)计算,即最终所有顶点都是突变体的概率。我们的主要成果是一种 FPTRAS(固定参数可控随机近似方案),用于计算显性突变的固定概率;参数是类型数量及其适合度。在研究过程中,我们还提供了预期吸收时间的新上限,即多类型莫兰过程达到每个顶点具有相同类型的状态所需的时间。
Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process
The multi-type Moran process is an evolutionary process on a connected graph G in which each vertex has one of k types and, in each step, a vertex v is chosen to reproduce its type to one of its neighbours. The probability of a vertex v being chosen for reproduction is proportional to the fitness of the type of v. So far, the literature was almost solely concerned with the 2-type Moran process in which each vertex is either healthy (type 0) or a mutant (type 1), and the main problem of interest has been the (approximate) computation of the so-called fixation probability, i.e., the probability that eventually all vertices are mutants.
In this work we initiate the study of approximating fixation probabilities in the multi-type Moran process on general graphs. Our main result is an FPTRAS (fixed-parameter tractable randomised approximation scheme) for computing the fixation probability of the dominant mutation; the parameter is the number of types and their fitnesses. In the course of our studies we also provide novel upper bounds on the expected absorption time, i.e., the time that it takes the multi-type Moran process to reach a state in which each vertex has the same type.
期刊介绍:
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.