最近,阿尔卑斯山脉(Alps)的一大片区域被划定为自然保护区。
起初,保护区内并没有狐狸。然而,多亏了持续的保护措施,保护区内的狐狸种群数量逐日恢复。每天都有一只新的狐狸到来。
生物学家 Simona 正在观察这恢复过程,她对狐狸在任何时间点形成的独特家族数量很感兴趣。Simona 知道每只狐狸 都有一个狩猎领地,可以用线段 表示,其中 。这些领地可能会重叠,甚至相互包含。
根据她的研究,Simona 知道如果两只狐狸 和 的狩猎领地中,有一个领地嵌套在另一个领地内(即 或 ),那么它们就是直接亲属关系。
两只狐狸属于同一个家族,当且仅当它们要么是直接亲属,要么通过一系列直接亲属的狐狸链相连。正式地说,两只狐狸 和 属于同一个家族,当且仅当存在一个狐狸序列 ,使得 且 ,并且对于每个 , 与 是直属关系。
狐狸 () 在第 天到达,并从那时起一直留在保护区内,永久保持相同的狩猎领地 。每只狐狸的到来可能会也可能不会改变家族关系。每天过后,Simona 都想知道狐狸 到达后,现存的狐狸家族数量。