APT用SAT求解器全局优化依赖解析，将包版本和规则转为逻辑表达式求解；YUM早期贪心递归易失败，DNF升级为SAT并支持策略排序；调试需用apt-cache、apt-get -s或dnf repoquery等命令分析约束路径。
软件包依赖解析不是简单地“把需要的包都装上”，而是要在成百上千个版本约束中，找出一组满足所有条件的包组合——这本质上是一个约束满足问题（CSP），apt 和 yum 采用的策略和算法有根本差异。
依赖解析的核心目标
安装一个包时，系统必须确保：
- 所有 Depends/Requires 声明的包都存在且版本匹配（如
libc6 (>= 2.31)） - 没有违反 Conflicts（如 nginx 与 nginx-light 互斥）
- 所有 Provides 关系被正确映射（如多个包可提供
httpd，安装时只需其一） - 整个安装集合在逻辑上自洽，不出现循环依赖或不可解的版本锁死
APT 使用 SAT 求解器进行全局优化
Debian/Ubuntu 的 apt 自 2010 年起默认启用基于布尔可满足性（SAT）的依赖解析器。它把整个安装请求转化为逻辑表达式：
- 每个包版本是一个布尔变量（
nginx/1.18.0 = true表示选中该版本） - 每个依赖规则转为子句（如
nginx → openssl/1.1.1等价于¬nginx ∨ openssl/1.1.1） - 冲突规则也转为约束（
¬(nginx ∧ nginx-light)） - 求解器在所有可能组合中搜索一个满足全部子句的赋值方案
这种全局视角让 apt 能避开局部最优陷阱，例如优先保留已安装包、避免不必要的升级，并在冲突时给出最小破坏性方案。
YUM/DNF 早期用贪心递归，DNF 升级为 SAT
RHEL/CentOS 7 及以前的 yum 使用递归依赖展开：从目标包出发，逐层拉取依赖，遇到版本冲突就报错或提示升级。这种方式快但容易卡住。
- CentOS 8+ / RHEL 8+ 默认使用 DNF，底层同样基于 SAT 求解器（libsolv）
- DNF 不仅求解可行解，还会按“最小改动”“最大版本兼容”等策略对多个可行解打分排序
- 它支持更细粒度的决策，比如区分
Recommends是否强制安装、是否允许降级
实际调试依赖问题的关键命令
当安装失败时，不要只看错误提示，要定位约束冲突点：
-
apt-cache depends --recurse --no-recommends 软件包名：展开完整依赖树，不含推荐包 -
apt-get install -s 软件包名：模拟安装，显示将安装/移除哪些包 -
dnf repoquery --requires --recursive 软件包名：DNF 下查看递归依赖 -
dnf deplist 软件包名：列出每个依赖项具体由哪个已安装包满足
这些命令输出的不是静态列表，而是当前系统状态下求解器实际采纳的约束路径。
