一些答案显示了保持断言/不变量的方法，但这似乎是滥用断言/不变量。断言是为了确保应该是真的东西是真的，不变量是为了确保不应该改变的东西不会改变。

你在这里断言的是乱伦关系是不存在的。显然它们确实存在，因此您的断言是无效的。您可以解决这个断言，但真正的错误在于断言本身。应删除断言。

我想，你有一些价值，可以唯一地识别一个人，你可以根据这个人进行检查。

这是一个棘手的问题。假设您希望将结构保持为树，我建议如下：

假设这样：A和自己的女儿有孩子。

A在节目中以A和B的身份加入节目。一旦扮演了父亲的角色，我们就称之为男朋友。

添加一个is_same_for_out（）函数，该函数告诉程序的输出生成部分，所有内部指向B的链接在数据表示时都应该指向a。

这将为用户带来一些额外的工作，但我想IT将相对容易实现和维护。

在此基础上，您可以进行代码同步A和B，以避免不一致。

这种解决方案肯定不是完美的，但却是第一种方法。

所以，我在家谱软件上做了一些工作。我认为你要解决的问题是你需要能够在树上行走而不陷入无限循环——换句话说，树需要是非循环的。

然而，你似乎在断言一个人和他们的祖先之间只有一条路。这将保证没有周期，但过于严格。从生物学上讲，后代是一个有向无环图（DAG）。你的情况当然是一个退化的情况，但这种情况在更大的树上总是发生。

例如，如果你看看你在第n代的祖先，如果没有重叠，那么你在公元1000年的祖先会比活着的人多。所以，必须有重叠。

然而，您也会得到无效的循环，只是坏数据。如果您正在遍历树，那么必须处理循环。您可以在每个单独的算法中或在加载时执行此操作。我是负重做的。

在树中找到真正的循环可以通过几种方式完成。错误的方法是标记给定个体的每个祖先，当遍历时，如果你要走到的下一个人已经被标记，那么就切断链接。这将切断潜在的准确关系。正确的做法是从每个个体开始，并用通向该个体的路径标记每个祖先。如果新路径包含当前路径作为子路径，那么它是一个循环，应该中断。您可以将路径存储为vector<bool>（MFMF、MFFFMF等），这使得比较和存储速度非常快。

还有一些其他方法可以检测循环，例如发送两个迭代器，看看它们是否与子集测试冲突，但我最终使用了本地存储方法。

还需要注意的是，您不需要实际切断链接，只需将其从正常链接更改为“弱”链接，而某些算法不会遵循该链接。在选择将哪个链接标记为弱链接时，您也需要小心；有时，你可以通过查看出生日期信息来找出应该打破这个周期的地方，但通常你什么都搞不清楚，因为缺少了太多数据。

撇开潜在的法律影响不谈，你显然需要将家谱上的“节点”视为前任，而不是假设节点可以是唯一的人。

让树节点包含一个人以及继任者，然后可以在树的更深处创建另一个节点，该节点包含同一个人和不同的继任者。

我讨厌评论这种糟糕的情况，但最简单的方法是在你的图中创建一个虚拟顶点，作为回到乱伦父亲的代理。

对一个愚蠢问题的另一个假装严肃的回答：

真正的答案是，使用适当的数据结构。人类谱系不能用没有循环的纯树来完全表达。你应该使用某种图表。此外，在进一步讨论之前，请与人类学家交谈，因为在其他许多地方，试图建立家谱模型可能会犯类似的错误，即使是在最简单的“西方父权一夫一妻制婚姻”的情况下

即使我们想忽略这里所讨论的当地禁忌关系，也有很多完全合法和完全意想不到的方法将循环引入家谱。

例如：http://en.wikipedia.org/wiki/Cousin_marriage

基本上，近亲结婚不仅是普遍的和意料之中的，也是人类从数千个小家庭群体发展到全球60亿人口的原因。它不能以任何其他方式工作。

在家谱、家族和血统方面，真的很少有普遍性。几乎任何关于姨妈可以是谁，谁可以嫁给谁，或者孩子如何合法继承的规范的严格假设，都可能被世界或历史上的某个地方的某些例外所打乱。