algorithm - Bron Kerbosch用于派系查找的算法-当枢轴顶点不存在时会发生什么？

关于BK-clique的维基百科伪代码使用pivoting查找：

   BronKerbosch2(R,P,X):
   if P and X are both empty:
       report R as a maximal clique
   choose a pivot vertex u in P ⋃ X
   for each vertex v in P \ N(u):
       BronKerbosch2(R ⋃ {v}, P ⋂ N(v), X ⋂ N(v))
       P := P \ {v}
       X := X ⋃ {v}

我不清楚p union x是空的。由于u是未定义的，该函数是否继续以N（u）作为空集（即它继续以P中的每个顶点v为单位），还是返回给调用者？

最佳答案

当且仅当P和X都为空时，P union X为空此条件已在行中检查

if P and X are both empty:

因此，如果这个条件失败，这意味着p或x或两者都不是空的。因此，p联合x中必须至少有一个元素。
换句话说：如果P union X为空，我们就report R as a maximal clique。

关于algorithm - Bron Kerbosch用于派系查找的算法-当枢轴顶点不存在时会发生什么？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/7390422/