所以我是一名学生，我们被要求在c中构建一个回溯程序（没有循环只递归），它获得了一个无定向的未加权（无升降）图的邻接矩阵，并返回完美匹配的数量在该图中，否则为零。 我想过使用fkt算法，它使用了pfaffian方向，但到目前为止我还没弄明白怎么做。 如果你非常友善，也许可以指导我正确的书或正确的方式来看待这个问题，我将非常感激。 这是我第一次尝试回溯，我想我错过了一些关于如何实现这一事情的基本概念。
答案 0 :(得分：0)
FKT仅适用于平面图表。如果你想实现它（你几乎肯定没有，因为这将是一个糟糕的功课;这是为其他人找到这个问题），你需要{{3}以这种方式获取嵌入，然后实现planarity test中描述的方向算法。 （草图：在原始图中找到生成树并任意定向这些边。不在生成树中的边包含双图中的生成树。在后序中访问后一个树的节点;每个节点的父边（访问的是最后一个事件边缘，其方向未确定，因此，如果面部当前具有偶数个顺时针边缘，则为顺时针方向，否则为逆时针方向。）