composer依赖解析是基于sat逻辑求解的数学过程，将包版本转为布尔变量、约束转为cnf公式，由自研回溯引擎求解；无解即数学证明不可满足，非随机失败。
Composer的依赖解析不是“试版本”，而是逻辑求解
它不靠随机尝试或贪心匹配，而是把每个包的每个可选版本当作一个逻辑命题，把 require、conflict、php 版本限制、replace 等全部转为布尔子句，拼成一个巨大的合取范式（CNF）公式，再交给自研的回溯式约束引擎求解。所谓“找不到解”，是数学上已证明无满足赋值，不是超时或运气差。
常见错误现象：Your requirements could not be resolved 报错后手动调高某个包的版本号，结果还是报错——因为冲突根源不在那个包，而在某条间接依赖的 conflict 或平台约束里。
使用场景：当你改完 composer.json 却跑不通 composer update，别急着删 vendor，先跑 composer why-not php:8.2 或 composer prohibits guzzlehttp/guzzle:^8.0 定位真实拦路者。
composer install 和 composer update 的行为本质不同
composer install 不解析任何版本约束，只读 composer.lock 文件，按里面记录的精确版本、哈希值和依赖树还原安装。它连 composer.json 里的 ^2.0 都不看一眼。
常见错误现象：
- 改了
composer.json里"monolog/monolog": "^3.0"，但没跑composer update，直接composer install→ 还是装2.10.0 -
composer.lock被 Git 忽略或损坏 →install退化为update，触发完整 SAT 求解，可能卡住或报新冲突 - CI 上失败但本地正常 → 先
cat composer.lock | grep php，确认锁文件中各包声明的 PHP 最低版本与运行环境一致
直接依赖和间接依赖在求解中完全平等
你的 require 和 guzzlehttp/guzzle 的 composer.json 里写的 "php": "^8.0"，对求解器来说权重一样。没有“根项目说了算”这回事，只有所有约束共同满足才成立。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
参数差异：
-
require-dev中的包只参与开发环境求解，composer install --no-dev会跳过它们，但它们的约束仍可能影响主依赖图（比如某个require-dev包通过provide提供了生产依赖需要的接口） - 私有源必须显式配置
"packagist.org": false并声明providers，否则求解器默认只从 packagist.org 拉元数据，根本看不到你私有包的conflict规则
性能影响：间接依赖越多、它们的 conflict 越细（比如逐个排除 patch 版本），求解空间爆炸越快；建议用 ^ 而非 ~ 或固定版本，减少候选版本数量。
为什么 composer update 有时卡住，有时秒出结果
全局 composer update 是 NP-hard 问题，搜索空间随依赖深度和版本碎片度指数增长。它要同时满足：根项目的 require、所有间接依赖的 require/conflict/provide、PHP 平台约束、稳定性标志（minimum-stability）——任何一个环节剪枝失败，就陷入深层回溯。
实操建议：
- 用
composer update foo/bar --with-dependencies替代全局更新，复用 lock 中其余包版本，只重解子图 - 加
-v查看最后尝试的候选链，比如停在symfony/console:6.4.3 → psr/cache:3.0.0 → php:^8.3，就能反推是不是环境 PHP 版本不够 - 避免在
composer.json里混用^2.0和~2.5.0，前者展开为几十个版本点，后者窄但剪枝效率低，两者叠加极易拖慢求解
真正难处理的从来不是“哪个版本该装”，而是“哪些约束正在互相否定却藏在三层依赖之下”。composer prohibits 和 composer show --tree 是比删 vendor 有用得多的起点。
