Kmap（卡诺图）求解程序中1的2的幂次配对算法实现思路咨询

• 编码预处理
  先将每个值为1的卡诺图单元的行、列格雷码转换为对应输入变量的完整n位二进制编码（n为输入变量总数），每个单元对应唯一的二进制串，后续通过汉明距离判断相邻性。
• 分组规模遍历顺序
  统计所有值为1的单元总数，取小于等于该总数的最大2的幂作为初始分组规模，按照从大到小的顺序依次尝试8、4、2、1规模的分组，优先匹配大分组可以保证最终得到的逻辑表达式最简。
• 合法分组判断规则
  1. 基础相邻判断：同一分组内任意两个单元的n位二进制编码的汉明距离之和符合分组大小要求，大小为2^k的分组，所有单元必须恰好有k位变量的取值覆盖所有组合，其余n-k位变量取值完全一致。
  2. 循环相邻兼容：判断行列相邻时额外处理首尾循环特性，例如4列的卡诺图中第0列和第3列视为相邻，4行的卡诺图中第0行和第3行视为相邻。
• 分组去重与覆盖标记
  找到合法分组后立即标记组内所有1单元为已覆盖，后续更小分组的匹配仅针对未被覆盖的1单元；若同一个单元可属于多个同规模分组，优先选择覆盖更多未覆盖单元的分组。
• 必要分组筛选
  枚举完所有可能的分组后，先筛选出包含唯一未覆盖1单元的分组（必要质蕴涵项）优先保留，剩余未覆盖的单元再用最少的非必要分组完成覆盖即可。

内容的提问来源于stack exchange，提问作者ady