无向图染色 - 华为OD机试真题(A卷、JavaScript题解)

### 关于无向图染色问题的暴力求解方法 对于无向图染色问题，目标是找到一种方式给图中的每个节点分配颜色，使得任意一条边连接的两个节点具有不同的颜色。当采用二进制表示颜色时，可以利用位运算来简化操作并提高效率。 #### 方法概述 假设我们有一个包含 \(n\) 个节点的无向图，其邻接矩阵为 `adj`，其中 `adj[i][j] = 1` 表示节点 \(i\) 和节点 \(j\) 存在边连接。我们可以尝试用 \(k\) 种颜色对这些节点进行着色。具体来说： 1. **状态定义** 使用一个长度为 \(n\) 的数组 `colors` 来存储每个节点的颜色编号，范围是从 0 到 \(k-1\)[^1]。 2. **二进制编码** 如果 \(k=2\)（即只允许两种颜色），可以直接用二进制数表示颜色：0 或 1。此时可以通过按位逻辑运算快速验证相邻节点是否满足条件[^2]。 3. **暴力枚举所有可能的状态** 枚举所有的颜色组合，并逐一检查是否存在冲突。如果某个组合中存在一对相邻节点拥有相同颜色，则跳过此组合；否则保存该合法方案。 以下是基于 Python 实现的一个简单例子，展示如何通过暴力搜索解决这个问题： ```python def is_valid_coloring(graph, colors): """检查当前配色是否有效""" n = len(graph) for i in range(n): # 遍历每一个节点 for j in range(i + 1, n): # 只需考虑上三角部分 if graph[i][j] and colors[i] == colors[j]: return False # 若两相邻节点颜色相同则非法 return True def brute_force_graph_coloring(graph, k): """ 对输入graph执行暴力法寻找最少使用的颜色数目<=k. 参数: graph (list[list[int]]): 图形的邻接矩阵形式描述. k (int) : 最大可用颜色数量. 返回值: list[int]/None : 成功返回一组可行的颜色配置; 否则返回 None. """ from itertools import product num_vertices = len(graph) # 尝试所有可能的颜色排列组合 all_combinations = product(range(k), repeat=num_vertices) for combination in all_combinations: if is_valid_coloring(graph, combination): return list(combination) # 找到第一个有效的解决方案 return None # 如果没有任何合适的方案则失败 ``` #### 复杂度分析 这种方法的时间复杂度非常高，因为总共需要评估大约 \(O(k^n)\) 种可能性，这里 \(n\) 是顶点的数量而 \(k\) 是最大允许的不同颜色种类数。因此仅适用于小型实例或者作为理论研究工具而非实际应用场合下的算法[^4]。 --- ###