最大团问题回溯伪代码

最大团问题是一个经典的图论优化问题，目标是在给定的无向图中找到最大的完全子图，即所有顶点都是彼此相邻的。这里有一个简单的回溯法（Backtracking）伪代码示例：

function max_clique(graph, current_clique):
    if len(current_clique) == vertices_count(graph):  # 如果当前子集已经是团，则更新最大团
        global_max_clique = current_clique
    for vertex in graph.vertices:  # 遍历剩余未访问的顶点
        if not is_in_clique(vertex, current_clique):  # 检查是否已包含该顶点
            new_clique = current_clique + [vertex]  # 将新顶点添加到子集中
            if is_valid_clique(graph, new_clique):  # 检查新的子集是否仍为团
                max_clique(graph, new_clique)  # 回溯并继续搜索

function is_valid_clique(graph, clique):
    for edge in graph.edges:  # 检查每对顶点之间是否有边相连
        if not (edge.source in clique and edge.target in clique):
            return False  # 若发现有不相邻的顶点，则返回False
    return True

# 初始化最大团为空集合
global_max_clique = []

# 调用函数开始寻找最大团
max_clique(graph, [])