composer 默认采用深度优先（dfs）策略，是因为其依赖求解本质是sat问题的近似求解，dfs内存占用低、收敛快，能早期暴露依赖设计问题，而非理论最优选择。
Composer 的依赖解析阶段默认采用深度优先（DFS）策略，不是因为“更准确”，而是为了在多数真实 PHP 项目中更快收敛、更少爆内存 —— 尤其当 composer.lock 存在且依赖树较深但宽度可控时。
为什么 Composer 解析器默认走 DFS 而非 BFS
Composer 的依赖求解本质是 SAT（可满足性）问题的近似求解，不是纯图遍历。它需要快速试探一条可行路径（即一组兼容版本组合），而非穷举所有层级可能性。
- DFS 每次只维护一条候选路径的版本约束，内存占用与最大嵌套深度线性相关，
memory_limit更容易扛住 - BFS 在依赖宽度过大时（如一个 root 包 require 50+ 包，每个又 require 20+），会在第 2 层就生成上千个待评估节点，
vendor/composer/installed.json还没写完，PHP 进程就 OOM 了 - Composer 的 solver 会剪枝：一旦某条 DFS 路径触发冲突（如
phpunit/phpunit 9.6与symfony/console 6.4版本不兼容），立即回溯，不保留整层状态
什么时候 BFS 反而更稳？
仅在极少数场景下，BFS 式探索能避免 DFS 的“过早收敛陷阱”：比如多个包提供相同功能（如 monolog/monolog 和 psr/log 实现），DFS 可能锁死在第一个匹配项，错过全局更优解（如更低 PHP 版本兼容性）。但 Composer 并不启用 BFS，而是靠 minimum-stability + prefer-stable + conflict 规则人工干预。
围绕关键发现、作用机制、临床相关性及研究局限性展开讨论。适用于撰写或优化任何生物医学论文的“讨论（Discussion）”部分——包括结果解读、与既往文献关联、阐释意外发现、界定研究局限性，以及撰写结论。当用户输入以下任一指令时也会自动触发该功能： - “write my discussion” - “help me discuss my findings” - “how do I compare to prior studies” - “write the limitations par
- 真实工程中，BFS 不是开关选项，而是 solver 内部的启发式策略之一（如 “lookahead depth=2”），你无法通过配置开启纯 BFS 模式
-
composer update --dry-run -v日志里看到的 “Resolving dependencies through SAT” 是 DFS 主干 + 局部宽度试探，不是教科书级 BFS - 若真想压测 BFS 行为，唯一办法是 patch
composer/semver和composer/package-versions中的PoolBuilder和Solver类，替换Stack为Queue—— 但大概率导致解析超时或失败
内存暴涨时，先查 DFS 的实际深度，而非怪算法
Composer 解析卡死或报 Allowed memory size of XXX bytes exhausted，90% 情况不是 DFS 本身的问题，而是依赖图存在隐式环、过度宽松的版本约束，或 require-dev 带入了巨型工具链（如 phpstan/phpstan + larastan/larastan）。
- 用
composer depends --tree <package></package>查清关键包的实际引用深度，比调算法更有效 -
composer show --tree输出里若出现同一包多版本并存（如guzzlehttp/guzzle:7.4和guzzlehttp/guzzle:8.1同时被不同子包 require），说明约束冲突已迫使 solver 反复回溯，这是 DFS 慢的根源，不是 BFS 就能解决 - 加
"config": {"process-timeout": 0, "fxp-asset": false}到composer.json只是延长等待时间，不改变 DFS 行为；真正降深度得删require-dev或锁定platform版本
DFS 在 Composer 里不是理论选择，是工程妥协：它把“爆内存”这个失败信号前置到解析早期，让你立刻知道依赖设计有问题，而不是花 10 分钟跑完 BFS 却返回一个无法安装的方案。
