We assume that there are at most two separated mutant groups. The state is denoted as a triplet (x, a, b). Here x refers to the minimal distance between two mutant groups, a and b represent the group sizes of the smaller group and that of the larger one. The following inequalities holds: a ≤ b and x ≤ N − x − a − b.</p
